aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
AgeCommit message (Expand)Author
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-03-23[analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.Jordan Rose
2013-03-23Add reverseComparisonOp and negateComparisonOp to BinaryOperator.Jordan Rose
2013-03-23[analyzer] Use SymExprs to represent '<loc> - <loc>' and '<loc> == <loc>'.Jordan Rose
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-02[analyzer] Fix typo.Anna Zaks
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-11-29Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <...Ted Kremenek
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
2012-09-07Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek
2012-09-05[analyzer] Clean up a couple uses of getPointeeType().Jordan Rose
2012-09-04[analyzer] Don't use makeIntVal to create a floating-point value.Jordan Rose
2012-06-07[analyzer] Fixit for r158136.Anna Zaks
2012-06-07[analyzer] Anti-aliasing: different heap allocations do not aliasAnna Zaks
2012-06-06Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie
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