- 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.