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
/
uninit-vals-ps.c
Age
Commit message (
Expand
)
Author
2009-11-08
Eliminate &&s in tests.
Daniel Dunbar
2009-09-24
Shorten the static analyzer diagnostic for 'use of garbage value'.
Ted Kremenek
2009-09-16
Have divide-by-zero checker not handled undefined denominators. This is hand...
Ted Kremenek
2009-09-11
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
Ted Kremenek
2009-07-29
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
Ted Kremenek
2009-07-28
Fix PR 4631. The compound initializers of unions were not being evaluated, which
Ted Kremenek
2009-07-28
Fix regression in attribute 'nonnull' checking when a transition node
Ted Kremenek
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-05-13
Enhance diagnostics value tracking logic for null dereferences and uninitiali...
Ted Kremenek
2009-04-02
Add a few more analyzer test cases.
Ted Kremenek
2009-03-24
Rename clang to clang-cc.
Daniel Dunbar
2009-03-01
Fix PR3509 by providing correct starting locations for initializer lists
Douglas Gregor
2009-02-17
Static Analyzer driver/options (partial) cleanup:
Ted Kremenek
2009-01-20
Add -analyze action to run static analyzer, instead of inferring from
Daniel Dunbar
2008-12-17
Fix <rdar://problem/6451816>:
Ted Kremenek
2008-11-21
Add checker test case: warn about returning an uninitialized value to the cal...
Ted Kremenek
2008-11-21
Enable test file for 'region store' in addition to basic store.
Ted Kremenek
2008-11-20
Split region store specific test cases.
Zhongxing Xu
2008-11-19
Add test for path-sensitive uninit-val detection involving struct field.
Zhongxing Xu
2008-05-21
Fixed bug in the transfer function for dereferences: the loaded value from Ev...
Ted Kremenek
2008-05-05
When reporting branch conditions that evaluate to an uninitialized value,
Ted Kremenek
2008-04-24
Added uninitialized-values (path-sensitive) test case as a regression test
Ted Kremenek