summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/null-deref-ps.c
Commit message (Expand)AuthorAgeFilesLines
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-4/+4
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-4/+4
* Replace clang-cc with clang -cc1.Zhongxing Xu2009-12-141-4/+4
* Enhance null dereference diagnostics by indicating what variable (if any) was...Ted Kremenek2009-11-241-4/+4
* Switch -f{builtin,math-errno,rtti} and -analyzer-purge-dead to -...no... vari...Daniel Dunbar2009-11-191-1/+1
* Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek2009-11-131-4/+4
* Eliminate &&s in tests.Daniel Dunbar2009-11-081-3/+3
* Remove test case's dependency on platform headers.Ted Kremenek2009-09-281-6/+12
* Add test case for PR 4759.Ted Kremenek2009-08-241-0/+9
* Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek2009-07-291-2/+0
* Prep for new warning.Mike Stump2009-07-221-1/+1
* Migrate the path-sensitive checking of 'nonnull' arguments over to the newTed Kremenek2009-07-221-0/+9
* Prep for new warning.Mike Stump2009-07-211-1/+2
* Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek2009-07-101-2/+2
* Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek2009-07-061-0/+2
* Introduce a new concept to the static analyzer: SValuator.Ted Kremenek2009-06-261-4/+4
* Fix false positive null dereference by unifying code paths in GRSimpleVals forTed Kremenek2009-05-041-3/+3
* Update test case.Ted Kremenek2009-05-041-0/+29
* Add another null pointer check test case.Ted Kremenek2009-05-021-0/+14
* Warn about invalid return statements by default.Steve Naroff2009-04-301-2/+2
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-4/+4
* GRExprEngine: Polish up handling of casting integer constants to pointers and...Ted Kremenek2009-03-051-0/+7
* Static Analyzer driver/options (partial) cleanup:Ted Kremenek2009-02-171-3/+3
* Test passes with -analyzer-range-contraints.Ted Kremenek2009-02-161-0/+1
* Put the region store specific test in a separate file.Zhongxing Xu2009-02-061-9/+0
* Create ElementRegion when the base is SymbolicRegion. This is like what we doZhongxing Xu2009-02-061-0/+9
* Enhance test case to test RegionStore with -checker-cfref.Ted Kremenek2009-01-221-1/+2
* Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar2009-01-201-2/+2
* Fix analyzer crash found when scanning Wine sources where the analyzer used o...Ted Kremenek2009-01-171-0/+23
* static analyzer: Handle casts from arrays to integers. This fixes PR 3297.Ted Kremenek2009-01-131-0/+21
* Add an option to make 'RemoveDeadBindings' a configurable behavior. This enablesZhongxing Xu2008-12-221-2/+2
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-2/+2
* Add 'expected-warning' to make test case pass.Ted Kremenek2008-12-041-2/+2
* Add another static analyzer test case involving attribute(nonnull).Ted Kremenek2008-12-041-0/+5
* Add another test case for attribute(nonnull) checking.Ted Kremenek2008-12-041-0/+9
* BasicConstraintManager:Ted Kremenek2008-12-031-0/+9
* BasicConstraintManager:Ted Kremenek2008-12-031-0/+10
* Add a test case for compound assignments that lazily symbolicate the value of...Ted Kremenek2008-11-151-0/+20
* Add && to test command.Zhongxing Xu2008-11-111-1/+1
* Add region store model to path-sensitive testing.Zhongxing Xu2008-11-101-0/+1
* This test now passes again.Ted Kremenek2008-10-171-1/+0
* Mark these tests XFAIL. We need to add back assumption logic when doing arra...Ted Kremenek2008-10-171-0/+1
* Updated test case.Ted Kremenek2008-09-241-3/+5
* Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.Ted Kremenek2008-09-191-4/+4
* Add path-sensitivity test case.Ted Kremenek2008-09-171-0/+11
* Fix copy-paste error in test case.Ted Kremenek2008-09-161-1/+1
* Minor pass-sensitivity improvement:Ted Kremenek2008-09-161-0/+13
* Tidy up sema processing of attribute "nonull":Ted Kremenek2008-09-011-3/+4
* Enhance null-dereference checker test.Ted Kremenek2008-08-161-1/+9
* Add EXTWARN Diagnostic class.Daniel Dunbar2008-08-051-1/+1
OpenPOWER on IntegriCloud