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