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

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

Related Packages

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

Classes

Class	Description
JvmShallowHeapAbstractState<ReferenceT,StateT extends AbstractState<StateT>>	A shallow heap models objects as atomic abstract states thus having only one level of depth.