projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef97252) | patch
[analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize.
authorHenry Wong <movietravelcode@outlook.com>
Wed, 2 May 2018 12:11:22 +0000 (12:11 +0000)
committerHenry Wong <movietravelcode@outlook.com>
Wed, 2 May 2018 12:11:22 +0000 (12:11 +0000)
commite14e591c937e05f2906ef4d055bf5e2fba026348
tree24371e2944adc8ff2fe0f337e7ae470f2a00abe6tree | snapshot
parentef97252a2cda8d09914ddcc7a8008356095a11a5commit | diff
[analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize.

Summary: Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero, VLASize to be able to indicate where the taint information originated from.

Reviewers: NoQ, george.karpenkov, xazax.hun, a.sidorin

Reviewed By: NoQ

Subscribers: szepet, rnkovacs, cfe-commits, MTC

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

llvm-svn: 331345
clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp diff | blob | history
clang/test/Analysis/taint-diagnostic-visitor.c diff | blob | history
Domain: System / Toolchain;