aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SVals.cpp
AgeCommit message (Expand)Author
2013-04-20[analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks
2013-03-23[analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.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-01[analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose
2012-12-01Include pruning and general cleanup.Benjamin Kramer
2012-09-17[analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks
2012-08-13[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose
2012-07-18[analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose
2012-04-05[analyzer] Remove redundant if statement (pointed out by Ted).Anna Zaks
2012-03-16[analyzer] +CommentsAnna Zaks
2012-01-17Remove unnecessary default cases in switches over enums.David Blaikie
2011-12-06[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna 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] First step toward removingAnna Zaks
2011-11-17[analyzer] Add a helper method.Anna Zaks
2011-11-16[analyzer] Cleanup: Null->0, comments.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-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-03-01[analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls...Argyrios Kyrtzidis
2011-02-28[analyzer] Introduce SVal::getAsVarDecl().Argyrios Kyrtzidis
2011-02-17Step #1/N of implementing support for __label__: split labels intoChris Lattner
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