| 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 |
Mod-ref analysis for heap locations.
|
| ModRef.ModVisitor<H extends ExtendedHeapModel> | |
| ModRef.RefVisitor<H extends ExtendedHeapModel> | |
| ModRefFieldAccess |
Computes interprocedural field accesses for a given method.
|
Copyright © 2015. All rights reserved.