pascal.taie.analysis.graph.cfg (Tai-e 0.2.2 API)

package pascal.taie.analysis.graph.cfg

Class

Description

CFG<N>

Representation of a control-flow graph of a method.

CFGBuilder

CFGDumper

CFGEdge<N>

Represents CFG edges.

CFGEdge.Kind

CFGNodeIndexer<Node>

Indexer for nodes in a CFG.