com.ibm.wala.dataflow.IFDS

Class CallFlowEdges

java.lang.Object

com.ibm.wala.dataflow.IFDS.CallFlowEdges

public class CallFlowEdges
extends java.lang.Object

A set of call flow edges which lead to a particular procedure entry s_p.

Constructor Summary

Constructors

Constructor and Description
CallFlowEdges()

Method Summary

Modifier and Type	Method and Description
void	addCallEdge(int c, int d1, int d2) Record that we've discovered a call edge <c,d1> -> <s_p, d2>
com.ibm.wala.util.intset.IntSet	getCallFlowSourceNodes(int d2)
com.ibm.wala.util.intset.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 Detail

CallFlowEdges

public CallFlowEdges()

Method Detail

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 com.ibm.wala.util.intset.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 com.ibm.wala.util.intset.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.