1. 2f54af4 Added path-sensitive null dereference test case. by Ted Kremenek · 16 years ago
  2. 02737ed Added path-sensitive check for return statements that return the address by Ted Kremenek · 16 years ago
  3. 5fb5c6a Changed merge operation for uninitialized values analysis to "intersect" (previous union). by Ted Kremenek · 16 years ago
  4. 0fdf06e Convert tabs to spaces. by Ted Kremenek · 16 years ago
  5. 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
  6. f5f20bd The checking for the delimiters of expected error/warning messages was by Bill Wendling · 17 years ago
  7. ca7aa1f Added more test cases for uninitialized values checker. by Ted Kremenek · 17 years ago
  8. ff7c538 Fixed bogus culling of uninitialized-values "taint" propagation during assignments. by Ted Kremenek · 17 years ago
  9. bfc5e50 Moved dead-stores test cast to a new test suite subdirectory: Analysis. by Ted Kremenek · 17 years ago