Interface ControlFlowInformation<Vertex>

Summarizes the control information of a program

interface ControlFlowInformation<
    Vertex extends CfgSimpleVertex = CfgSimpleVertex,
> {
    breaks: NodeId[];
    entryPoints: NodeId[];
    exitPoints: NodeId[];
    graph: ControlFlowGraph<Vertex>;
    nexts: NodeId[];
    returns: NodeId[];
    [key: string]: unknown;
}

Type Parameters

Hierarchy (View Summary)

Indexable

  • [key: string]: unknown

Hierarchy-Diagram

UML class diagram of ControlFlowInformation

Properties

breaks entryPoints exitPoints graph nexts returns

Properties

breaks

breaks: NodeId[]

all active 'break'(-like) unconditional jumps

entryPoints

entryPoints: NodeId[]

intended to construct a hammock graph, with 0 exit points representing a block that should not be part of the CFG (like a comment)

exitPoints

exitPoints: NodeId[]

See entryPoints

graph

graph: ControlFlowGraph<Vertex>

the control flow graph summarizing the flow information

nexts

nexts: NodeId[]

all active 'next'(-like) unconditional jumps

returns

returns: NodeId[]

all active 'return'(-like) unconditional jumps

Settings

Member Visibility

On This Page

Properties