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
/
taint-tester.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
[analyzer] Tests: move system functions into system header simulator files.
Jordan Rose
2013-04-15
1
-14
/
+1
*
Implement GCC's -Wint-to-pointer-cast.
David Blaikie
2012-10-16
1
-1
/
+1
*
Fix analyzer tests.
Ted Kremenek
2012-08-24
1
-1
/
+1
*
Having RegionStore lower field bindings to raw offsets, just like ElementRegi...
Ted Kremenek
2012-05-08
1
-1
/
+1
*
[analyzer] Add more C taint sources/sinks.
Anna Zaks
2012-01-24
1
-0
/
+21
*
[analyzer] Add another tests to taint tester.
Anna Zaks
2012-01-04
1
-0
/
+9
*
[analyzer] Do not invalidate arguments when the parameter's
Anna Zaks
2011-12-20
1
-7
/
+2
*
[analyzer] Fixup for r146793. Add tests for atol and atoll.
Anna Zaks
2011-12-17
1
-1
/
+12
*
[analyzer] Add support for taint flowing through a function (atoi).
Anna Zaks
2011-12-17
1
-0
/
+16
*
[analyzer] Better stdin support.
Anna Zaks
2011-12-16
1
-4
/
+32
*
Add support for matching one or more (aka regex +) diagnostic messages with -...
Anna Zaks
2011-12-15
1
-33
/
+33
*
[analyzer] Ensure that the order in which checker callbacks are called
Anna Zaks
2011-12-15
1
-1
/
+1
*
[analyzer] Disable verification step on the failing test.
Anna Zaks
2011-12-14
1
-1
/
+1
*
[analyzer] Re-enable the test which was failing on one of the bots.
Anna Zaks
2011-12-14
1
-0
/
+46
*
[analyzer] Revert the taint test, which is failing on one of the bots for tim...
Anna Zaks
2011-12-14
1
-46
/
+0
*
[analyzer] Treat stdin as a source of taint.
Anna Zaks
2011-12-14
1
-11
/
+18
*
[analyzer] Mark output of fscanf and fopen as tainted.
Anna Zaks
2011-12-14
1
-0
/
+35
*
[analyzer] Mark getenv output as tainted.
Anna Zaks
2011-12-14
1
-0
/
+10
*
Check that arguments to a scanf call match the format specifier,
Hans Wennborg
2011-12-10
1
-2
/
+2
*
[analyzer] Fix inconsistency on when SValBuilder assumes that 2
Anna Zaks
2011-12-09
1
-0
/
+15
*
[analyzer] If memory region is tainted mark data as tainted.
Anna Zaks
2011-12-08
1
-1
/
+24
*
[analyzer] Propagate taint through MemRegions.
Anna Zaks
2011-12-07
1
-4
/
+15
*
[analyzer] Propagate taint through NonLoc to NonLoc casts.
Anna Zaks
2011-12-06
1
-0
/
+8
*
[analyzer] Simplify the expected-warning statement.
Anna Zaks
2011-12-05
1
-1
/
+1
*
[analyzer] Add a missing taint tester warning.
Anna Zaks
2011-12-05
1
-1
/
+1
*
[analyzer] Add a debug checker to test for tainted data.
Anna Zaks
2011-12-05
1
-0
/
+15