Interface IKilldallFramework<T,V extends IVariable<V>>

Type Parameters:
T - type of nodes in the graph
All Known Implementing Classes:
BasicFramework, BitVectorFramework, GenReach, NullPointerFrameWork
public interface IKilldallFramework<T,V extends IVariable<V>>
A dataflow framework in the style of Kildall, POPL 73 This represents a dataflow problem induced over a graph.

  • Method Details

    • getFlowGraph

      Graph<T> getFlowGraph()
      Returns:
      the flow graph which induces this dataflow problem

    • getTransferFunctionProvider

      ITransferFunctionProvider<T,V> getTransferFunctionProvider()
      Returns:
      an object which provides the flow function for each node in the graph