Interface IBinaryReturnFlowFunction
- All Superinterfaces:
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
-
Method Details
-
getTargets
- 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 (<call_d, exit_d>, ret_d) is an edge in this distributive function's graph representation, or null if there are none
-