Struct MemoryAccesses

pub struct MemoryAccesses<A: Arch> {
    pub instr: Instruction,
    pub memory: Vec<MemoryAccess<A>>,
    pub use_trap_flag: bool,
}

A collection of memory accesses.

Fields

instr: Instruction

The instruction for which these memory accesses are relevant.

memory: Vec<MemoryAccess<A>>

The set of memory accesses performed by instr.

use_trap_flag: bool

Whether the trap flag should be used to observe instr. Memory access analysis will detect when an instruction can jump, and if so, set this field to true.

Implementations

impl<A: Arch> MemoryAccesses<A>

pub fn max_size_of(&self, location: &Location<A>) -> usize

Returns the largest number of bytes that can be in the provided storage location.

pub fn slice(&self, length: usize) -> MemoryAccesses<A>

Slices the memory accesses to only include the first length accesses.

pub fn iter(&self) -> impl Iterator<Item = &MemoryAccess<A>>

Iterates over all accesses.

pub fn len(&self) -> usize

Returns the number of accesses.

pub fn is_empty(&self) -> bool

Returns true if there are no accesses.

pub fn map_computations( &self, f: impl FnMut(usize, &Inputs<A>, &AddressComputation) -> (Inputs<A>, AddressComputation), ) -> MemoryAccesses<A>

Maps all address computations and inputs to new values.

impl<A: Arch> MemoryAccesses<A>

pub fn map( &self, instr: Instruction, f: impl Fn(FlowValueLocation, &Source<A>) -> Option<Source<A>>, map_address_computations: impl Fn(usize, &AddressComputation) -> Option<AddressComputation>, ) -> MemoryAccesses<A>

Individually maps all computations and all inputs of all memory accesses to new values.

Trait Implementations

impl<A: Clone + Arch> Clone for MemoryAccesses<A>

fn clone(&self) -> MemoryAccesses<A>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Debug + Arch> Debug for MemoryAccesses<A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, A: Arch> Deserialize<'de> for MemoryAccesses<A>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<A: Arch> Display for MemoryAccesses<A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A: Hash + Arch> Hash for MemoryAccesses<A>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<A: Arch> Index<usize> for MemoryAccesses<A>

type Output = MemoryAccess<A>

The returned type after indexing.

fn index(&self, index: usize) -> &MemoryAccess<A>

Performs the indexing (container[index]) operation.

impl<A: Arch> IndexMut<usize> for MemoryAccesses<A>

fn index_mut(&mut self, index: usize) -> &mut MemoryAccess<A>

Performs the mutable indexing (container[index]) operation.

impl<A> JsonSchema for MemoryAccesses<A>

where A: JsonSchema + Arch, A::Reg: JsonSchema,

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl<A: PartialEq + Arch> PartialEq for MemoryAccesses<A>

fn eq(&self, other: &MemoryAccesses<A>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A: Arch> Serialize for MemoryAccesses<A>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<A: Eq + Arch> Eq for MemoryAccesses<A>

impl<A: Arch> StructuralPartialEq for MemoryAccesses<A>