| 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.
|