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