1. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  2. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  3. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 16 years ago
  4. 7c68666 Add checker test case: warn about returning an uninitialized value to the caller. by Ted Kremenek · 16 years ago
  5. 9f49055 Enable test file for 'region store' in addition to basic store. by Ted Kremenek · 16 years ago
  6. e8e4d8c Split region store specific test cases. by Zhongxing Xu · 16 years ago
  7. 89e8a07 Add test for path-sensitive uninit-val detection involving struct field. by Zhongxing Xu · 16 years ago
  8. 5c96c27 Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression. by Ted Kremenek · 17 years ago
  9. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 17 years ago
  10. 43ae4b0 Added uninitialized-values (path-sensitive) test case as a regression test by Ted Kremenek · 17 years ago