summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-291-6/+17
* [analyzer] Use the new infrastructure of expressing taint propagation, NFCKristof Umann2019-03-081-126/+58
* [analyzer] Fix taint propagation in GenericTaintCheckerKristof Umann2019-03-051-1/+1
* [analyzer] NFC: GenericTaintChecker: Revise rule specification mechanisms.Artem Dergachev2019-01-301-112/+103
* [analyzer] Supply all checkers with a shouldRegister functionKristof Umann2019-01-261-0/+4
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [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
OpenPOWER on IntegriCloud