interface CfgInfo {
    ast: () => Promise<
        NormalizedAst<ParentInformation, RProject<ParentInformation>>,
    >;
    cfgQuick: undefined | ControlFlowInformation<CfgSimpleVertex>;
    ctx: FlowrAnalyzerContext;
    dfg: () => Promise<DataflowInformation>;
}

Properties

Properties

dfg: () => Promise<DataflowInformation>