proguard.analysis.cpa.jvm.witness

Class JvmStackLocation

java.lang.Object

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

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

proguard.analysis.cpa.jvm.witness.JvmStackLocation

All Implemented Interfaces:

ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

public class JvmStackLocation
extends JvmMemoryLocation

The JvmStackLocation is a memory location at the operand stack at a certain program point. Indexing starts from the top of the stack.

Field Summary

Fields

Modifier and Type	Field and Description
int	index

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

argNode

Constructor Summary

Constructors

Constructor and Description
JvmStackLocation(ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature> argNode, int index) Create a stack location at a specific program location.
JvmStackLocation(int index) Create a stack location unspecific to a program location.

Method Summary

Modifier and Type	Method and Description
JvmStackLocation	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	getIndex() Returns the stack index from the top.
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

index

public final int index

Constructor Detail

JvmStackLocation

public JvmStackLocation(int index)

Create a stack location unspecific to a program location.

Parameters:

index - a stack element index from the top

JvmStackLocation

public JvmStackLocation(ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature> argNode,
                        int index)

Create a stack location at a specific program location.

Parameters:

argNode - an ARG node

index - a stack element index from the top

Method Detail

copy

public JvmStackLocation 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>

getIndex

public int getIndex()

Returns the stack index from the top.

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