com.ibm.wala.dataflow.IFDS
Interface IBinaryReturnFlowFunction

All Superinterfaces:

IFlowFunction

public interface IBinaryReturnFlowFunction
extends IFlowFunction

A binary flow function corresponding to a return statments 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

SparseIntSet

getTargets(int call_d, int exit_d)

Method Detail

getTargets

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 (, ret_d) is an edge in this distributive function's graph representation, or null if there are none