|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| ExtendedHeapModel | An extension of a heap model that returns a PointerKey to represent an array length field |
| Class Summary | |
|---|---|
| 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 | |
| ModRef.RefVisitor | |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||