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