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

类 JvmLocalVariableLocation

    • 字段详细资料

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