aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/null-deref-ps.c
AgeCommit message (Expand)Author
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek
2009-11-08Eliminate &&s in tests.Daniel Dunbar
2009-09-28Remove test case's dependency on platform headers.Ted Kremenek
2009-08-24Add test case for PR 4759.Ted Kremenek
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-22Prep for new warning.Mike Stump
2009-07-22Migrate the path-sensitive checking of 'nonnull' arguments over to the newTed 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-05-04Fix false positive null dereference by unifying code paths in GRSimpleVals forTed Kremenek
2009-05-04Update test case.Ted Kremenek
2009-05-02Add another null pointer check test case.Ted Kremenek
2009-04-30Warn about invalid return statements by default.Steve Naroff
2009-03-24Rename clang to clang-cc.Daniel Dunbar
2009-03-05GRExprEngine: Polish up handling of casting integer constants to pointers and...Ted Kremenek
2009-02-17Static Analyzer driver/options (partial) cleanup:Ted Kremenek
2009-02-16Test passes with -analyzer-range-contraints.Ted Kremenek
2009-02-06Put the region store specific test in a separate file.Zhongxing Xu
2009-02-06Create ElementRegion when the base is SymbolicRegion. This is like what we doZhongxing Xu
2009-01-22Enhance test case to test RegionStore with -checker-cfref.Ted Kremenek
2009-01-20Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar
2009-01-17Fix analyzer crash found when scanning Wine sources where the analyzer used o...Ted Kremenek
2009-01-13static analyzer: Handle casts from arrays to integers. This fixes PR 3297.Ted Kremenek
2008-12-22Add an option to make 'RemoveDeadBindings' a configurable behavior. This enablesZhongxing Xu
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-04Add 'expected-warning' to make test case pass.Ted Kremenek
2008-12-04Add another static analyzer test case involving attribute(nonnull).Ted Kremenek
2008-12-04Add another test case for attribute(nonnull) checking.Ted Kremenek
2008-12-03BasicConstraintManager:Ted Kremenek
2008-12-03BasicConstraintManager:Ted Kremenek
2008-11-15Add a test case for compound assignments that lazily symbolicate the value of...Ted Kremenek
2008-11-11Add && to test command.Zhongxing Xu
2008-11-10Add region store model to path-sensitive testing.Zhongxing Xu
2008-10-17This test now passes again.Ted Kremenek
2008-10-17Mark these tests XFAIL. We need to add back assumption logic when doing arra...Ted Kremenek
2008-09-24Updated test case.Ted Kremenek
2008-09-19Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.Ted Kremenek
2008-09-17Add path-sensitivity test case.Ted Kremenek
2008-09-16Fix copy-paste error in test case.Ted Kremenek
2008-09-16Minor pass-sensitivity improvement:Ted Kremenek
2008-09-01Tidy up sema processing of attribute "nonull":Ted Kremenek
2008-08-16Enhance null-dereference checker test.Ted Kremenek
2008-08-05Add EXTWARN Diagnostic class.Daniel Dunbar
2008-07-31Enhanced path-sensitive return-of-stack-address check to print out the name o...Ted Kremenek
2008-07-22Added path-sensitive checking for null pointer values passed to function argu...Ted Kremenek
2008-04-29Added test case to test null dereference checking with lval::ArrayOffset.Ted Kremenek
2008-04-22Added lval type (and tracking) for StringLiterals.Ted Kremenek
2008-04-22Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers...Ted Kremenek