Uses of Class
pascal.taie.util.graph.AbstractEdge
Package
Description
Provides the classes necessary to represent an inter-procedural
control-flow graph (ICFG).
-
Uses of AbstractEdge in pascal.taie.analysis.graph.cfg
-
Uses of AbstractEdge in pascal.taie.analysis.graph.icfg
Modifier and TypeClassDescriptionclass
CallEdge<Node>
The edge connecting a call site to method entry of the callee.class
CallToReturnEdge<Node>
The edge connecting a call site and its return site.class
ICFGEdge<Node>
Abstract class for ICFG edges.class
NormalEdge<Node>
The edge connecting nodes in the same method.class
ReturnEdge<Node>
The edge connecting a method exit to return site of the call site.