1. 3eb817e Improve dead stores diagnostics to include the variable name. by Ted Kremenek · 16 years ago
  2. 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 · 16 years ago
  3. a23157e Emit dead store warnings for ++ and -- operators. by Ted Kremenek · 16 years ago
  4. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 16 years ago
  5. e866a7c Added test case for the static analyzer. by Ted Kremenek · 16 years ago
  6. e2013f5 Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 16 years ago
  7. 43ae4b0 Added uninitialized-values (path-sensitive) test case as a regression test by Ted Kremenek · 16 years ago
  8. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  9. 0fe33bc Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 16 years ago
  10. 9704eac Added null dereference test involving arrays. by Ted Kremenek · 16 years ago
  11. 3603d73 Added missing expected-warning. by Ted Kremenek · 16 years ago
  12. b9ab690 Added null dereference test case looking for null dereferences involving MemberExpr. by Ted Kremenek · 16 years ago
  13. f87821c Added test case illustrating the use of '&'. by Ted Kremenek · 16 years ago
  14. 49a2fd2 Added test case to dead stores checker. by Ted Kremenek · 16 years ago
  15. d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 16 years ago
  16. 2f54af4 Added path-sensitive null dereference test case. by Ted Kremenek · 16 years ago
  17. 02737ed Added path-sensitive check for return statements that return the address by Ted Kremenek · 16 years ago
  18. 5fb5c6a Changed merge operation for uninitialized values analysis to "intersect" (previous union). by Ted Kremenek · 16 years ago
  19. 0fdf06e Convert tabs to spaces. by Ted Kremenek · 16 years ago
  20. 3907323 GCC has an extension where the left hand side of the ? : operator can be omitted. Handle this in a few more places. by Anders Carlsson · 17 years ago
  21. f5f20bd The checking for the delimiters of expected error/warning messages was by Bill Wendling · 17 years ago
  22. ca7aa1f Added more test cases for uninitialized values checker. by Ted Kremenek · 17 years ago
  23. ff7c538 Fixed bogus culling of uninitialized-values "taint" propagation during assignments. by Ted Kremenek · 17 years ago
  24. bfc5e50 Moved dead-stores test cast to a new test suite subdirectory: Analysis. by Ted Kremenek · 17 years ago