ΒΆclang::ento::ProgramStateRef addTaint(
clang::ento::ProgramStateRef State,
const clang::ento::MemRegion* R,
clang::ento::taint::TaintTagType Kind =
TaintTagGeneric)
clang::ento::ProgramStateRef addTaint(
clang::ento::ProgramStateRef State,
const clang::ento::MemRegion* R,
clang::ento::taint::TaintTagType Kind =
TaintTagGeneric)
Description
Create a new state in which the pointer represented by the region is marked as tainted.
Declared at: clang/include/clang/StaticAnalyzer/Checkers/Taint.h:44
Parameters
- clang::ento::ProgramStateRef State
- const clang::ento::MemRegion* R
- clang::ento::taint::TaintTagType Kind = TaintTagGeneric