summaryrefslogtreecommitdiffstats
path: root/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
...
* The 'l' length modifier makes sense with the scanlist conversion specifier.Ted Kremenek2012-01-201-0/+1
* More dead code removal (using -Wunreachable-code)David Blaikie2012-01-204-13/+5
* scanf: parse the 'm' length modifier, and check that the right argumentsHans Wennborg2012-01-123-3/+37
* scanf analysis: the 'a' length modifier is valid with a scanlistHans Wennborg2012-01-121-0/+1
* scanf analysis: don't bail out after successful parse of scanlistHans Wennborg2012-01-121-1/+1
* Add elidable CXXConstructExpr as block-level expr. It converts an lvalue to a...Zhongxing Xu2012-01-111-2/+1
* Thread safety analysis: added support for trylock attribute.DeLesley Hutchins2012-01-061-3/+123
* Added LocalVariableMapDeLesley Hutchins2012-01-061-44/+536
* Teach the static analyzer to not treat XPC types as CF types.Ted Kremenek2012-01-041-1/+3
* Support for thread safety attributes on functionsDeLesley Hutchins2011-12-291-2/+5
* Support the 'a' scanf length modifier as an extension in C++.Hans Wennborg2011-12-281-1/+1
* Enable the user to control whether CXXConstructExpr will be added as a Zhongxing Xu2011-12-281-1/+1
* Colorize and condense CFG pretty-printing.Ted Kremenek2011-12-222-49/+92
* Enhance AnalysisDeclContext::getReferencedBlockVars() to understand PseudoObj...Ted Kremenek2011-12-222-5/+16
* Fix regression in LiveVariables when reasoning about variables captured by bl...Ted Kremenek2011-12-221-5/+4
* Improve CFG pretty-printing for CXXConstructExprs.Ted Kremenek2011-12-211-0/+3
* Improve CFG pretty-printing of CastExprs.Ted Kremenek2011-12-211-1/+8
* Update the CMake build for r146959's new files.Chandler Carruth2011-12-201-0/+1
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-204-1/+21
* Keep track of all declarations of an Objective-C class (both forwardDouglas Gregor2011-12-151-1/+1
* Support the 'a' length modifier in scanf format strings as a C90Hans Wennborg2011-12-154-12/+55
* Check that arguments to a scanf call match the format specifier,Hans Wennborg2011-12-101-1/+252
* Remove unnecessary braces from my previous commit.Hans Wennborg2011-12-091-2/+1
* Make printf warnings refer to wint_t and wchar_t by nameHans Wennborg2011-12-092-11/+13
* Move definition of ConversionSpecifier::toString() to FormatString.cppHans Wennborg2011-12-092-44/+41
* fix format specifier fixit for printf("%ld", "foo");Hans Wennborg2011-12-091-0/+2
* This patch extends thread safety analysis with support for the scoped_lockabl...DeLesley Hutchins2011-12-081-33/+74
* Make printf warnings refer to intmax_t et al. by nameHans Wennborg2011-12-072-6/+16
* [analyzer] Rely on LLVM Dominators in Clang dominator computation.Anna Zaks2011-12-053-162/+1
* Revert r145697 and dependent patch r145702. It added a dependency fromNick Lewycky2011-12-022-40/+18
* Make r145697 actually work.Hans Wennborg2011-12-021-1/+1
* Make conversion specifier warning refer to typedef if possible.Hans Wennborg2011-12-022-18/+40
* Teach the CFG builder how to properly destroy temporaries whoDouglas Gregor2011-11-151-8/+57
* [analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture...Ted Kremenek2011-11-141-0/+9
* We don't add ExprWithCleanups to the CFG, and getSVal looksJohn McCall2011-11-091-0/+4
* Change the AST representation of operations on Objective-CJohn McCall2011-11-062-0/+41
* Tweak LookThroughStmt() in LiveVariables to properly look through alternativi...Ted Kremenek2011-11-051-4/+9
* LookThroughStmt GM release.Argyrios Kyrtzidis2011-11-051-2/+2
* LookThroughStmt v4.6.3Argyrios Kyrtzidis2011-11-051-1/+1
* Simplify LookThroughStmt in LiveVariables.cppArgyrios Kyrtzidis2011-11-051-12/+4
* Another correction to the LiveVariables commit (r143767, r143780).Anna Zaks2011-11-051-3/+7
* Fix infinite loop in LiveVariables due to a misplaced 'break' (it would break...Argyrios Kyrtzidis2011-11-051-12/+6
* Teach LiveVariables to look through OpaqueValueExprs for extending Stmt liven...Ted Kremenek2011-11-051-10/+28
* Per discussion with John McCall, don't add OpaqueValueExprs to the CFG.Ted Kremenek2011-11-051-1/+4
* Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it willRichard Smith2011-10-291-1/+1
* Teach format string analysis that "%zu" means size_t.Hans Wennborg2011-10-271-9/+5
* Tweak printf format string parsing to accept 'hh' conversion specifier to acc...Ted Kremenek2011-10-252-6/+22
* Add source-level dominators analysis. Patch by Guoping Long!Ted Kremenek2011-10-252-0/+161
* Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cppChandler Carruth2011-10-241-0/+0
* Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek2011-10-247-51/+51
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-14 13:42:54 +0000