aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/uninit-vals-ps.c
AgeCommit message (Expand)Author
2011-07-28Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate UndefResultChecker to CheckerV2.Argyrios Kyrtzidis
2010-09-09Clean up obtuse wording of checker diagnostic of using an uninitialized value...Ted Kremenek
2010-02-05Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek
2009-12-15Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar
2009-12-14Replace clang-cc with clang -cc1.Zhongxing Xu
2009-11-08Eliminate &&s in tests.Daniel Dunbar
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-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-28Fix PR 4631. The compound initializers of unions were not being evaluated, whichTed Kremenek
2009-07-28Fix regression in attribute 'nonnull' checking when a transition nodeTed Kremenek
2009-07-10Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek
2009-07-06Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek
2009-05-13Enhance diagnostics value tracking logic for null dereferences and uninitiali...Ted Kremenek
2009-04-02Add a few more analyzer test cases.Ted Kremenek
2009-03-24Rename clang to clang-cc.Daniel Dunbar
2009-03-01Fix PR3509 by providing correct starting locations for initializer listsDouglas Gregor
2009-02-17Static Analyzer driver/options (partial) cleanup:Ted Kremenek
2009-01-20Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar
2008-12-17Fix <rdar://problem/6451816>:Ted Kremenek
2008-11-21Add checker test case: warn about returning an uninitialized value to the cal...Ted Kremenek
2008-11-21Enable test file for 'region store' in addition to basic store.Ted Kremenek
2008-11-20Split region store specific test cases.Zhongxing Xu
2008-11-19Add test for path-sensitive uninit-val detection involving struct field.Zhongxing Xu
2008-05-21Fixed bug in the transfer function for dereferences: the loaded value from Ev...Ted Kremenek
2008-05-05When reporting branch conditions that evaluate to an uninitialized value,Ted Kremenek
2008-04-24Added uninitialized-values (path-sensitive) test case as a regression testTed Kremenek