Interface TaintComponent<Domain>

A single component of a taint analysis, i.e. one of the combined taint analyses. It bundles the analysis name (used as the product key), its (value) abstract domain, and its function mapper. Note that TaintAnalysisDefinition structurally conforms to this interface.

interface TaintComponent<Domain extends AnyAbstractDomain = AnyAbstractDomain> {
    domain: Domain;
    mapper: TaintMapper<Domain>;
    name: string;
}

Type Parameters

Domain extends AnyAbstractDomain = AnyAbstractDomain
The (value) abstract domain of the component analysis

Index

Properties

domain mapper name

Properties

`Readonly`domain

domain: Domain

The (value) abstract domain (taint lattice) of the component analysis.

`Readonly`mapper

mapper: TaintMapper<Domain>

The function mapper relating function names to the tainting behavior of the component analysis.

`Readonly`name

name: string

The unique name of the component analysis, used as the key within the TaintProduct.

Interface TaintComponent<Domain>

Type Parameters

Index

Properties

Properties

`Readonly`domain

`Readonly`mapper

`Readonly`name

Settings

On This Page

Interface TaintComponent<Domain>

Type Parameters

Index

Properties

Properties

Readonlydomain

Readonlymapper

Readonlyname

Settings

On This Page

`Readonly`domain

`Readonly`mapper

`Readonly`name