Age | Commit 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-12 | Add missing includes and forward declarations so that headers don't depend on | Dmitri Gribenko |
2012-11-05 | [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.h | Jordan 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-15 | Add missing header files. | Ted Kremenek |