aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2012-01-25Fix NSLog format string checking for %@.Ted Kremenek
2012-01-24Teach scanf/printf checking about '%Ld' and friends (a GNU extension). Fixes...Ted Kremenek
2012-01-24Revert various template unreachability code I committed accidentally.David Blaikie
2012-01-24More fixes/tests.David Blaikie
2012-01-24Support undefined dependent bases.David Blaikie
2012-01-20Handle thread safety attributes on functions with separate definitions and de...DeLesley Hutchins
2012-01-20The 'l' length modifier makes sense with the scanlist conversion specifier.Ted Kremenek
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie
2012-01-12scanf: parse the 'm' length modifier, and check that the right argumentsHans Wennborg
2012-01-12scanf analysis: the 'a' length modifier is valid with a scanlistHans Wennborg
2012-01-12scanf analysis: don't bail out after successful parse of scanlistHans Wennborg
2012-01-11Add elidable CXXConstructExpr as block-level expr. It converts an lvalue to a...Zhongxing Xu
2012-01-06Thread safety analysis: added support for trylock attribute.DeLesley Hutchins
2012-01-06Added LocalVariableMapDeLesley Hutchins
2012-01-04Teach the static analyzer to not treat XPC types as CF types.Ted Kremenek
2011-12-29Support for thread safety attributes on functionsDeLesley Hutchins
2011-12-28Support the 'a' scanf length modifier as an extension in C++.Hans Wennborg
2011-12-28Enable the user to control whether CXXConstructExpr will be added as a Zhongxing Xu
2011-12-22Colorize and condense CFG pretty-printing.Ted Kremenek
2011-12-22Enhance AnalysisDeclContext::getReferencedBlockVars() to understand PseudoObj...Ted Kremenek
2011-12-22Fix regression in LiveVariables when reasoning about variables captured by bl...Ted Kremenek
2011-12-21Improve CFG pretty-printing for CXXConstructExprs.Ted Kremenek
2011-12-21Improve CFG pretty-printing of CastExprs.Ted Kremenek
2011-12-20Update the CMake build for r146959's new files.Chandler Carruth
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-12-15Keep track of all declarations of an Objective-C class (both forwardDouglas Gregor
2011-12-15Support the 'a' length modifier in scanf format strings as a C90Hans Wennborg
2011-12-10Check that arguments to a scanf call match the format specifier,Hans Wennborg
2011-12-09Remove unnecessary braces from my previous commit.Hans Wennborg
2011-12-09Make printf warnings refer to wint_t and wchar_t by nameHans Wennborg
2011-12-09Move definition of ConversionSpecifier::toString() to FormatString.cppHans Wennborg
2011-12-09fix format specifier fixit for printf("%ld", "foo");Hans Wennborg
2011-12-08This patch extends thread safety analysis with support for the scoped_lockabl...DeLesley Hutchins
2011-12-07Make printf warnings refer to intmax_t et al. by nameHans Wennborg
2011-12-05[analyzer] Rely on LLVM Dominators in Clang dominator computation.Anna Zaks
2011-12-02Revert r145697 and dependent patch r145702. It added a dependency fromNick Lewycky
2011-12-02Make r145697 actually work.Hans Wennborg
2011-12-02Make conversion specifier warning refer to typedef if possible.Hans Wennborg
2011-11-15Teach the CFG builder how to properly destroy temporaries whoDouglas Gregor
2011-11-14[analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture...Ted Kremenek
2011-11-09We don't add ExprWithCleanups to the CFG, and getSVal looksJohn McCall
2011-11-06Change the AST representation of operations on Objective-CJohn McCall
2011-11-05Tweak LookThroughStmt() in LiveVariables to properly look through alternativi...Ted Kremenek
2011-11-05LookThroughStmt GM release.Argyrios Kyrtzidis
2011-11-05LookThroughStmt v4.6.3Argyrios Kyrtzidis
2011-11-05Simplify LookThroughStmt in LiveVariables.cppArgyrios Kyrtzidis
2011-11-05Another correction to the LiveVariables commit (r143767, r143780).Anna Zaks
2011-11-05Fix infinite loop in LiveVariables due to a misplaced 'break' (it would break...Argyrios Kyrtzidis
2011-11-05Teach LiveVariables to look through OpaqueValueExprs for extending Stmt liven...Ted Kremenek
2011-11-05Per discussion with John McCall, don't add OpaqueValueExprs to the CFG.Ted Kremenek