Package com.ibm.wala.ipa.modref

package com.ibm.wala.ipa.modref

Class	Description
ArrayLengthKey	A PointerKey that represents an array length location
DelegatingExtendedHeapModel	An implementation of ExtendedHeapModel based on a normal HeapModel
ExtendedHeapModel	An extension of a heap model that returns a PointerKey to represent an array length field
GenReach<T,L>	Generic dataflow framework to accumulate reachable gen'ned values in a graph.
ModRef<T extends InstanceKey>	Mod-ref analysis for heap locations.
ModRef.ModVisitor<T extends InstanceKey, H extends ExtendedHeapModel>
ModRef.RefVisitor<T extends InstanceKey, H extends ExtendedHeapModel>
ModRefFieldAccess	Computes interprocedural field accesses for a given method.