Class CallFlowEdges
java.lang.Object
com.ibm.wala.dataflow.IFDS.CallFlowEdges
A set of call flow edges which lead to a particular procedure entry s_p.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
addCallEdge
(int c, int d1, int d2) Record that we've discovered a call edge <c,d1> -> <s_p, d2>getCallFlowSourceNodes
(int d2) getCallFlowSources
(int c, int d2)
-
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 noded1
- source fact at the call edged2
- result fact (result of the call flow function)
-
getCallFlowSources
- Returns:
- set of d1 s.t. <c, d1> -> <s_p, d2> was recorded as call flow, or null if none found.
-
getCallFlowSourceNodes
- Returns:
- set of c s.t. <c, d1> -> <s_p, d2> was recorded as call flow (for some d1), or null if none found.
-