summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] NFC: Legalize state manager factory injection.Artem Dergachev2018-09-251-11/+97
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-03-061-74/+68
* [analyzer] Provide Contains() on ImmutableMap program state partial trait.Dominic Chen2016-11-081-3/+7
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-2/+2
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-2/+2
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* [C++11] Use 'nullptr'Craig Topper2014-05-061-3/+5
* [Allocator] Remove forward declarations of BumpPtrAllocator. TheseChandler Carruth2014-03-301-1/+1
* [analyzer] Add ProgramStatePartialTrait<const void *>.Jordan Rose2013-01-141-2/+15
* [analyzer] Fix cast-away-const warning by using const_cast.Jordan Rose2013-01-141-1/+1
* Add missing includes and forward declarations so that headers don't depend onDmitri Gribenko2013-01-121-0/+2
* [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose2012-11-051-23/+7
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-021-0/+47
* [analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks2012-03-271-1/+14
* [analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.Anna Zaks2012-01-301-2/+2
* Add missing header files.Ted Kremenek2011-08-151-0/+184