类 JvmMemoryLocation
- java.lang.Object
-
- proguard.analysis.cpa.jvm.witness.JvmMemoryLocation
-
public abstract class JvmMemoryLocation extends java.lang.ObjectAJvmMemoryLocationpoints at a specific location in a certain state of the Jvm. For example aJvmStackLocationwith index 0 indicates the top of the stack.
-
-
构造器概要
构造器 构造器 说明 JvmMemoryLocation()
-
方法概要
所有方法 实例方法 抽象方法 修饰符和类型 方法 说明 abstract booleanequals(java.lang.Object obj)abstract <T extends AbstractState<T>>
TextractValueOrDefault(JvmAbstractState<T> jvmState, T defaultValue)Given a JVM state, extract its content in the position represented by thisJvmMemoryLocation.abstract inthashCode()abstract java.lang.StringtoString()
-
-
-
方法详细资料
-
extractValueOrDefault
public abstract <T extends AbstractState<T>> T extractValueOrDefault(JvmAbstractState<T> jvmState, T defaultValue)
Given a JVM state, extract its content in the position represented by thisJvmMemoryLocation.- 类型参数:
T- The type of the states contained in the JVM state. e.g., for taint analysis this would be aSetAbstractStatecontaining the taints and for value analysis aValueAbstractState.- 参数:
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 abstract boolean equals(java.lang.Object obj)
- 覆盖:
equals在类中java.lang.Object
-
hashCode
public abstract int hashCode()
- 覆盖:
hashCode在类中java.lang.Object
-
toString
public abstract java.lang.String toString()
- 覆盖:
toString在类中java.lang.Object
-
-