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

package proguard.analysis.cpa.jvm.state.heap

Related Packages

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

Class	Description
HeapModel	An enumeration of supported heap models.
JvmForgetfulHeapAbstractState<StateT extends AbstractState<StateT>>	This is a forgetful stub heap implementation.
JvmHeapAbstractState<StateT extends AbstractState<StateT>>	The JvmHeapAbstractState provides the interfaces for heap operations over objects and arrays.