ΒΆbool isTainted(clang::ento::ProgramStateRef State,
const clang::ento::MemRegion* Reg,
clang::ento::taint::TaintTagType
Kind = TaintTagGeneric)
bool isTainted(clang::ento::ProgramStateRef State,
const clang::ento::MemRegion* Reg,
clang::ento::taint::TaintTagType
Kind = TaintTagGeneric)
Description
Check if the pointer represented by the region is tainted in the given state.
Declared at: clang/include/clang/StaticAnalyzer/Checkers/Taint.h:79
Parameters
- clang::ento::ProgramStateRef State
- const clang::ento::MemRegion* Reg
- clang::ento::taint::TaintTagType Kind = TaintTagGeneric