Interface IPartiallyBalancedFlowFunctions<T>

All Superinterfaces:
IFlowFunctionMap<T>
All Known Implementing Classes:
SliceFunctions

public interface IPartiallyBalancedFlowFunctions<T> extends IFlowFunctionMap<T>
  • Method Details

    • 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.
      Returns:
      the flow function for a "return" edge in the supergraph from src -< dest