Package com.ibm.wala.ipa.modref
package com.ibm.wala.ipa.modref
-
ClassDescriptionA
PointerKey
that represents an array length locationAn implementation ofExtendedHeapModel
based on a normalHeapModel
An extension of a heap model that returns aPointerKey
to represent an array length fieldGenReach<T,L> Generic dataflow framework to accumulate reachable gen'ned values in a graph.ModRef<T extends InstanceKey>Mod-ref analysis for heap locations.Computes interprocedural field accesses for a given method.