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

    Interface RunnableTaintAnalysisDefinition<Name>

    The common interface of all (runnable) taint analysis definitions, i.e. single definitions and composite definitions. A runnable definition knows its name, an optional report message, and how to create the abstract interpretation visitor that conducts the analysis.

    interface RunnableTaintAnalysisDefinition<Name extends string = string> {
        createVisitor(
            config: TaintVisitorConfiguration,
            fnCategories?: TaintFnCategory[],
        ): TaintInterpreter;
        msg?: ReportTemplate;
        name: Name;
        resultState(
            interpreter: TaintInterpreter,
        ): StateAbstractDomain<AnyAbstractDomain>;
    }

    Type Parameters

    • Name extends string = string

    Implemented by

    Index
    msg? name
    createVisitor resultState
    msg?: ReportTemplate

    The optional message reported when the analysis produces a finding.

    name: Name

    The unique name of the taint analysis.

    Settings
    Member Visibility

    On This Page
    Properties
    Methods