Package com.ibm.wala.ipa.modref
-
Interface Summary Interface Description ExtendedHeapModel An extension of a heap model that returns aPointerKeyto represent an array length field -
Class Summary Class Description ArrayLengthKey APointerKeythat represents an array length locationDelegatingExtendedHeapModel An implementation ofExtendedHeapModelbased on a normalHeapModelGenReach<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.