Class GenReach<T,L>
java.lang.Object
com.ibm.wala.dataflow.graph.BasicFramework<T,BitVectorVariable>
com.ibm.wala.dataflow.graph.BitVectorFramework<T,L>
com.ibm.wala.ipa.modref.GenReach<T,L>
- All Implemented Interfaces:
IKilldallFramework<T,
BitVectorVariable>
Generic dataflow framework to accumulate reachable gen'ned values in a graph.
-
Constructor Summary
-
Method Summary
Methods inherited from class com.ibm.wala.dataflow.graph.BitVectorFramework
getLatticeValues
Methods inherited from class com.ibm.wala.dataflow.graph.BasicFramework
getFlowGraph, getTransferFunctionProvider
-
Constructor Details
-
GenReach
-