@eagleoutice/flowr - v2.17.4
    Preparing search index...

    Interface RunnableTaintAnalysis<Defs>

    Builder stage of a taint analysis, before any analysis definition has been added. RunnableTaintAnalysis.run only becomes available once add, addComposite, or addPredefined has been called.

    interface RunnableTaintAnalysis<Defs extends readonly string[]> {
        add<Name extends string>(
            ...defs: TaintAnalysisDefinition<
                Name,
                AnyAbstractDomain,
                AbsintVisitorConfiguration,
            >[],
        ): RunnableTaintAnalysis<readonly [Defs, Name]>;
        addComposite<Name extends string>(
            ...defs: CompositeTaintAnalysisDefinition<Name>[],
        ): RunnableTaintAnalysis<readonly [Defs, Name]>;
        addPredefined<
            Name extends
                | "normalization-constant"
                | "normalization-reach"
                | "security"
                | "randomness"
                | "determinism"
                | "secret",
        >(
            ...names: Name[],
        ): RunnableTaintAnalysis<readonly [Defs, Name]>;
        on(
            category: TaintFnCategory,
            handler?: TaintConditionFunction<AnyAbstractDomain>,
        ): this;
        run(
            analyzer?: ReadonlyFlowrAnalysisProvider<KnownParser>,
        ): Promise<Map<Defs[number], TaintInferenceResult>>;
        withHook(fnCallHook: FnCallHook): this;
    }

    Type Parameters

    • Defs extends readonly string[]

    Hierarchy (View Summary)

    Implemented by

    Index
    add addComposite addPredefined on run withHook

    Settings
    Member Visibility

    On This Page
    Methods