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.

Constructor Summary

Constructors

Constructor	Description
GenReach(Graph<T> flowGraph, Map<T,Collection<L>> gen)

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

GenReach

public GenReach(Graph<T> flowGraph,
 Map<T,Collection<L>> gen)