proguard.analysis.cpa.jvm.domain.memory

Class JvmMemoryLocationAbstractState

java.lang.Object

proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationAbstractState

All Implemented Interfaces:

LatticeAbstractState<JvmMemoryLocationAbstractState>, AbstractState, ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

public class JvmMemoryLocationAbstractState
extends java.lang.Object
implements LatticeAbstractState<JvmMemoryLocationAbstractState>, ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

This AbstractState consists of a memory location with a set of sources contributed into its value.

Field Summary

Fields

Modifier and Type	Field and Description
static JvmMemoryLocationAbstractState	top

Constructor Summary

Constructors

Constructor and Description
JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation) Create a memory location abstract state.
JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation, java.util.Set<JvmMemoryLocation> sourceLocations) Create a memory location abstract state.

Method Summary

Modifier and Type	Method and Description
void	addSourceLocation(JvmMemoryLocation sourceLocation) Adds a source location to the source set.
JvmMemoryLocationAbstractState	copy() Creates a copy of itself.
boolean	equals(java.lang.Object obj)
ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature>	getArgNode()
JvmMemoryLocation	getMemoryLocation() Returns the memory location.
JvmCfaNode	getProgramLocation() Returns the program location.
java.util.Set<JvmMemoryLocation>	getSourceLocations() Returns the source set.
int	hashCode()
boolean	isLessOrEqual(JvmMemoryLocationAbstractState abstractState) Compares itself to the abstractState.
JvmMemoryLocationAbstractState	join(JvmMemoryLocationAbstractState abstractState) Computes a join over itself and the abstractState.
void	setProgramLocation(JvmCfaNode programLocation) Sets the program location.

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

getPrecision, getStateByName

Field Detail

top

public static final JvmMemoryLocationAbstractState top

Constructor Detail

JvmMemoryLocationAbstractState

public JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation)

Create a memory location abstract state.

Parameters:

memoryLocation - a wrapped memory location pointing at an AbstractState encapsulated by the traced analysis

JvmMemoryLocationAbstractState

public JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation,
                                      java.util.Set<JvmMemoryLocation> sourceLocations)

Create a memory location abstract state.

Parameters:

memoryLocation - a wrapped memory location pointing at an AbstractState encapsulated by the traced analysis

sourceLocations - source memory locations at CFA predecessors contributing into the value of the memoryLocation pointee

Method Detail

join

public JvmMemoryLocationAbstractState join(JvmMemoryLocationAbstractState abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<JvmMemoryLocationAbstractState>

isLessOrEqual

public boolean isLessOrEqual(JvmMemoryLocationAbstractState abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<JvmMemoryLocationAbstractState>

getProgramLocation

public JvmCfaNode getProgramLocation()

Description copied from interface: ProgramLocationDependent

Returns the program location.

Specified by:

getProgramLocation in interface ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

setProgramLocation

public void setProgramLocation(JvmCfaNode programLocation)

Description copied from interface: ProgramLocationDependent

Sets the program location.

Specified by:

setProgramLocation in interface ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

getArgNode

public ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature> getArgNode()

getMemoryLocation

public JvmMemoryLocation getMemoryLocation()

Returns the memory location.

addSourceLocation

public void addSourceLocation(JvmMemoryLocation sourceLocation)

Adds a source location to the source set.

getSourceLocations

public java.util.Set<JvmMemoryLocation> getSourceLocations()

Returns the source set.

copy

public JvmMemoryLocationAbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface AbstractState

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface AbstractState

Overrides:

hashCode in class java.lang.Object