Package com.ibm.wala.ipa.modref
-
Interface Summary Interface Description ExtendedHeapModel An extension of a heap model that returns aPointerKey
to represent an array length field -
Class Summary Class Description ArrayLengthKey APointerKey
that represents an array length locationDelegatingExtendedHeapModel An implementation ofExtendedHeapModel
based on a normalHeapModel
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.