Package proguard.analysis.cpa.jvm.state.heap.tree

Class Summary

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.