Struct StorageLocations

pub struct StorageLocations<'ctx, A: Arch, S: SmtSolver<'ctx>> { /* private fields */ }

A container that maps storage locations to SMT solver bitvectors.

Implementations

impl<'ctx, A: Arch, S: SmtSolver<'ctx>> StorageLocations<'ctx, A, S>

pub fn new(context: &mut S) -> Self

Creates a new, empty mapping.

pub fn get( &mut self, context: &mut S, key: FilledLocation<A>, sizes: &Sizes, ) -> S::BV

👎Deprecated: use StorageLocatinos::get_sized instead

Retrieves the mapping for the provided location key. If the location has no mapping, a new SMT bitvector constant is created. If the register is a zero register, a bitvector with value 0 is returned.

Masks the result by the mask of the location.

Problems

This function returns the raw bitvector value of the location. For byte values (ValueType::Bytes), this causes an inconsistency: The values are not stored in the same order as the output of computations. So a simple assertion of input_bv == output_bv would fail.

You should use the function StorageLocations::get_sized instead, which automatically performs this byte swapping when needed.

pub fn get_sized( &mut self, context: &mut S, key: FilledLocation<A>, sizes: &Sizes, input_size: Size, is_bytes: bool, ) -> S::BV

Retrieves the mapping for the provided location key. If the location has no mapping, a new SMT bitvector constant is created. If the register is a zero register, a bitvector with value 0 is returned.

Crops the result to the provided input_size.

pub fn get_raw( &mut self, context: &mut S, key: FilledLocation<A>, sizes: &Sizes, ) -> S::BV

Retrieves the mapping for the provided location key. If the location has no mapping, a new SMT bitvector constant is created. If the register is a zero register, a bitvector with value 0 is returned.

Does not mask or crop the result in any way.

pub fn get_instr(&self) -> &S::BV

Returns the bitvector constant representing the instruction bitstring.

pub fn instr_bits(&self, bits: impl Iterator<Item = usize>) -> S::BV

Returns a bitvector constructed of the bits in the instruction bitvector at the bit indices in bits.

pub fn iter(&self) -> impl Iterator<Item = (&FilledLocation<A>, &S::BV)>

Iterates over all locations in this container