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