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

类 JvmMemoryLocation

java.lang.Object
proguard.analysis.cpa.jvm.witness.JvmMemoryLocation
直接已知子类:
JvmLocalVariableLocation, JvmStackLocation, JvmStaticFieldLocation
public abstract class JvmMemoryLocation extends Object
A JvmMemoryLocation points at a specific location in a certain state of the Jvm. For example a JvmStackLocation with index 0 indicates the top of the stack.

  • 构造器详细资料

    • JvmMemoryLocation

      public JvmMemoryLocation()

  • 方法详细资料

    • 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 this 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 abstract boolean equals(Object obj)
      覆盖:
      equals 在类中 Object

    • hashCode

      public abstract int hashCode()
      覆盖:
      hashCode 在类中 Object

    • toString

      public abstract String toString()
      覆盖:
      toString 在类中 Object