[PATCH] D72035: [analyzer][NFC] Use CallEvent checker callback in GenericTaintChecker
Balázs Benics via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Dec 31 04:06:58 PST 2019
steakhal created this revision.
steakhal added reviewers: NoQ, Szelethus, boga95.
steakhal added a project: clang.
Herald added subscribers: cfe-commits, Charusso, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun, whisperity.
steakhal added a parent revision: D71524: [analyzer] Support tainted objects in GenericTaintChecker.
Intended to be a non-functional change but it turned out **CallEvent** handles constructor calls unlike **CallExpr** which doesn't triggered for constructors.
All in all, this change shouldn't be observable since constructors are not yet propagating taintness like functions.
In the future constructors should propagate taintness as well.
This change includes:
- NFCi change all uses of the CallExpr to CallEvent
- NFC rename some functions, mark static them etc.
- NFC omit explicit TaintPropagationRule type in switches
- NFC apply some clang-tidy fixits
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D72035
Files:
clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D72035.235700.patch
Type: text/x-patch
Size: 34412 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20191231/2026d37c/attachment-0001.bin>
More information about the cfe-commits
mailing list