Class HeapReachingDefs<T extends InstanceKey>

java.lang.Object
com.ibm.wala.ipa.slicer.HeapReachingDefs<T>

public class HeapReachingDefs<T extends InstanceKey> extends Object
Computation of reaching definitions for heap locations, relying on pointer analysis