aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
AgeCommit message (Expand)Author
2013-04-20[analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks
2013-04-02[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks
2013-02-28[analyzer] Mark the root SVal class as isPodLike.Jordan Rose
2013-02-24Add "KnownSVal" to represent SVals that cannot be UnknownSVal.Ted Kremenek
2013-02-21Use None rather than Optional<T>() where possible.David Blaikie
2013-02-21Doxycomment SVal's getAs/castAs.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Rename SVal::isType functions to SVal::isKindDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-18Use LLVM_DELETED_FUNCTION rather than '// do not implement' comments.David Blaikie
2013-02-01[analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-11-17Remove copy ctor that provides no value over the default.Benjamin Kramer
2012-10-11Remove pointless classof()'s.Sean Silva
2012-09-24[analyzer] Remove unused.Anna Zaks
2012-09-05Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose
2012-09-01[analyzer] Treat all struct values as regions (even rvalues).Jordan Rose
2012-08-13[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose
2012-07-25Remove the ability to stash arbitrary pointers into UndefinedVal (no longer n...Ted Kremenek
2012-07-18[analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose
2012-07-18Remove trivial destructor from SVal.Benjamin Kramer
2012-07-17Fixup for r160345 - uintptr_t is not always unsignedAlexey Samsonov
2012-07-17Fixed few warnings.Galina Kistanova
2012-04-16[analyzer] +commentsAnna Zaks
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
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] Remove all uses of ConstraintManager::canResonAbout() fromAnna 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, no doxygen in cpp).Anna Zaks
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-23clean up forward declarations of raw_ostream to use the new LLVM.hChris Lattner
2011-07-20add raw_ostream and Twine to LLVM.h, eliminating a ton of llvm:: qualifications.Chris Lattner
2011-07-20now that we have a centralized place to do so, add some using declarations forChris 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