程序包 proguard.analysis.cpa.jvm.witness

类 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.

字段概要

字段

修饰符和类型	字段	说明
final String	fqn

构造器概要

构造器

构造器	说明
JvmStaticFieldLocation(String fqn)	Create a static field location.

方法概要

修饰符和类型	方法	说明
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()

从类继承的方法 java.lang.Object

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

字段详细资料

fqn

public final String fqn

构造器详细资料

JvmStaticFieldLocation

public JvmStaticFieldLocation(String fqn)

Create a static field location.

参数:

fqn - a fully qualified name

方法详细资料

extractValueOrDefault

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

从类复制的说明: JvmMemoryLocation

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

指定者:

extractValueOrDefault 在类中 JvmMemoryLocation

类型参数:

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.

参数:

jvmState - The state from which the value is extracted.

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

返回:

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)

指定者:

equals 在类中 JvmMemoryLocation

hashCode

public int hashCode()

指定者:

hashCode 在类中 JvmMemoryLocation

toString

public String toString()

指定者:

toString 在类中 JvmMemoryLocation