ΒΆclang::ento::ProgramStateRef addPartialTaint(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef ParentSym,
const clang::ento::SubRegion* SubRegion,
clang::ento::taint::TaintTagType Kind =
TaintTagGeneric)
clang::ento::ProgramStateRef addPartialTaint(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef ParentSym,
const clang::ento::SubRegion* SubRegion,
clang::ento::taint::TaintTagType Kind =
TaintTagGeneric)
Description
Create a new state in a which a sub-region of a given symbol is tainted. This might be necessary when referring to regions that can not have an individual symbol, e.g. if they are represented by the default binding of a LazyCompoundVal.
Declared at: clang/include/clang/StaticAnalyzer/Checkers/Taint.h:60
Parameters
- clang::ento::ProgramStateRef State
- clang::ento::SymbolRef ParentSym
- const clang::ento::SubRegion* SubRegion
- clang::ento::taint::TaintTagType Kind = TaintTagGeneric