summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Introduce IntSymExpr, where the integer is on the lhs.Anna Zaks2011-12-101-0/+13
* [analyzer] Fix inconsistency on when SValBuilder assumes that 2Anna Zaks2011-12-091-2/+1
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-19/+12
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-051-2/+2
* [analyzer] Minor cleanup of SValBuilder: Comments + code reuse.Anna Zaks2011-11-281-11/+1
* [analyzer] Warn when non pointer arguments are passed to scanf (only when run...Anna Zaks2011-11-181-1/+0
* [analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks2011-11-171-0/+25
* Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek2011-10-241-1/+1
* [analyzer] Fix a new failure encountered while building Adium exposed as a re...Anna Zaks2011-09-121-2/+7
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-3/+3
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-1/+1
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-2/+2
* Improves the coding style in SValBuilder. This patch:Zhanyong Wan2011-03-011-69/+70
* [analyzer] Fix crash when analyzing C++ code.Argyrios Kyrtzidis2011-02-191-1/+1
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-13/+13
* Rename 'InvalidateRegions()' to 'invalidateRegions()'.Ted Kremenek2011-02-111-2/+2
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-5/+5
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+310
OpenPOWER on IntegriCloud