aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
AgeCommit message (Expand)Author
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-12-01Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer
2012-11-02[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose
2012-07-18Remove trivial destructor from SVal.Benjamin Kramer
2012-07-10[analyzer] Guard against C++ member functions that look like system functions.Jordan Rose
2012-06-02Fix typos found by http://github.com/lyda/misspell-checkBenjamin Kramer
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