summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/null-deref-ps.c
Commit message (Expand)AuthorAgeFilesLines
* Tweak null dereference checker to give better diagnostics for null dereferenc...Ted Kremenek2010-10-261-3/+3
* Clean up obtuse wording of checker diagnostic of using an uninitialized value...Ted Kremenek2010-09-091-1/+1
* Put the tautological-comparison-of-unsigned-against-zero warnings inJohn McCall2010-09-081-1/+1
* sabre points out that the timing here is pretty pessimal; I'll retry theJohn McCall2010-09-021-1/+1
* Experimentally move the tautological comparison warnings from -Wsign-compareJohn McCall2010-09-021-1/+1
* Added checking of (x == x) and (x != x) to IdempotentOperationChecker and upd...Tom Care2010-08-271-1/+1
* Enabled relaxed LiveVariables analysis in the path-sensitive engine to increa...Tom Care2010-08-271-1/+20
* Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care2010-08-181-1/+1
* Improved IdempotentOperationChecker false positives and false negatives.Tom Care2010-08-121-22/+2
* Finesse 'idempotent operations' analyzer issues to include the opcode of the ...Ted Kremenek2010-07-271-1/+1
* Improved false positive rate for the idempotent operations checker and moved ...Tom Care2010-07-161-1/+1
* fix PR7280 by making the warning on code like this:Chris Lattner2010-07-111-4/+4
* If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash).Jordy Rose2010-06-211-0/+5
* Improve diagnostics when we fail to convert from a source type to aDouglas Gregor2010-04-091-2/+2
* Tweak null dereference diagnostics to give clearer diagnostics whenTed Kremenek2010-03-231-2/+2
* 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
OpenPOWER on IntegriCloud