summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Address Jordy's comments for r145985.Anna Zaks2011-12-151-3/+4
* [analyzer]Fixup r146336.Anna Zaks2011-12-101-7/+7
* [analyzer] Introduce IntSymExpr, where the integer is on the lhs.Anna Zaks2011-12-101-2/+2
* [analyzer] Fix inconsistency on when SValBuilder assumes that 2Anna Zaks2011-12-091-5/+3
* [analyzer] If memory region is tainted mark data as tainted.Anna Zaks2011-12-081-1/+3
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-0/+8
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-051-139/+140
* [analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks2011-12-051-3/+4
* [analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks2011-11-171-7/+7
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-5/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-8/+8
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-11/+11
* [analyzer] When performing a binary operation on symbolic operands, we conver...Jordy Rose2011-06-151-4/+32
* A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor2011-05-211-2/+4
* Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...Ted Kremenek2011-04-121-1/+2
* Improves the coding style in SValBuilder. This patch:Zhanyong Wan2011-03-011-13/+14
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-4/+4
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-2/+2
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+917
OpenPOWER on IntegriCloud