aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2012-10-12Conditionally use an integral cast for BodyFarm support for OSAtomicCompareAn...Ted Kremenek
2012-10-11Switch over to BodyFarm implementation of OSAtomicCompareAndSwap andTed Kremenek
2012-10-05Thread-safety analysis: allow attributes on constructors to refer to 'this'.DeLesley Hutchins
2012-10-02Add FP_CONTRACT support for clang.Lang Hames
2012-09-28Avoid malloc thrashing in the uninitialized value analysis.Benjamin Kramer
2012-09-24Add clarifying comment.Ted Kremenek
2012-09-21Experiment in BodyFarm of structuring AST creation calls in a hierarchy,Ted Kremenek
2012-09-21Create helper method in BodyFarm for creating simple assignments.Ted Kremenek
2012-09-21Add helper method in BodyFarm to create unary dereferences.Ted Kremenek
2012-09-21Add helper method to BodyFarm for creating lvalue-to-rvalue conversions.Ted Kremenek
2012-09-21Add helper method to BodyFarm for creatinging integral casts.Ted Kremenek
2012-09-21Thread-safety analysis: better handling of unreachable blocks. Fixes a bugDeLesley Hutchins
2012-09-21Use helper method to create DeclRefExprs in BodyFarm, hopefully allevatingTed Kremenek
2012-09-21Add some structuring comments. No functionality change.Ted Kremenek
2012-09-21Add faux-body support for dispatch_once().Ted Kremenek
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-20Thread-safety analysis: fix bug where shared trylock was treatedDeLesley Hutchins
2012-09-20Thread safety analysis: properly canonicalize calls to virtual methods withinDeLesley Hutchins
2012-09-19Thread-safety analysis: Fix warning when EXCLUSIVE_LOCKS_REQUIREDDeLesley Hutchins
2012-09-19Thread-safety analysis: fix ICE when EXCLUSIVE_LOCKS_REQUIRED orDeLesley Hutchins
2012-09-13clang/lib/Analysis/ObjCNoReturn.cpp: Fix [-Wnewline-eof]NAKAMURA Takumi
2012-09-13Format strings: offer a fixit for Darwin's %D/%U/%O to ISO %d/%u/%o.Jordan Rose
2012-09-13Format strings: %D, %U, and %O are valid on Darwin (same as %d, %u, %o).Jordan Rose
2012-09-13Teach -Wuninitialized to recognize common "noreturn" idioms inTed Kremenek
2012-09-13Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek
2012-09-12Teach -Wuninitialized to recognize __attribute__((analyzer_noreturn))Ted Kremenek
2012-09-11Thread-safety analysis: fix bug in expression matching code.DeLesley Hutchins
2012-09-10Remove redundant semicolons which are null statements.Dmitri Gribenko
2012-09-10Thread-safety analysis: differentiate between two forms of analysis; a preciseDeLesley Hutchins
2012-09-08Format strings: suggest %lld instead of %qd and %Ld with -Wformat-non-iso.Jordan Rose
2012-09-08Format strings: %Ld isn't available on Darwin or Windows.Jordan Rose
2012-09-07Ampersand goes with identifier.Chad Rosier
2012-09-07Bring buildbots back. Fix scoping issue and coding style from r163397.Chad Rosier
2012-09-07Thread-safety analysis: Add support for selectively turning off warningsDeLesley Hutchins
2012-09-06Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky
2012-09-05[analyzer] Always include destructors in the analysis CFG.Jordan Rose
2012-09-05Thread-safety analysis: bugfix for case where a trylock occurs in anDeLesley Hutchins
2012-08-31Thread-safety analysis: fix handling of LOCK_RETURNED attribute so that theDeLesley Hutchins
2012-08-31Thread-safety analysis: fix handling of string constants in mutexDeLesley Hutchins
2012-08-24Teach CFG that 'if (x & 0)' and 'if (x * 0)' is an unfeasible branch.Ted Kremenek
2012-08-23[analyzer] Support C++ default arguments if they are literal values.Jordan Rose
2012-08-22Fix an assortment of doxygen comment issues found by -Wdocumentation.Ted Kremenek
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-14[analyzer] Teach live variable analyzes that super uses self pointer.Anna Zaks
2012-08-10Thread-safety-analysis: adds existential quantification over lockDeLesley Hutchins
2012-08-10Thread safety analysis: refactor to support more sophisticated handlingDeLesley Hutchins
2012-08-10Refactor thread safety analysis to use a different data structureDeLesley Hutchins
2012-08-10Add missing cctype includes.Joerg Sonnenberger
2012-08-07Properly check length modfiers for %n in format strings.Hans Wennborg
2012-08-07Remove ScanfArgType and bake that logic into ArgType.Hans Wennborg