ΒΆbool isTainted(clang::ento::ProgramStateRef State,
               const clang::Stmt* S,
               const clang::LocationContext* LCtx,
               clang::ento::taint::TaintTagType
                   Kind = TaintTagGeneric)

Description

Check if the statement has a tainted value in the given state.

Declared at: clang/include/clang/StaticAnalyzer/Checkers/Taint.h:65

Parameters

clang::ento::ProgramStateRef State
const clang::Stmt* S
const clang::LocationContext* LCtx
clang::ento::taint::TaintTagType Kind = TaintTagGeneric