projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60cde76) | patch
[analyzer] Move taint API from ProgramState to a separate header. NFC.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 29 Mar 2019 22:49:30 +0000 (22:49 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 29 Mar 2019 22:49:30 +0000 (22:49 +0000)
commit44551cf69380549205e386ae8b1d5518bafd44eb
tree5b2e773d0faf984ef5cbdd62a1eef7bd34b64d64tree | snapshot
parent60cde76f70f9699d592b19eb3eb1aa29122b3e89commit | diff
[analyzer] Move taint API from ProgramState to a separate header. NFC.

It is now an inter-checker communication API, similar to the one that
connects MallocChecker/CStringChecker/InnerPointerChecker: simply a set of
setters and getters for a state trait.

Differential Revision: https://reviews.llvm.org/D59861

llvm-svn: 357326
17 files changed:
clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/TaintManager.h [deleted file] blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/TaintTag.h [deleted file] blob | history
clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt diff | blob | history
clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/Taint.cpp [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Checkers/Taint.h [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/CMakeLists.txt diff | blob | history
clang/lib/StaticAnalyzer/Core/ProgramState.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/TaintManager.cpp [deleted file] blob | history
clang/test/Analysis/taint-dumps.c [new file with mode: 0644] blob
Domain: System / Toolchain;