Age | Commit message (Expand) | Author |
---|---|---|
2008-04-02 | Added path-sensitive null dereference test case. | Ted Kremenek |
2008-03-31 | Added path-sensitive check for return statements that return the address | Ted Kremenek |
2008-03-22 | Changed merge operation for uninitialized values analysis to "intersect" (pre... | Ted Kremenek |
2008-03-19 | Convert tabs to spaces. | Ted Kremenek |
2007-11-30 | GCC has an extension where the left hand side of the ? : operator can be omit... | Anders Carlsson |
2007-11-26 | The checking for the delimiters of expected error/warning messages was | Bill Wendling |
2007-11-24 | Added more test cases for uninitialized values checker. | Ted Kremenek |
2007-11-24 | Fixed bogus culling of uninitialized-values "taint" propagation during assign... | Ted Kremenek |
2007-11-24 | Moved dead-stores test cast to a new test suite subdirectory: Analysis. | Ted Kremenek |