Age | Commit message (Expand) | Author |
---|---|---|
2011-12-05 | [analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal | Anna Zaks |
2011-12-05 | [analyzer] Remove all uses of ConstraintManager::canResonAbout() from | Anna Zaks |
2011-12-05 | [analyzer] First step toward removing | Anna Zaks |
2011-09-23 | Switch assert(0/false) llvm_unreachable. | David Blaikie |
2011-08-15 | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek |
2011-05-21 | A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups. | Douglas Gregor |
2011-03-01 | [analyzer] Remove Checker V1. | Argyrios Kyrtzidis |
2011-02-16 | Makes most methods in SVals.h conform to the naming guide. Reviewed | Zhanyong Wan |
2011-02-10 | Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'... | Ted Kremenek |
2011-02-08 | [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core. | Argyrios Kyrtzidis |