index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
clang
/
test
/
Analysis
/
outofbound.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.
Daniel Dunbar
2009-12-15
1
-1
/
+1
*
Replace clang-cc with clang -cc1.
Zhongxing Xu
2009-12-14
1
-1
/
+1
*
Add clang-cc option "--analyzer-experimental-internal-checks". This
Ted Kremenek
2009-11-13
1
-1
/
+1
*
Reimplement out-of-bound array access checker with the new checker interface.
Zhongxing Xu
2009-11-11
1
-2
/
+1
*
Switch XFAIL format to match LLVM.
Daniel Dunbar
2009-11-03
1
-1
/
+1
*
Temporarily disable out-of-bounds checking. The current checking logic will ...
Ted Kremenek
2009-08-01
1
-0
/
+1
*
Introduce a new concept to the static analyzer: SValuator.
Ted Kremenek
2009-06-26
1
-1
/
+1
*
Rename clang to clang-cc.
Daniel Dunbar
2009-03-24
1
-1
/
+1
*
Static Analyzer driver/options (partial) cleanup:
Ted Kremenek
2009-02-17
1
-1
/
+1
*
Test more array logic in outofbound.c
Ted Kremenek
2009-01-22
1
-1
/
+2
*
Fix RegionStore::getLValueElement() to handle the case when the base region i...
Ted Kremenek
2009-01-22
1
-1
/
+1
*
Add -analyze action to run static analyzer, instead of inferring from
Daniel Dunbar
2009-01-20
1
-1
/
+1
*
This test now passes.
Ted Kremenek
2009-01-13
1
-1
/
+0
*
Temporarily XFAIL these tests.
Ted Kremenek
2008-12-13
1
-0
/
+1
*
Strings are NULL terminated. So the region size should plus one.
Zhongxing Xu
2008-11-24
1
-1
/
+1
*
Add test case for out-of-bound memory access checking.
Zhongxing Xu
2008-11-24
1
-0
/
+6