Package proguard.analysis.cpa.jvm.witness

Class Summary

Class	Description
JvmHeapLocation	The JvmHeapLocation is a memory location corresponding to a dynamic memory entity.
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.