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

Class Summary

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