clang
9.0.0
|
The bug visitor prints a diagnostic message at the location where a given variable was tainted. More...
#include "/work/llvm-www-releases/9.0.0/docsbuild/llvm.src/tools/clang/lib/StaticAnalyzer/Checkers/Taint.h"
Public Member Functions | |
TaintBugVisitor (const SVal V) | |
void | Profile (llvm::FoldingSetNodeID &ID) const override |
std::shared_ptr< PathDiagnosticPiece > | VisitNode (const ExplodedNode *N, BugReporterContext &BRC, BugReport &BR) override |
The bug visitor prints a diagnostic message at the location where a given variable was tainted.
|
inline |
|
inlineoverride |
Definition at line 90 of file Taint.h.
References VisitNode().
|
override |
Definition at line 208 of file Taint.cpp.
References clang::ento::PathDiagnosticLocation::asLocation(), clang::ento::PathDiagnosticLocation::createBegin(), clang::ento::ExplodedNode::getFirstPred(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::BugReporterContext::getSourceManager(), clang::ento::ExplodedNode::getState(), clang::ento::PathDiagnosticLocation::getStmt(), clang::ento::taint::isTainted(), clang::SourceLocation::isValid(), and clang::ento::PathDiagnosticLocation::isValid().
Referenced by Profile().