Package proguard.analysis.cpa.jvm.witness

package proguard.analysis.cpa.jvm.witness

Classes

Class	Description
JvmLocalVariableLocation	The JvmLocalVariableLocation is a memory location at the local variable array.
JvmMemoryLocation	A JvmMemoryLocation points at a specific location in a certain state of the Jvm.
JvmStackLocation	The JvmStackLocation is a memory location at the operand stack.
JvmStaticFieldLocation	The JvmStaticFieldLocation is a memory location corresponding to a public static field.