Package proguard.analysis.cpa.jvm.witness

Class JvmStaticFieldLocation

java.lang.Object

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

proguard.analysis.cpa.jvm.witness.JvmStaticFieldLocation

public class JvmStaticFieldLocation
extends JvmMemoryLocation

The JvmStaticFieldLocation is a memory location corresponding to a public static field.

Field Summary

Fields

Modifier and Type	Field	Description
final String	fqn

Constructor Summary

Constructors

Constructor	Description
JvmStaticFieldLocation(String fqn)	Create a static field location.

Method Summary

Modifier and Type	Method	Description
boolean	equals(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()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

fqn

public final String fqn

Constructor Details

JvmStaticFieldLocation

public JvmStaticFieldLocation(String fqn)

Create a static field location.

Parameters:

fqn - a fully qualified name

Method Details

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(Object obj)

Specified by:

equals in class JvmMemoryLocation

hashCode

public int hashCode()

Specified by:

hashCode in class JvmMemoryLocation

toString

public String toString()

Specified by:

toString in class JvmMemoryLocation