Package com.ibm.wala.ipa.modref

Interface Summary

ExtendedHeapModel

An extension of a heap model that returns a PointerKey to represent an array length field

Class Summary

ArrayLengthKey	A "PointerKey" that represents an array length location
DelegatingExtendedHeapModel	An implementation of ExtendedHeapModel based on a normal HeapModel
ModRef	Mod-ref analysis for heap locations.
ModRef.ModVisitor
ModRef.RefVisitor