Interface AbsintVisitorConfiguration<Domain>

interface AbsintVisitorConfiguration<Domain extends AnyAbstractDomain> {
    controlFlow: ControlFlowInformation;
    ctx: ReadOnlyFlowrAnalyzerContext;
    dfg: DataflowGraph;
    domain: StateAbstractDomain<Domain>;
    normalizedAst: NormalizedAst;
}

Type Parameters

Domain extends AnyAbstractDomain

Hierarchy

Omit<
    SemanticCfgGuidedVisitorConfiguration<
        NoInfo,
        ControlFlowInformation,
        NormalizedAst,
    >,
    "defaultVisitingOrder"
    | "defaultVisitingType",
>
- AbsintVisitorConfiguration

Hierarchy-Diagram

UML class diagram of AbsintVisitorConfiguration

Index

Properties

controlFlow ctx dfg domain normalizedAst

Properties

`Readonly`controlFlow

controlFlow: ControlFlowInformation

`Readonly`ctx

ctx: ReadOnlyFlowrAnalyzerContext

`Readonly`dfg

dfg: DataflowGraph

`Readonly`domain

domain: StateAbstractDomain<Domain>

`Readonly`normalizedAst

normalizedAst: NormalizedAst