Package proguard.analysis.cpa.jvm.state

package proguard.analysis.cpa.jvm.state

Related Packages

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

Classes

Class	Description
JvmAbstractState<ContentT extends AbstractState<ContentT>>	The JvmAbstractState consists of the method frame JvmFrameAbstractState and the heap JvmHeapAbstractState.
JvmFrameAbstractState<StateT extends AbstractState<StateT>>	The JvmFrameAbstractState combines the operand stack as the StackAbstractState and the local variable array as the ListAbstractState.