Package com.ibm.wala.dataflow.IFDS
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 Summary
Constructors Constructor Description CallFlowEdges()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addCallEdge(int c, int d1, int d2)
Record that we've discovered a call edge-> IntSet
getCallFlowSourceNodes(int d2)
IntSet
getCallFlowSources(int c, int d2)
-
-
-
Method Detail
-
addCallEdge
public void addCallEdge(int c, int d1, int d2)
Record that we've discovered a call edge-> - Parameters:
c
- global number identifying the call site noded1
- source fact at the call edged2
- result fact (result of the call flow function)
-
getCallFlowSources
public IntSet getCallFlowSources(int c, int d2)
- Parameters:
c
-d2
-- Returns:
- set of d1 s.t.
-> was recorded as call flow, or null if none found.
-
getCallFlowSourceNodes
public IntSet getCallFlowSourceNodes(int d2)
- Parameters:
d2
-- Returns:
- set of c s.t.
-> was recorded as call flow (for some d1), or null if none found.
-
-