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

All Implemented Interfaces:

ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

public class JvmHeapLocation
extends JvmMemoryLocation

The JvmHeapLocation is a memory location corresponding to a dynamic memory entity at a certain program point.

Field Summary

Fields

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

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

argNode

Constructor Summary

Constructors

Constructor and Description
JvmHeapLocation(ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature> argNode, SetAbstractState<Reference> reference, java.lang.String field) Create a heap location at a specific program location.
JvmHeapLocation(SetAbstractState<Reference> reference, java.lang.String field) Create a heap location unspecific to a program location.

Method Summary

Modifier and Type	Method and Description
JvmHeapLocation	copy() Creates its copy.
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 proguard.analysis.cpa.defaults.MemoryLocation

getArgNode, getProgramLocation, setArgNode, setProgramLocation

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 unspecific to a program location.

Parameters:

reference - a reference to dynamic memory

JvmHeapLocation

public JvmHeapLocation(ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature> argNode,
                       SetAbstractState<Reference> reference,
                       java.lang.String field)

Create a heap location at a specific program location.

Parameters:

argNode - an ARG node

reference - a reference to dynamic memory

Method Detail

copy

public JvmHeapLocation copy()

Description copied from class: MemoryLocation

Creates its copy.

Specified by:

copy in class JvmMemoryLocation

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)

Overrides:

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

hashCode

public int hashCode()

Overrides:

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object