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

类 JvmStackLocation

java.lang.Object
proguard.analysis.cpa.jvm.witness.JvmMemoryLocation
proguard.analysis.cpa.jvm.witness.JvmStackLocation
public class JvmStackLocation extends JvmMemoryLocation
The JvmStackLocation is a memory location at the operand stack. Indexing starts from the top of the stack.

  • 字段详细资料

    • index

      public final int index

  • 构造器详细资料

    • JvmStackLocation

      public JvmStackLocation(int index)
      Create a stack location.
      参数:
      index - a stack element index from the top

  • 方法详细资料

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

    • getIndex

      public int getIndex()
      Returns the stack index from the top.

    • equals

      public boolean equals(Object obj)
      指定者:
      equals 在类中 JvmMemoryLocation

    • hashCode

      public int hashCode()
      指定者:
      hashCode 在类中 JvmMemoryLocation

    • toString

      public String toString()
      指定者:
      toString 在类中 JvmMemoryLocation