Package com.ibm.wala.ipa.modref
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>
public class GenReach<T,L> extends BitVectorFramework<T,L>
Generic dataflow framework to accumulate reachable gen'ned values in a graph.
-
-
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
-
-