aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/exercise-ps.c
AgeCommit message (Expand)Author
2012-08-24Fix analyzer tests.Ted Kremenek
2012-01-27Remove the "C" in "implicitly declaring C library function" diagnosticJean-Daniel Dupas
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
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-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2010-09-05make clang print types as "const int *" instead of "int const*",Chris Lattner
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-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek
2009-11-08Eliminate &&s in tests.Daniel Dunbar
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-21Prep for new warning.Mike Stump
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-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-02-13Implicitly declare certain C library functions (malloc, strcpy, memmove,Douglas Gregor
2009-01-24Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegi...Ted Kremenek
2009-01-22This test case now passes with RegionStore.Ted Kremenek
2009-01-20Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar
2008-04-30Added test case for the static analyzer.Ted Kremenek