Interface IPartiallyBalancedFlowFunctions<T>

    • Method Detail

      • getUnbalancedReturnFlowFunction

        IFlowFunction getUnbalancedReturnFlowFunction​(T src,
                                                      T dest)
        This version should work when the "call" instruction was never reached normally. This applies only when using partially balanced parentheses.
        Parameters:
        src -
        dest -
        Returns:
        the flow function for a "return" edge in the supergraph from src->dest