1. d2f642b Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 17 years ago
  2. 4d35dac Fixed regressions in error reporting due to copy-paste errors (using the "begin" by Ted Kremenek · 17 years ago
  3. 50a6d0c Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 17 years ago
  4. 7956f75 Added investigate patch for an occasionally failing assertion (heisenbug?) by Ted Kremenek · 17 years ago
  5. f1ae705 Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use by Ted Kremenek · 17 years ago
  6. 8730e13 Added skeleton checking for NSString's method initWithFormat: (do not pass nil). This won't be useful in most cases right now by Ted Kremenek · 17 years ago
  7. 4ba6283 Expanded NSString checking to check for nil for a few more methods. by Ted Kremenek · 17 years ago
  8. 9b3fdea Add line SourceLocation to NSString checks. by Ted Kremenek · 17 years ago
  9. e5d5c20 Hooked up initial NSString interface checking to GRSimpleVals. by Ted Kremenek · 17 years ago
  10. 5275561 Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver. by Ted Kremenek · 17 years ago
  11. 99c6ad3 Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless checkers to be injected into the analyzer. by Ted Kremenek · 17 years ago