proguard.analysis.cpa.jvm.witness

Class JvmLocalVariableLocation

java.lang.Object

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

proguard.analysis.cpa.jvm.witness.JvmLocalVariableLocation

public class JvmLocalVariableLocation
extends JvmMemoryLocation

The JvmLocalVariableLocation is a memory location at the local variable array.

Field Summary

Fields

Modifier and Type	Field and Description
int	index

Constructor Summary

Constructors

Constructor and Description
JvmLocalVariableLocation(int index) Create a local variable 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	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

JvmLocalVariableLocation

public JvmLocalVariableLocation(int index)

Create a local variable location.

Parameters:

index - a position at the local variable array

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.

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