ΒΆ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