proguard.analysis.cpa.jvm.witness

Class JvmStackLocation

java.lang.Object

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

proguard.analysis.cpa.jvm.witness.JvmStackLocation

public class JvmStackLocation
extends JvmMemoryLocation

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

Field Summary

Fields

Modifier and Type	Field and Description
int	index

Constructor Summary

Constructors

Constructor and Description
JvmStackLocation(int index) Create a stack location.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
<T extends AbstractState<T>> T	extractValueOrDefault(JvmAbstractState<T> jvmState, T defaultValue) Given a JVM state, extract its content in the position represented by this JvmMemoryLocation.
int	getIndex() Returns the stack index from the top.
int	hashCode()
java.lang.String	toString()

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.

Parameters:

index - a stack element index from the top

Method Detail

extractValueOrDefault

public <T extends AbstractState<T>> T extractValueOrDefault(JvmAbstractState<T> jvmState,
                                                            T defaultValue)

Description copied from class: JvmMemoryLocation

Given a JVM state, extract its content in the position represented by this JvmMemoryLocation.

Specified by:

extractValueOrDefault in class JvmMemoryLocation

Type Parameters:

T - The type of the states contained in the JVM state. e.g., for taint analysis this would be a SetAbstractState containing the taints and for value analysis a ValueAbstractState.

Parameters:

jvmState - The state from which the value is extracted.

defaultValue - The value returned if it's not possible to extract the value.

Returns:

The value from the JVM abstract state for the memory location represented by this object. Or default value if not possible.

getIndex

public int getIndex()

Returns the stack index from the top.

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class JvmMemoryLocation

hashCode

public int hashCode()

Specified by:

hashCode in class JvmMemoryLocation

toString

public java.lang.String toString()

Specified by:

toString in class JvmMemoryLocation