summaryrefslogtreecommitdiff
path: root/test/Analysis/taint-generic.c
AgeCommit message (Expand)Author
2017-05-29[analyzer] Support partially tainted records.Artem Dergachev
2017-03-09[analyzer] Extend taint propagation and checking to support LazyCompoundValAnna Zaks
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2013-03-24[analyzer] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons.Jordan Rose
2012-08-24Fix analyzer tests.Ted Kremenek
2012-05-03[analyzer] Do not assert on constructing SymSymExpr with diff types.Anna Zaks
2012-05-03[analyzer] Add a complexity bound on history tracking.Anna Zaks
2012-02-22[analyzer] Change naming in bug reports "tainted" -> "untrusted"Anna Zaks
2012-01-21[analyzer] Make VLA checker taint aware. Anna Zaks
2012-01-20Tighten format string diagnostic and make it a bit clearer (and a bit closer ...Ted Kremenek
2012-01-20[analyzer] Add taint awareness to DivZeroChecker.Anna Zaks
2012-01-20[analyzer] Add socket API as a source of taint.Anna Zaks
2012-01-18[analyzer] Taint: warn when tainted data is used to specify a bufferAnna Zaks
2012-01-18[analyzer] Taint: add taint propagation rules for string and memory copyAnna Zaks
2012-01-14[analyzer] Taint: add system and popen as undesirable sinks for taintAnna Zaks
2012-01-13[analyzer] Unwrap the pointers when ignoring the const cast.Anna Zaks
2012-01-12[analyzer] Add taint transfer by strcpy & others (part 1).Anna Zaks
2012-01-07[analyzer] Add basic format string vulnerability checking.Anna Zaks
2011-12-11[analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks
2011-12-10Check that arguments to a scanf call match the format specifier,Hans Wennborg
2011-11-28[analyzer] Add more simple taint tests.Anna Zaks
2011-11-18[analyzer] Warn when non pointer arguments are passed to scanf (only when run...Anna Zaks
2011-11-17[analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks
2011-11-16[analyzer] Catch the first taint propagation implied buffer overflow.Anna Zaks
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-12 06:51:17 +0000