aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
AgeCommit message (Expand)Author
2012-04-10[analyzer] Don't crash even when the system functions are redefined.Anna Zaks
2012-02-22[analyzer] Change naming in bug reports "tainted" -> "untrusted"Anna Zaks
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-24[analyzer] Add more C taint sources/sinks.Anna Zaks
2012-01-21[analyzer] It's possible to have a non PointerType expression evaluate to a L...Anna Zaks
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie
2012-01-20[analyzer] Add socket API as a source of taint.Anna Zaks
2012-01-18[analyzer] Refactor: prePropagateTaint ->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-17[analyzer] Taint: generalize taint propagation to simplify adding moreAnna Zaks
2012-01-14[analyzer] Taint: add system and popen as undesirable sinks for taintAnna Zaks
2012-01-13[analyzer] Taint: when looking up a binding, provide the type.Anna Zaks
2012-01-12[analyzer] Add taint transfer by strcpy & others (part 1).Anna Zaks
2012-01-07Remove unused variable.Rafael Espindola
2012-01-07[analyzer] Add basic format string vulnerability checking.Anna Zaks
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
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-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-11[analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks
2011-11-18[analyzer] Warn when non pointer arguments are passed to scanf (only when run...Anna Zaks
2011-11-16[analyzer] Adding generic taint checker.Anna Zaks