25class TaintTesterChecker :
public Checker<check::PostStmt<Expr>> {
26 const BugType BT{
this,
"Tainted data",
"General"};
33void TaintTesterChecker::checkPostStmt(
const Expr *
E,
41 auto report = std::make_unique<PathSensitiveBugReport>(BT,
"tainted", N);
43 C.emitReport(std::move(report));
52bool ento::shouldRegisterTaintTesterChecker(
const CheckerManager &mgr) {
This represents one expression.
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
CHECKER * registerChecker(AT &&... Args)
Used to register checkers.
bool isTainted(ProgramStateRef State, const Stmt *S, const LocationContext *LCtx, TaintTagType Kind=TaintTagGeneric)
Check if the statement has a tainted value in the given state.
The JSON file list parser is used to communicate input to InstallAPI.