Interface TaintInferenceResult

Result of running a taint analysis, containing the final abstract domain state and any findings.

interface TaintInferenceResult {
    domains: StateAbstractDomain<AnyAbstractDomain>;
    findings: TaintFinding[];
    msg?: string;
}

Index

Properties

domains findings msg?

Properties

domains

domains: StateAbstractDomain<AnyAbstractDomain>

The final abstract domain state after running the taint analysis visitor

findings

findings: TaintFinding[]

The findings produced by the analysis, i.e. one per AST node whose inferred taint reached Bottom

`Optional`msg

msg?: string

The message describing the findings