Interface ProgramContext

    • Method Detail

      • hasNonFlowingContext

        boolean hasNonFlowingContext()
        Returns:
        true if one or more non-flowing context registers fields have been defined within the base processor context register.
      • getFlowValue

        RegisterValue getFlowValue​(RegisterValue value)
        Modify register value to eliminate non-flowing bits
        Parameters:
        value -
        Returns:
        value suitable for flowing
      • getNonFlowValue

        RegisterValue getNonFlowValue​(RegisterValue value)
        Modify register value to only include non-flowing bits
        Parameters:
        value -
        Returns:
        new value or null
      • getRegister

        Register getRegister​(java.lang.String name)
        Get a Register object given the name of a register
        Parameters:
        name - the name of the register.
        Returns:
        The register with the given name or null if no register has that name.
      • getRegisters

        Register[] getRegisters()
        Get all the register descriptions defined for this program context.
        Returns:
        array of defined register descriptions
      • getRegistersWithValues

        Register[] getRegistersWithValues()
        Returns an array of all registers that at least one value associated with an address.
        Returns:
        a array of all registers that at least one value associated with an address.
      • getValue

        java.math.BigInteger getValue​(Register register,
                                      Address address,
                                      boolean signed)
        Returns the value assigned to a register at a given address. This method will return any default value assigned to the register at the given address if no explicit value has been set at that address.
        Parameters:
        register - the register for which to get its value.
        address - the address at which to get a value.
        signed - if true, interprets the fix-bit size register value as a signed value.
        Returns:
        a BigInteger object containing the value of the registe at the given address or null if no value has been assigned.
      • getRegisterValue

        RegisterValue getRegisterValue​(Register register,
                                       Address address)
        Returns a register value and mask for the given register.
        Parameters:
        register - the register
        address - the address of the value
        Returns:
        a register value and mask for the given register
      • setRegisterValue

        void setRegisterValue​(Address start,
                              Address end,
                              RegisterValue value)
                       throws ContextChangeException
        Sets the register context over the given range to the given value.
        Parameters:
        start - the start address to set values
        end - the end address to set values
        value - the actual values to store at address
        Throws:
        ContextChangeException
      • getNonDefaultValue

        RegisterValue getNonDefaultValue​(Register register,
                                         Address address)
        Returns the (non-default)value assigned to a register at a given address.
        Parameters:
        register - the register for which to get its value.
        address - the address at which to get a value.
        Returns:
        a RegisterValue object containing the value of the register at the given address or possibly null if no value has been assigned.
      • setValue

        void setValue​(Register register,
                      Address start,
                      Address end,
                      java.math.BigInteger value)
               throws ContextChangeException
        Associates a value with a register over a given address range. Any previous values will be overwritten.
        Parameters:
        register - the register for which to assign a value.
        start - the start address.
        end - the end address (inclusive).
        value - the value to assign. A value of null will effective clear any existing values.
        Throws:
        ContextChangeException
      • getRegisterValueAddressRanges

        AddressRangeIterator getRegisterValueAddressRanges​(Register register)
        Returns an AddressRangeIterator over all addresses that have an associated value for the given register. Each range returned will have the same value associated with the register for all addresses in that range.
        Parameters:
        register - the register for which to get set value ranges.
        Returns:
        An AddressRangeIterator over all address that have values for the given register.
      • getRegisterValueAddressRanges

        AddressRangeIterator getRegisterValueAddressRanges​(Register register,
                                                           Address start,
                                                           Address end)
        Returns an AddressRangeIterator over all addresses that have an associated value within the given range for the given register. Each range returned will have the same value associated with the register for all addresses in that range.
        Parameters:
        register - the register for which to get set value ranges.
        Returns:
        An AddressRangeIterator over all address within the given range that have values for the given register.
      • getRegisterValueRangeContaining

        AddressRange getRegisterValueRangeContaining​(Register register,
                                                     Address addr)
        Returns the bounding address-range containing addr and the the same RegisterValue throughout. The range returned may be limited by other value changes associated with register's base-register.
        Parameters:
        register -
        addr -
        Returns:
        single register-value address-range containing addr
      • getDefaultRegisterValueAddressRanges

        AddressRangeIterator getDefaultRegisterValueAddressRanges​(Register register)
        Returns an AddressRangeIterator over all addresses that have an associated default value for the given register. Each range returned will have the same default value associated with the register for all addresses in that range.
        Parameters:
        register - the register for which to get set default value ranges.
        Returns:
        An AddressRangeIterator over all address that have default values for the given register.
      • getDefaultRegisterValueAddressRanges

        AddressRangeIterator getDefaultRegisterValueAddressRanges​(Register register,
                                                                  Address start,
                                                                  Address end)
        Returns an AddressRangeIterator over all addresses that have an associated default value within the given range for the given register. Each range returned will have the same default value associated with the register for all addresses in that range.
        Parameters:
        register - the register for which to get default value ranges.
        Returns:
        An AddressRangeIterator over all address within the given range that have default values for the given register.
      • getProcessorStateRegisters

        Register[] getProcessorStateRegisters()
        Gets the registers for this context that are used for processor context states.
        Returns:
        all processor context registers
      • getRegisterNames

        java.lang.String[] getRegisterNames()
        Returns the list of register names
      • hasValueOverRange

        boolean hasValueOverRange​(Register reg,
                                  java.math.BigInteger value,
                                  AddressSetView addrSet)
        Returns true if the given register has the value over the addressSet
        Parameters:
        reg - the register whose value is to be tested.
        value - the value to test for.
        addrSet - the set of addresses to test
        Returns:
        true if every address in the addrSet has the value.
      • getDefaultValue

        RegisterValue getDefaultValue​(Register register,
                                      Address address)
        Returns the default value of a register at a given address.
        Parameters:
        register - the register for which to get a default value.
        address - the address at which to get a default value.
        signed - if true, the fix-bit register value will be interpreted as a signed number.
        Returns:
        the default value of the register at the given address or null if no default value has been assigned.
      • getBaseContextRegister

        Register getBaseContextRegister()
        Returns the base context register.
        Returns:
        the base context register.
      • getDefaultDisassemblyContext

        RegisterValue getDefaultDisassemblyContext()
        Returns:
        Get the current default disassembly context to be used when initiating disassmbly
      • setDefaultDisassemblyContext

        void setDefaultDisassemblyContext​(RegisterValue value)
        Set the initial disassembly context to be used when initiating disassmbly
        Parameters:
        value - context register value
      • getDisassemblyContext

        RegisterValue getDisassemblyContext​(Address address)
        Get the disassembly context for a specified address. This context is formed from the default disassembly context and the context register value stored at the specified address. Those bits specified by the stored context value take precedence.
        Parameters:
        address -
        Returns:
        disassembly context register value