1. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 17 years ago
  2. f536ca3 These test cases now pass with RegionStore. by Ted Kremenek · 17 years ago
  3. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 17 years ago
  4. 90a929e Update test case with new clang arguments. by Ted Kremenek · 17 years ago
  5. 553cf18 CF ref checker: by Ted Kremenek · 17 years ago