diff options
| author | Anna Zaks <ganna@apple.com> | 2011-11-16 19:58:10 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-11-16 19:58:10 +0000 |
| commit | ceac1d6e0521161adf7ac9834b1a7ad79d73fea4 (patch) | |
| tree | fb413a2f5a4347d695c27e6362f20d7cf23f5eea /lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp | |
| parent | 57e156a7ed2ce9083f77dde7a4b757ccc9cf8e50 (diff) | |
[analyzer] Adding basic building blocks for taint propagation.
TaintTag.h will contain definitions of different taint kinds and their properties.
TaintManager will be responsible for implementing taint specific operations, storing taint.
ProgramState will provide API to add/remove taint.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@144824 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp')
0 files changed, 0 insertions, 0 deletions