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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Added test case illustrating the use of '&'.
Ted Kremenek
2008-04-15
1
-0
/
+7
*
Added test case to dead stores checker.
Ted Kremenek
2008-04-14
1
-3
/
+13
*
Refactored all logic to run the GRSimpleVals and CFRef checker into a common
Ted Kremenek
2008-04-10
2
-2
/
+2
*
Added path-sensitive null dereference test case.
Ted Kremenek
2008-04-02
1
-0
/
+6
*
Added path-sensitive check for return statements that return the address
Ted Kremenek
2008-03-31
1
-0
/
+21
*
Changed merge operation for uninitialized values analysis to "intersect" (pre...
Ted Kremenek
2008-03-22
1
-1
/
+1
*
Convert tabs to spaces.
Ted Kremenek
2008-03-19
1
-7
/
+7
*
GCC has an extension where the left hand side of the ? : operator can be omit...
Anders Carlsson
2007-11-30
1
-0
/
+26
*
The checking for the delimiters of expected error/warning messages was
Bill Wendling
2007-11-26
1
-6
/
+6
*
Added more test cases for uninitialized values checker.
Ted Kremenek
2007-11-24
1
-0
/
+15
*
Fixed bogus culling of uninitialized-values "taint" propagation during assign...
Ted Kremenek
2007-11-24
1
-0
/
+29
*
Moved dead-stores test cast to a new test suite subdirectory: Analysis.
Ted Kremenek
2007-11-24
1
-0
/
+21