Class CallFlowEdges

java.lang.Object
com.ibm.wala.dataflow.IFDS.CallFlowEdges

public class CallFlowEdges extends Object
A set of call flow edges which lead to a particular procedure entry s_p.
  • Constructor Details

    • CallFlowEdges

      public CallFlowEdges()
  • Method Details

    • addCallEdge

      public void addCallEdge(int c, int d1, int d2)
      Record that we've discovered a call edge <c,d1> -> <s_p, d2>
      Parameters:
      c - global number identifying the call site node
      d1 - source fact at the call edge
      d2 - result fact (result of the call flow function)
    • getCallFlowSources

      public IntSet getCallFlowSources(int c, int d2)
      Returns:
      set of d1 s.t. <c, d1> -> <s_p, d2> was recorded as call flow, or null if none found.
    • getCallFlowSourceNodes

      public IntSet getCallFlowSourceNodes(int d2)
      Returns:
      set of c s.t. <c, d1> -> <s_p, d2> was recorded as call flow (for some d1), or null if none found.