summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] GenericTaint: Fix formatting to prepare for incoming improvements.Artem Dergachev2018-12-191-107/+107
* [analyzer][NFC] Move CheckerRegistry from the Core directory to FrontendKristof Umann2018-12-151-1/+1
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-7/+7
* [analyzer] Move `TaintBugVisitor` from `GenericTaintChecker.cpp` to `BugRepor...Henry Wong2018-04-231-39/+0
* [analyzer] Improves the logic of GenericTaintChecker identifying stdin.Henry Wong2018-03-051-1/+2
* [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he...George Karpenkov2018-01-171-2/+2
* [analyzer] In getSVal() API, disable auto-detection of void type as char type.Artem Dergachev2017-12-121-4/+13
* [analyzer] Support partially tainted records.Artem Dergachev2017-05-291-59/+24
* [analyzer] Extend taint propagation and checking to support LazyCompoundValAnna Zaks2017-03-091-0/+37
* [analyzer] Add bug visitor for taint checker.Anna Zaks2017-03-091-2/+46
* Refactor: Simplify boolean conditional return statements in lib/StaticAnalyze...Alexander Kornienko2015-12-281-14/+5
* [analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin2015-09-161-1/+1
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-5/+5
* Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman2015-06-231-2/+2
* Fixes a typo in a comment.Enrico Pertoso2015-06-031-1/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-7/+7
* remove a bunch of unused private methodsNuno Lopes2014-03-231-1/+0
* [C++11] Replacing DeclBase iterators specific_attr_begin() and specific_attr_...Aaron Ballman2014-03-101-5/+1
* Replace OwningPtr with std::unique_ptr.Ahmed Charles2014-03-071-1/+1
* Expose the name of the checker producing each diagnostic message.Alexander Kornienko2014-02-111-1/+1
* Switched FormatAttr to using an IdentifierArgument instead of a StringArgumen...Aaron Ballman2013-09-031-1/+2
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-1/+1
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-1/+1
* Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko2013-01-121-1/+1
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-3/+3
* Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer2012-12-011-0/+1
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-021-8/+2
* [analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose2012-11-021-1/+1
* Remove trivial destructor from SVal.Benjamin Kramer2012-07-181-1/+0
* [analyzer] Guard against C++ member functions that look like system functions.Jordan Rose2012-07-101-1/+11
* Fix typos found by http://github.com/lyda/misspell-checkBenjamin Kramer2012-06-021-1/+1
* [analyzer] Don't crash even when the system functions are redefined.Anna Zaks2012-04-101-7/+13
* [analyzer] Change naming in bug reports "tainted" -> "untrusted"Anna Zaks2012-02-221-4/+5
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-1/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-22/+22
* [analyzer] Add more C taint sources/sinks.Anna Zaks2012-01-241-22/+45
* [analyzer] It's possible to have a non PointerType expression evaluate to a L...Anna Zaks2012-01-211-2/+2
* More dead code removal (using -Wunreachable-code)David Blaikie2012-01-201-3/+0
* [analyzer] Add socket API as a source of taint.Anna Zaks2012-01-201-0/+27
* [analyzer] Refactor: prePropagateTaint ->Anna Zaks2012-01-181-43/+27
* [analyzer] Taint: warn when tainted data is used to specify a bufferAnna Zaks2012-01-181-4/+62
* [analyzer] Taint: add taint propagation rules for string and memory copyAnna Zaks2012-01-181-53/+111
* [analyzer] Taint: generalize taint propagation to simplify adding moreAnna Zaks2012-01-171-4/+128
* [analyzer] Taint: add system and popen as undesirable sinks for taintAnna Zaks2012-01-141-20/+77
* [analyzer] Taint: when looking up a binding, provide the type.Anna Zaks2012-01-131-1/+4
* [analyzer] Add taint transfer by strcpy & others (part 1).Anna Zaks2012-01-121-89/+100
* Remove unused variable.Rafael Espindola2012-01-071-1/+0
* [analyzer] Add basic format string vulnerability checking.Anna Zaks2012-01-071-6/+92
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-7/+9
* [analyzer] Add support for taint flowing through a function (atoi).Anna Zaks2011-12-171-43/+140