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

Modifier and Type	Method	Description
void	addCallEdge(int c, int d1, int d2)	Record that we've discovered a call edge <c,d1> -> <s_p, d2>
IntSet	getCallFlowSourceNodes(int d2)
IntSet	getCallFlowSources(int c, int d2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.