proguard.analysis.cpa.jvm.witness

Class JvmMemoryLocation

java.lang.Object

proguard.analysis.cpa.defaults.MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

Direct Known Subclasses:

JvmHeapLocation, JvmLocalVariableLocation, JvmStackLocation, JvmStaticFieldLocation

public abstract class JvmMemoryLocation
extends MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

A JvmMemoryLocation is a MemoryLocation specific to JVM.

Constructor Summary

Constructors

Constructor and Description
JvmMemoryLocation()

Method Summary

Methods inherited from class proguard.analysis.cpa.defaults.MemoryLocation

equals, extractValueOrDefault, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

JvmMemoryLocation

public JvmMemoryLocation()