summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] [NFC] Remove unused typedef from SVals.hGeorge Karpenkov2017-11-071-3/+0
* StaticAnalyzer: Modularize/fix ODR violations making functions inline but non...David Blaikie2017-10-271-5/+4
* [analyzer] Add numerous assertions to SVal, SymExpr, and MemRegion classes.Artem Dergachev2017-04-131-23/+36
* [analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin2016-12-151-0/+46
* [StaticAnalyzer] Pull SymExpr and SymbolData into its own header to avoid cyc...Benjamin Kramer2016-02-021-1/+3
* [analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion, v2.Artem Dergachev2016-01-151-8/+11
* Revert "[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion."Artem Dergachev2016-01-131-11/+8
* [analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion.Artem Dergachev2016-01-131-8/+11
* [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev2016-01-131-14/+14
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-5/+5
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-5/+5
* Removing LLVM_DELETED_FUNCTION, as MSVC 2012 was the last reason for requirin...Aaron Ballman2015-02-151-5/+5
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* [C++11] Use 'nullptr'Craig Topper2014-05-061-3/+3
* [analyzer] Treat nullPtrType as a location type.Anna Zaks2013-07-121-1/+1
* [analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks2013-04-201-5/+13
* [analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks2013-04-021-1/+2
* [analyzer] Mark the root SVal class as isPodLike.Jordan Rose2013-02-281-0/+5
* Add "KnownSVal" to represent SVals that cannot be UnknownSVal.Ted Kremenek2013-02-241-1/+14
* Use None rather than Optional<T>() where possible.David Blaikie2013-02-211-1/+1
* Doxycomment SVal's getAs/castAs.David Blaikie2013-02-211-0/+4
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-2/+2
* Rename SVal::isType functions to SVal::isKindDavid Blaikie2013-02-201-24/+24
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-70/+119
* Use LLVM_DELETED_FUNCTION rather than '// do not implement' comments.David Blaikie2013-02-181-9/+9
* [analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose2013-02-011-2/+2
* Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko2013-01-121-1/+1
* Sort #include lines for all files under include/...Chandler Carruth2012-12-041-1/+1
* Remove copy ctor that provides no value over the default.Benjamin Kramer2012-11-171-2/+0
* Remove pointless classof()'s.Sean Silva2012-10-111-3/+0
* [analyzer] Remove unused.Anna Zaks2012-09-241-1/+1
* Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose2012-09-051-9/+1
* [analyzer] Treat all struct values as regions (even rvalues).Jordan Rose2012-09-011-1/+9
* [analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose2012-08-131-1/+1
* Remove the ability to stash arbitrary pointers into UndefinedVal (no longer n...Ted Kremenek2012-07-251-3/+0
* [analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose2012-07-181-23/+1
* Remove trivial destructor from SVal.Benjamin Kramer2012-07-181-1/+0
* Fixup for r160345 - uintptr_t is not always unsignedAlexey Samsonov2012-07-171-3/+3
* Fixed few warnings.Galina Kistanova2012-07-171-3/+9
* [analyzer] +commentsAnna Zaks2012-04-161-0/+2
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-0/+1
* [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks2011-12-061-19/+6
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-0/+1
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-051-20/+5
* [analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks2011-12-051-0/+1
* [analyzer] First step toward removingAnna Zaks2011-12-051-1/+1
* [analyzer] Add a helper method.Anna Zaks2011-11-171-0/+2
* [analyzer] Cleanup (NULL -> 0, no doxygen in cpp).Anna Zaks2011-11-161-4/+4
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-2/+2
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-18/+18
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-04 07:29:30 +0000