Package pascal.taie.analysis.graph.icfg

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