1. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 16 years ago
  2. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  3. 6403b57 Refactor the check for bad divide into a checker. by Zhongxing Xu · 16 years ago
  4. d99f361 Refactor bad callee check into a Checker. by Zhongxing Xu · 16 years ago
  5. d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 16 years ago
  6. 592362b Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter' by Ted Kremenek · 16 years ago
  7. c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 16 years ago
  8. 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 16 years ago
  9. 5350066 Move bug reporter "visitors" to their own file and make them part of the public by Ted Kremenek · 16 years ago