Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek | 2011-08-15 | 1 | -3/+3 |
| | | | | llvm-svn: 137665 | ||||
* | [analyzer] Rename CheckerV2 -> Checker. | Argyrios Kyrtzidis | 2011-03-01 | 1 | -2/+2 |
| | | | | llvm-svn: 126726 | ||||
* | [analyzer] Migrate ArrayBoundChecker to CheckerV2. | Argyrios Kyrtzidis | 2011-02-24 | 1 | -16/+16 |
| | | | | llvm-svn: 126371 | ||||
* | Split 'include/clang/StaticAnalyzer' into ↵ | Ted Kremenek | 2011-02-10 | 1 | -3/+3 |
| | | | | | | | | 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. This layout matches lib/StaticAnalyzer, which corresponds to two StaticAnalyzer libraries. llvm-svn: 125251 | ||||
* | [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> ↵ | Argyrios Kyrtzidis | 2011-02-08 | 1 | -1/+1 |
| | | | | | | lib/StaticAnalyzer/Checkers/InternalChecks.h llvm-svn: 125121 | ||||
* | [analyzer] Add 'isLoad' parameter in Checker::visitLocation() to ↵ | Argyrios Kyrtzidis | 2011-01-11 | 1 | -2/+3 |
| | | | | | | conveniently distinguish between loads/stores. llvm-svn: 123261 | ||||
* | Chris Lattner has strong opinions about directory | Ted Kremenek | 2010-12-23 | 1 | -0/+91 |
layout. :) Rename the 'EntoSA' directories to 'StaticAnalyzer'. Internally we will still use the 'ento' namespace for the analyzer engine (unless there are further sabre rattlings...). llvm-svn: 122514 |