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

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

字段概要

字段

修饰符和类型	字段	说明
final int	index

构造器概要

构造器

构造器	说明
JvmLocalVariableLocation(int index)	Create a local variable 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

字段详细资料

index

public final int index

构造器详细资料

JvmLocalVariableLocation

public JvmLocalVariableLocation(int index)

Create a local variable location.

参数:

index - a position at the local variable array

方法详细资料

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