summaryrefslogtreecommitdiffstats
path: root/test/Analysis/taint-generic.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Support partially tainted records.Artem Dergachev2017-05-291-10/+31
* [analyzer] Extend taint propagation and checking to support LazyCompoundValAnna Zaks2017-03-091-0/+37
* 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] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons.Jordan Rose2013-03-241-0/+11
* Fix analyzer tests.Ted Kremenek2012-08-241-1/+1
* [analyzer] Do not assert on constructing SymSymExpr with diff types.Anna Zaks2012-05-031-0/+9
* [analyzer] Add a complexity bound on history tracking.Anna Zaks2012-05-031-0/+20
* [analyzer] Change naming in bug reports "tainted" -> "untrusted"Anna Zaks2012-02-221-10/+10
* [analyzer] Make VLA checker taint aware. Anna Zaks2012-01-211-1/+8
* Tighten format string diagnostic and make it a bit clearer (and a bit closer ...Ted Kremenek2012-01-201-1/+1
* [analyzer] Add taint awareness to DivZeroChecker.Anna Zaks2012-01-201-3/+8
* [analyzer] Add socket API as a source of taint.Anna Zaks2012-01-201-0/+21
* [analyzer] Taint: warn when tainted data is used to specify a bufferAnna Zaks2012-01-181-0/+22
* [analyzer] Taint: add taint propagation rules for string and memory copyAnna Zaks2012-01-181-0/+30
* [analyzer] Taint: add system and popen as undesirable sinks for taintAnna Zaks2012-01-141-0/+8
* [analyzer] Unwrap the pointers when ignoring the const cast.Anna Zaks2012-01-131-0/+3
* [analyzer] Add taint transfer by strcpy & others (part 1).Anna Zaks2012-01-121-7/+34
* [analyzer] Add basic format string vulnerability checking.Anna Zaks2012-01-071-1/+15
* [analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks2011-12-111-2/+1
* Check that arguments to a scanf call match the format specifier,Hans Wennborg2011-12-101-1/+2
* [analyzer] Add more simple taint tests.Anna Zaks2011-11-281-2/+17
* [analyzer] Warn when non pointer arguments are passed to scanf (only when run...Anna Zaks2011-11-181-0/+5
* [analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks2011-11-171-0/+14
* [analyzer] Catch the first taint propagation implied buffer overflow.Anna Zaks2011-11-161-0/+14