Interface | Description |
---|---|
ExtendedHeapModel |
An extension of a heap model that returns a
PointerKey to represent an array length field |
Class | Description |
---|---|
ArrayLengthKey |
A
PointerKey that represents an array length location |
DelegatingExtendedHeapModel |
An implementation of
ExtendedHeapModel based on a
normal HeapModel |
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.
|