proguard.analysis.cpa.jvm.witness

Class JvmHeapLocation

java.lang.Object

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

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

proguard.analysis.cpa.jvm.witness.JvmHeapLocation

public class JvmHeapLocation
extends JvmMemoryLocation

The JvmHeapLocation is a memory location corresponding to a dynamic memory entity.

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	field
SetAbstractState<Reference>	reference

Constructor Summary

Constructors

Constructor and Description
JvmHeapLocation(SetAbstractState<Reference> reference, java.lang.String field) Create a heap location.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
<T extends LatticeAbstractState> T	extractValueOrDefault(JvmAbstractState abstractState, T defaultValue) Returns an AbstractState representing value stored at the MemoryLocation in the input AbstractState.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

reference

public final SetAbstractState<Reference> reference

field

public final java.lang.String field

Constructor Detail

JvmHeapLocation

public JvmHeapLocation(SetAbstractState<Reference> reference,
                       java.lang.String field)

Create a heap location.

Parameters:

reference - a reference to dynamic memory

Method Detail

extractValueOrDefault

public <T extends LatticeAbstractState> T extractValueOrDefault(JvmAbstractState abstractState,
                                                                T defaultValue)

Description copied from class: MemoryLocation

Returns an AbstractState representing value stored at the MemoryLocation in the input AbstractState. If the AbstractState does not specify a ValueT at the MemoryLocation, the default value is returned.

Specified by:

extractValueOrDefault in class MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

hashCode

public int hashCode()

Specified by:

hashCode in class MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

toString

public java.lang.String toString()

Specified by:

toString in class MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>