summaryrefslogtreecommitdiffstats
path: root/test/Analysis/taint-tester.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] do not crash when trying to convert an APSInt to an unexpected typeGeorge Karpenkov2017-11-091-0/+7
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-1/+1
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-1/+1
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-1/+1
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-1/+1
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-1/+1
* [analyzer] Tests: move system functions into system header simulator files.Jordan Rose2013-04-151-14/+1
* Implement GCC's -Wint-to-pointer-cast.David Blaikie2012-10-161-1/+1
* Fix analyzer tests.Ted Kremenek2012-08-241-1/+1
* Having RegionStore lower field bindings to raw offsets, just like ElementRegi...Ted Kremenek2012-05-081-1/+1
* [analyzer] Add more C taint sources/sinks.Anna Zaks2012-01-241-0/+21
* [analyzer] Add another tests to taint tester.Anna Zaks2012-01-041-0/+9
* [analyzer] Do not invalidate arguments when the parameter'sAnna Zaks2011-12-201-7/+2
* [analyzer] Fixup for r146793. Add tests for atol and atoll.Anna Zaks2011-12-171-1/+12
* [analyzer] Add support for taint flowing through a function (atoi).Anna Zaks2011-12-171-0/+16
* [analyzer] Better stdin support.Anna Zaks2011-12-161-4/+32
* Add support for matching one or more (aka regex +) diagnostic messages with -...Anna Zaks2011-12-151-33/+33
* [analyzer] Ensure that the order in which checker callbacks are calledAnna Zaks2011-12-151-1/+1
* [analyzer] Disable verification step on the failing test.Anna Zaks2011-12-141-1/+1
* [analyzer] Re-enable the test which was failing on one of the bots.Anna Zaks2011-12-141-0/+46
* [analyzer] Revert the taint test, which is failing on one of the bots for tim...Anna Zaks2011-12-141-46/+0
* [analyzer] Treat stdin as a source of taint.Anna Zaks2011-12-141-11/+18
* [analyzer] Mark output of fscanf and fopen as tainted.Anna Zaks2011-12-141-0/+35
* [analyzer] Mark getenv output as tainted.Anna Zaks2011-12-141-0/+10
* Check that arguments to a scanf call match the format specifier,Hans Wennborg2011-12-101-2/+2
* [analyzer] Fix inconsistency on when SValBuilder assumes that 2Anna Zaks2011-12-091-0/+15
* [analyzer] If memory region is tainted mark data as tainted.Anna Zaks2011-12-081-1/+24
* [analyzer] Propagate taint through MemRegions.Anna Zaks2011-12-071-4/+15
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-0/+8
* [analyzer] Simplify the expected-warning statement.Anna Zaks2011-12-051-1/+1
* [analyzer] Add a missing taint tester warning.Anna Zaks2011-12-051-1/+1
* [analyzer] Add a debug checker to test for tainted data.Anna Zaks2011-12-051-0/+15