aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
AgeCommit message (Expand)Author
2012-05-08[analyzer] Add an abstraction for the bit width and signedness of an APSInt. ...Jordy Rose
2012-05-07[analyzer] Fix a crash in triggered by OSAtomicChecker.Anna Zaks
2012-05-07Remove variable made unused by r156270.David Blaikie
2012-05-06[analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and ...Jordy Rose
2012-05-03[analyzer] When promoting constant integers in a comparison, use the larger w...Jordy Rose
2012-05-03[analyzer] Equality ops are like relational ops in that the arguments shouldn...Jordy Rose
2012-05-03[analyzer] Do not assert on constructing SymSymExpr with diff types.Anna Zaks
2012-05-01[analyzer] Construct a SymExpr even when the constraint solver cannotAnna Zaks
2012-04-30Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie
2012-03-05Teach SimpleSValBuilder that (in the absence of more information) stack memor...Ted Kremenek
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2011-12-15[analyzer] Address Jordy's comments for r145985.Anna Zaks
2011-12-10[analyzer]Fixup r146336.Anna Zaks
2011-12-10[analyzer] Introduce IntSymExpr, where the integer is on the lhs.Anna Zaks
2011-12-09[analyzer] Fix inconsistency on when SValBuilder assumes that 2Anna Zaks
2011-12-08[analyzer] If memory region is tainted mark data as tainted.Anna Zaks
2011-12-06[analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks
2011-12-05[analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks
2011-12-05[analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks
2011-11-17[analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-06-15[analyzer] When performing a binary operation on symbolic operands, we conver...Jordy Rose
2011-05-21A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor
2011-04-12Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...Ted Kremenek
2011-03-01Improves the coding style in SValBuilder. This patch:Zhanyong Wan
2011-02-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis