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