Variable predefinedTaintAnalyses`Const`

predefinedTaintAnalyses: {
    determinism: CompositeTaintAnalysisDefinition<"determinism">;
    "normalization-constant": TaintAnalysisDefinition<
        "normalization-constant",
        FiniteDomain<
            typeof Top,
            typeof Bottom,
            [
                typeof Top,
                typeof Bottom,
                typeof MinMax,
                typeof ZeroCentered,
                typeof UnitVariance,
                typeof ZScore,
            ],
        >,
        AbsintVisitorConfiguration,
    >;
    "normalization-reach": TaintAnalysisDefinition<
        "normalization-reach",
        FiniteDomain<
            typeof Top,
            typeof Bottom,
            [
                typeof Top,
                typeof Bottom,
                typeof MinMax,
                typeof ZeroCentered,
                typeof UnitVariance,
                typeof ZScore,
            ],
        >,
        AbsintVisitorConfiguration,
    >;
    randomness: TaintAnalysisDefinition<
        "randomness",
        FiniteDomain<
            typeof Top,
            typeof Bottom,
            [typeof Top, typeof Bottom, typeof Random, typeof Deterministic],
        >,
        AbsintVisitorConfiguration,
    >;
    secret: TaintAnalysisDefinition<
        "secret",
        FiniteDomain<
            typeof Top,
            typeof Bottom,
            [
                typeof Top,
                typeof Bottom,
                typeof Credential,
                typeof Secret,
                typeof FileContent,
                typeof Response,
            ],
        >,
        AbsintVisitorConfiguration,
    >;
    security: TaintAnalysisDefinition<
        "security",
        FiniteDomain<
            typeof Top,
            typeof Bottom,
            [
                typeof Top,
                typeof Bottom,
                typeof UserInput,
                typeof NetworkInput,
                typeof FileInput,
            ],
        >,
        AbsintVisitorConfiguration,
    >;
} = ...

Type Declaration

Readonlydeterminism: CompositeTaintAnalysisDefinition<"determinism">
Readonlynormalization-constant: TaintAnalysisDefinition<
    "normalization-constant",
    FiniteDomain<
        typeof Top,
        typeof Bottom,
        [
            typeof Top,
            typeof Bottom,
            typeof MinMax,
            typeof ZeroCentered,
            typeof UnitVariance,
            typeof ZScore,
        ],
    >,
    AbsintVisitorConfiguration,
>
Readonlynormalization-reach: TaintAnalysisDefinition<
    "normalization-reach",
    FiniteDomain<
        typeof Top,
        typeof Bottom,
        [
            typeof Top,
            typeof Bottom,
            typeof MinMax,
            typeof ZeroCentered,
            typeof UnitVariance,
            typeof ZScore,
        ],
    >,
    AbsintVisitorConfiguration,
>
Readonlyrandomness: TaintAnalysisDefinition<
    "randomness",
    FiniteDomain<
        typeof Top,
        typeof Bottom,
        [typeof Top, typeof Bottom, typeof Random, typeof Deterministic],
    >,
    AbsintVisitorConfiguration,
>
Readonlysecret: TaintAnalysisDefinition<
    "secret",
    FiniteDomain<
        typeof Top,
        typeof Bottom,
        [
            typeof Top,
            typeof Bottom,
            typeof Credential,
            typeof Secret,
            typeof FileContent,
            typeof Response,
        ],
    >,
    AbsintVisitorConfiguration,
>
Readonlysecurity: TaintAnalysisDefinition<
    "security",
    FiniteDomain<
        typeof Top,
        typeof Bottom,
        [
            typeof Top,
            typeof Bottom,
            typeof UserInput,
            typeof NetworkInput,
            typeof FileInput,
        ],
    >,
    AbsintVisitorConfiguration,
>

Variable predefinedTaintAnalyses`Const`

Type Declaration

`Readonly`determinism: CompositeTaintAnalysisDefinition<"determinism">

`Readonly`randomness: TaintAnalysisDefinition<
    "randomness",
    FiniteDomain<
        typeof Top,
        typeof Bottom,
        [typeof Top, typeof Bottom, typeof Random, typeof Deterministic],
    >,
    AbsintVisitorConfiguration,
>

Settings

Variable predefinedTaintAnalysesConst

Type Declaration

Readonlydeterminism: CompositeTaintAnalysisDefinition<"determinism">

Readonlynormalization-constant: TaintAnalysisDefinition< "normalization-constant", FiniteDomain< typeof Top, typeof Bottom, [ typeof Top, typeof Bottom, typeof MinMax, typeof ZeroCentered, typeof UnitVariance, typeof ZScore, ], >, AbsintVisitorConfiguration,>

Readonlynormalization-reach: TaintAnalysisDefinition< "normalization-reach", FiniteDomain< typeof Top, typeof Bottom, [ typeof Top, typeof Bottom, typeof MinMax, typeof ZeroCentered, typeof UnitVariance, typeof ZScore, ], >, AbsintVisitorConfiguration,>

Readonlyrandomness: TaintAnalysisDefinition< "randomness", FiniteDomain< typeof Top, typeof Bottom, [typeof Top, typeof Bottom, typeof Random, typeof Deterministic], >, AbsintVisitorConfiguration,>

Readonlysecret: TaintAnalysisDefinition< "secret", FiniteDomain< typeof Top, typeof Bottom, [ typeof Top, typeof Bottom, typeof Credential, typeof Secret, typeof FileContent, typeof Response, ], >, AbsintVisitorConfiguration,>

Readonlysecurity: TaintAnalysisDefinition< "security", FiniteDomain< typeof Top, typeof Bottom, [ typeof Top, typeof Bottom, typeof UserInput, typeof NetworkInput, typeof FileInput, ], >, AbsintVisitorConfiguration,>

Settings

Variable predefinedTaintAnalyses`Const`

`Readonly`determinism: CompositeTaintAnalysisDefinition<"determinism">

`Readonly`normalization-constant: TaintAnalysisDefinition<
"normalization-constant",
FiniteDomain<
typeof Top,
typeof Bottom,
[
typeof Top,
typeof Bottom,
typeof MinMax,
typeof ZeroCentered,
typeof UnitVariance,
typeof ZScore,
],
>,
AbsintVisitorConfiguration,
>

`Readonly`normalization-reach: TaintAnalysisDefinition<
"normalization-reach",
FiniteDomain<
typeof Top,
typeof Bottom,
[
typeof Top,
typeof Bottom,
typeof MinMax,
typeof ZeroCentered,
typeof UnitVariance,
typeof ZScore,
],
>,
AbsintVisitorConfiguration,
>

`Readonly`randomness: TaintAnalysisDefinition<
"randomness",
FiniteDomain<
typeof Top,
typeof Bottom,
[typeof Top, typeof Bottom, typeof Random, typeof Deterministic],
>,
AbsintVisitorConfiguration,
>

`Readonly`secret: TaintAnalysisDefinition<
"secret",
FiniteDomain<
typeof Top,
typeof Bottom,
[
typeof Top,
typeof Bottom,
typeof Credential,
typeof Secret,
typeof FileContent,
typeof Response,
],
>,
AbsintVisitorConfiguration,
>

`Readonly`security: TaintAnalysisDefinition<
"security",
FiniteDomain<
typeof Top,
typeof Bottom,
[
typeof Top,
typeof Bottom,
typeof UserInput,
typeof NetworkInput,
typeof FileInput,
],
>,
AbsintVisitorConfiguration,
>