aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/uninit-vals-ps-region.c
AgeCommit message (Expand)Author
2009-11-04Catch uses of undefined values when they are used in assignment, thus catchin...Ted Kremenek
2009-09-24Shorten the static analyzer diagnostic for 'use of garbage value'.Ted Kremenek
2009-09-16Have divide-by-zero checker not handled undefined denominators. This is hand...Ted Kremenek
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-08-28Add uninitialized values test case.Ted Kremenek
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-03-24Rename clang to clang-cc.Daniel Dunbar
2009-02-17Static Analyzer driver/options (partial) cleanup:Ted Kremenek
2009-01-30enable test as it worksNuno Lopes
2009-01-20Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-04Revise bogus comment I just committed.Ted Kremenek
2008-12-04Add comment to test case for documentation.Ted Kremenek
2008-11-20Split region store specific test cases.Zhongxing Xu