Package com.ibm.wala.dataflow.graph

This package provides a Killdall-style dataflow layer for a system of equations induced over a graph.

See:
Description

Interface Summary

IKilldallFramework<T>	A dataflow framework in the style of Kildall, POPL 73 This represents a dataflow problem induced over a graph.
ITransferFunctionProvider<T>	The DataflowSolver builds system over graphs, with dataflow transfer functions on the nodes, the edges or both.

Class Summary

AbstractMeetOperator
BasicFramework<T>	a basic implementation of the dataflow framework
BitVectorFilter	Operator OUT = IN - filterSet
BitVectorFramework<T,L>	a basic implementation of the dataflow framework
BitVectorIdentity	Operator OUT = IN
BitVectorKillGen	Operator OUT = (IN - kill) U gen
BitVectorMinusVector	Operator OUT = IN / v
BitVectorOr	Operator OUT = IN U v
BitVectorSolver<T>
BitVectorUnion	Operator U(n) = U(n) U U(j)
BitVectorUnionConstant	Operator OUT = IN U c
BitVectorUnionVector	Operator lhs = lhs U rhs U v
BooleanIdentity	Operator OUT = IN
BooleanSolver<T>
BooleanUnion	Operator U(n) = U(n) U U(j)
DataflowSolver<T>	Iterative solver for a killdall dataflow framework
UnaryBitVectorUnion	Operator U(n) = U(n) U U(j)

Package com.ibm.wala.dataflow.graph Description

This package provides a Killdall-style dataflow layer for a system of equations induced over a graph.