| Class | Description |
|---|---|
| HeapNode<StateT extends LatticeAbstractState<StateT>> |
The heap node represents an object or an array in the heap.
|
| JvmShallowHeapAbstractState<ReferenceT,StateT extends LatticeAbstractState<StateT>> |
A shallow heap models objects as atomic abstract states thus having only one level of depth.
|
| JvmTreeHeapAbstractState<StateT extends LatticeAbstractState<StateT>> |
The tree heap model represents the memory as a map from references to objects or arrays (
HeapNodes) which may refer other heap nodes in their fields. |
| JvmTreeHeapFollowerAbstractState<StateT extends LatticeAbstractState<StateT>> |
This is a heap model for analyses that need to track the actual content of heap objects.
|
| JvmTreeHeapPrincipalAbstractState |
This is a self-sufficient heap model in the sense that it contains references necessary for
addressing.
|