[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