Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek | 2009-09-11 | 1 | -5/+6 |
* | Remove tabs, and whitespace cleanups. | Mike Stump | 2009-09-09 | 1 | -59/+59 |
* | Refactor the check for bad divide into a checker. | Zhongxing Xu | 2009-09-02 | 1 | -1/+1 |
* | Refactor bad callee check into a Checker. | Zhongxing Xu | 2009-09-02 | 1 | -1/+2 |
* | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek | 2009-08-21 | 1 | -1/+1 |
* | Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter' | Ted Kremenek | 2009-08-18 | 1 | -1/+7 |
* | As GRState seems general enough, it is time to merge some template classes | Zhongxing Xu | 2009-08-06 | 1 | -12/+12 |
* | Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. | Ted Kremenek | 2009-07-22 | 1 | -2/+2 |
* | Move bug reporter "visitors" to their own file and make them part of the public | Ted Kremenek | 2009-07-22 | 1 | -0/+341 |