com.ibm.wala.dataflow.IFDS

Interface IBinaryReturnFlowFunction

All Superinterfaces:

IFlowFunction

public interface IBinaryReturnFlowFunction
extends IFlowFunction

A binary flow function corresponding to a return statements combining information from the call site and the exit site.

This function should be pairwise distributive for use with the Tabulation algorithm.

SJF: I have made this extend IFlowFunction to minimize damage to the extant class hierarchy. But calling super.getTargets() will be a problem, so be very careful in how you implement and use this. The Tabulation solver will do the right thing.

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.util.intset.SparseIntSet	getTargets(int call_d, int exit_d)

Method Detail

getTargets

com.ibm.wala.util.intset.SparseIntSet getTargets(int call_d,
                                                 int exit_d)

Parameters:

call_d - factoid of the caller at the call site

exit_d - factoid of the callee at the exit site

Returns:

set of ret_d such that (<call_d, exit_d>, ret_d) is an edge in this distributive function's graph representation, or null if there are none