[PATCH] D74131: [analyzer][taint] Add isTainted debug expression inspection check
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Feb 6 15:29:34 PST 2020
xazax.hun added a comment.
Please add a test as well. Otherwise looks good.
================
Comment at: clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp:97
.Case("clang_analyzer_express", &ExprInspectionChecker::analyzerExpress)
+ .StartsWith("clang_analyzer_isTainted", &ExprInspectionChecker::analyzerIsTainted)
.Default(nullptr);
----------------
I think a comment somewhere why/when do we check only the prefix would be useful.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D74131/new/
https://reviews.llvm.org/D74131
More information about the cfe-commits
mailing list