Package pascal.taie.analysis.graph.cfg

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.