Package 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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description 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 siteexit_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
-
-