¶clang::ento::ProgramStateRef addTaint(
    clang::ento::ProgramStateRef State,
    const clang::Stmt* S,
    const clang::LocationContext* LCtx,
    clang::ento::taint::TaintTagType Kind =
        TaintTagGeneric)

Description

Create a new state in which the value of the statement is marked as tainted.

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

Parameters

clang::ento::ProgramStateRef State

const clang::Stmt* S

const clang::LocationContext* LCtx

clang::ento::taint::TaintTagType Kind = TaintTagGeneric