clang
10.0.0git
|
The bug visitor prints a diagnostic message at the location where a given variable was tainted. More...
#include "/work/www-prereleases/10.0.0/rc2/docsbuild/clang/lib/StaticAnalyzer/Checkers/Taint.h"
Public Member Functions | |
TaintBugVisitor (const SVal V) | |
void | Profile (llvm::FoldingSetNodeID &ID) const override |
PathDiagnosticPieceRef | VisitNode (const ExplodedNode *N, BugReporterContext &BRC, PathSensitiveBugReport &BR) override |
The bug visitor prints a diagnostic message at the location where a given variable was tainted.
|
inline |
|
inlineoverride |
Definition at line 95 of file Taint.h.
References VisitNode().
|
override |
Definition at line 232 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::ExplodedNode::getStmtForDiagnostics(), clang::ento::taint::isTainted(), clang::SourceLocation::isValid(), and clang::ento::PathDiagnosticLocation::isValid().
Referenced by Profile().