Interface IPartiallyBalancedFlowFunctions<T>
- All Superinterfaces:
IFlowFunctionMap<T>
- All Known Implementing Classes:
SliceFunctions
Flow functions for a
PartiallyBalancedTabulationProblem
-
Method Summary
Modifier and TypeMethodDescriptiongetUnbalancedReturnFlowFunction
(T src, T dest) This version should work when the "call" instruction was never reached normally.Methods inherited from interface com.ibm.wala.dataflow.IFDS.IFlowFunctionMap
getCallFlowFunction, getCallNoneToReturnFlowFunction, getCallToReturnFlowFunction, getNormalFlowFunction, getReturnFlowFunction
-
Method Details
-
getUnbalancedReturnFlowFunction
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
-