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
    Description
    getTargets(int call_d, int exit_d)
     
  • Method Details

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