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

类 JvmStaticFieldLocation

    • 字段详细资料

      • fqn

        public final java.lang.String fqn

    • 构造器详细资料

      • JvmStaticFieldLocation

        public JvmStaticFieldLocation​(java.lang.String fqn)
        Create a static field location.
        参数:
        fqn - a fully qualified name

    • 方法详细资料

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