Package proguard.analysis.cpa.jvm.witness

Class JvmLocalVariableLocation

    • Field Detail

      • index

        public final int index

    • Constructor Detail

      • JvmLocalVariableLocation

        public JvmLocalVariableLocation​(int index)
        Create a local variable location.
        Parameters:
        index - a position at the local variable array

    • Method Detail

      • extractValueOrDefault

        public <T extends LatticeAbstractState<T>> T extractValueOrDefault​(JvmAbstractState<T> jvmState,
                                                                   T defaultValue)
        Description copied from class: JvmMemoryLocation
        Given a JVM state, extract its content in the position represented by this JvmMemoryLocation.
        Specified by:
        extractValueOrDefault in class JvmMemoryLocation
        Type Parameters:
        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.
        Parameters:
        jvmState - The state from which the value is extracted.
        defaultValue - The value returned if it's not possible to extract the value.
        Returns:
        The value from the JVM abstract state for the memory location represented by this object. Or default value if not possible.