clang
9.0.0
|
#include "Taint.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
Go to the source code of this file.
Functions | |
REGISTER_MAP_FACTORY_WITH_PROGRAMSTATE (TaintedSubRegions, const SubRegion *, TaintTagType) void taint | |
void | dumpTaint (ProgramStateRef State) |
void dumpTaint | ( | ProgramStateRef | State | ) |
Definition at line 40 of file Taint.cpp.
References clang::ento::taint::addTaint(), clang::ento::taint::printTaint(), and State.