aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
AgeCommit message (Expand)Author
2013-01-14[analyzer] Add ProgramStatePartialTrait<const void *>.Jordan Rose
2013-01-14[analyzer] Fix cast-away-const warning by using const_cast.Jordan Rose
2013-01-12Add missing includes and forward declarations so that headers don't depend onDmitri Gribenko
2012-11-05[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose
2012-11-02[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose
2012-03-27[analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks
2012-01-30[analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.Anna Zaks
2011-08-15Add missing header files.Ted Kremenek