[PATCH] D74131: [analyzer][taint] Add isTainted debug expression inspection check

Balázs Benics via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Feb 7 05:36:05 PST 2020


steakhal updated this revision to Diff 243146.
steakhal added a comment.

Clarified example usage, especially in contrast of eg.: `debug.TaintTest` checker.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D74131/new/

https://reviews.llvm.org/D74131

Files:
  clang/docs/analyzer/developer-docs/DebugChecks.rst
  clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
  clang/test/Analysis/debug-exprinspection-istainted.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D74131.243146.patch
Type: text/x-patch
Size: 6721 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200207/84c8beef/attachment.bin>


More information about the cfe-commits mailing list