Uses of Package
pascal.taie.analysis.graph.icfg

Packages that use pascal.taie.analysis.graph.icfg

Package	Description
pascal.taie.analysis.dataflow.inter
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).

Classes in pascal.taie.analysis.graph.icfg used by pascal.taie.analysis.dataflow.inter

Class	Description
CallEdge	The edge connecting a call site to method entry of the callee.
CallToReturnEdge	The edge connecting a call site and its return site.
ICFG	Represents an inter-procedural control-flow graph.
ICFGEdge	Abstract class for ICFG edges.
NormalEdge	The edge connecting nodes in the same method.
ReturnEdge	The edge connecting a method exit to return site of the call site.

Classes in pascal.taie.analysis.graph.icfg used by pascal.taie.analysis.graph.icfg

Class	Description
ICFG	Represents an inter-procedural control-flow graph.
ICFGEdge	Abstract class for ICFG edges.