Class DataflowAwareCfgGuidedVisitor<ControlFlow, Dfg, Config>

This visitor extends on the BasicCfgGuidedVisitor by dispatching visitors based on the dataflow graph.

Use BasicCfgGuidedVisitor#start to start the traversal.

Type Parameters

ControlFlow extends ControlFlowInformation = ControlFlowInformation
Dfg extends DataflowGraph = DataflowGraph
Config extends DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg> = DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg>

Hierarchy (View Summary)

BasicCfgGuidedVisitor<ControlFlow, Config>
- DataflowAwareCfgGuidedVisitor
  - SemanticCfgGuidedVisitor

Hierarchy-Diagram

UML class diagram of DataflowAwareCfgGuidedVisitor

Constructors

constructor

new DataflowAwareCfgGuidedVisitor<
    ControlFlow extends
        ControlFlowInformation<CfgVertex> = ControlFlowInformation<CfgVertex>,
    Dfg extends
        DataflowGraph<DataflowGraphVertexInfo, DfEdge> = DataflowGraph<
        DataflowGraphVertexInfo,
        DfEdge,
    >,
    Config extends
        DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg> = DataflowCfgGuidedVisitorConfiguration<
        ControlFlow,
        Dfg,
    >,
>(
    config: Config,
): DataflowAwareCfgGuidedVisitor<ControlFlow, Dfg, Config>
Type Parameters
- ControlFlow extends ControlFlowInformation<CfgVertex> = ControlFlowInformation<CfgVertex>
- Dfg extends DataflowGraph<DataflowGraphVertexInfo, DfEdge> = DataflowGraph<DataflowGraphVertexInfo, DfEdge>
- Config extends DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg> = DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg>
Parameters
- config: Config
Returns DataflowAwareCfgGuidedVisitor<ControlFlow, Dfg, Config>
Inherited from BasicCfgGuidedVisitor.constructor
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:33

Properties

`Protected` `Readonly`config

config: Config

`Protected` `Readonly`visited

visited: Map<NodeId, number>

Methods

`Protected`getCfgVertex

getCfgVertex(id: NodeId): CfgVertex | undefined
Get the control flow vertex for the given node id or fail if it does not exist.
Parameters
- id: NodeId
Returns CfgVertex | undefined
Inherited from BasicCfgGuidedVisitor.getCfgVertex
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:82

`Protected`getDataflowGraph

getDataflowGraph(id: NodeId): DataflowGraphVertexArgument | undefined
Get the dataflow graph vertex for the given id
Parameters
- id: NodeId
Returns DataflowGraphVertexArgument | undefined
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:41

start

start(): void
Start the visiting process.

Returns void
Inherited from BasicCfgGuidedVisitor.start
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:75

`Protected`startVisitor

startVisitor(start: readonly NodeId[]): void
Parameters
- start: readonly NodeId[]
Returns void
Inherited from BasicCfgGuidedVisitor.startVisitor
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:51

`Protected`visitDataflowNode

visitDataflowNode(
node: CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex,
): void
Parameters
- node: CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:70

`Protected`visitFunctionCall

visitFunctionCall(_call: DataflowGraphVertexFunctionCall): void
Parameters
- _call: DataflowGraphVertexFunctionCall
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:117

`Protected`visitFunctionDefinition

visitFunctionDefinition(_def: DataflowGraphVertexFunctionDefinition): void
Parameters
- _def: DataflowGraphVertexFunctionDefinition
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:114

`Protected`visitNode

visitNode(node: NodeId): boolean
call this function to indicate that a node is to be considered visited.
Parameters
- node: NodeId
Returns boolean
true if the node was not visited before, false otherwise
Inherited from BasicCfgGuidedVisitor.visitNode
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:42

`Protected`visitUnknown

visitUnknown(
_vertex: CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex,
): void
called for every cfg vertex that has no corresponding dataflow vertex.
Parameters
- _vertex: CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:102

`Protected`visitValue

visitValue(_val: DataflowGraphVertexValue): void
Parameters
- _val: DataflowGraphVertexValue
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:105

`Protected`visitVariableDefinition

visitVariableDefinition(_def: DataflowGraphVertexVariableDefinition): void
Parameters
- _def: DataflowGraphVertexVariableDefinition
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:111

`Protected`visitVariableUse

visitVariableUse(_use: DataflowGraphVertexUse): void
Parameters
- _use: DataflowGraphVertexUse
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:108

Class DataflowAwareCfgGuidedVisitor<ControlFlow, Dfg, Config>

Type Parameters

Hierarchy (View Summary)

Hierarchy-Diagram

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Parameters

Returns DataflowAwareCfgGuidedVisitor<ControlFlow, Dfg, Config>

Properties

Protected Readonlyconfig

Protected Readonlyvisited

Methods

ProtectedgetCfgVertex

Parameters

Returns CfgVertex | undefined

ProtectedgetDataflowGraph

Parameters

Returns DataflowGraphVertexArgument | undefined

ProtectedonBasicBlockNode

Parameters

Returns void

ProtectedonEndMarkerNode

Parameters

Returns void

ProtectedonExpressionNode

Parameters

Returns void

ProtectedonStatementNode

Parameters

Returns void

ProtectedonVisitNode

Parameters

Returns void

start

Returns void

ProtectedstartVisitor

Parameters

Returns void

ProtectedvisitDataflowNode

Parameters

Returns void

ProtectedvisitFunctionCall

Parameters

Returns void

ProtectedvisitFunctionDefinition

Parameters

Returns void

ProtectedvisitNode

Parameters

Returns boolean

ProtectedvisitUnknown

Parameters

Returns void

ProtectedvisitValue

Parameters

Returns void

ProtectedvisitVariableDefinition

Parameters

Returns void

ProtectedvisitVariableUse

Parameters

Returns void

Settings

On This Page

`Protected` `Readonly`config

`Protected` `Readonly`visited

`Protected`getCfgVertex

`Protected`getDataflowGraph

`Protected`onBasicBlockNode

`Protected`onEndMarkerNode

`Protected`onExpressionNode

`Protected`onStatementNode

`Protected`onVisitNode

`Protected`startVisitor

`Protected`visitDataflowNode

`Protected`visitFunctionCall

`Protected`visitFunctionDefinition

`Protected`visitNode

`Protected`visitUnknown

`Protected`visitValue

`Protected`visitVariableDefinition

`Protected`visitVariableUse