Trait MemoryCallbacks 

pub trait MemoryCallbacks<B>:
    Debug
    + MemoryCallbacksClone<B>
    + Send
    + Sync {
    // Required methods
    fn symbolic_read(
        &self,
        regions: &[Region<B>],
        solver: &mut Solver<'_, B>,
        value: &Val<B>,
        read_kind: &Val<B>,
        address: &Val<B>,
        bytes: u32,
        tag: &Option<Val<B>>,
    );
    fn symbolic_write(
        &mut self,
        regions: &[Region<B>],
        solver: &mut Solver<'_, B>,
        value: Sym,
        write_kind: &Val<B>,
        address: &Val<B>,
        data: &Val<B>,
        bytes: u32,
        tag: &Option<Val<B>>,
    );
}

Required Methods

fn symbolic_read( &self, regions: &[Region<B>], solver: &mut Solver<'_, B>, value: &Val<B>, read_kind: &Val<B>, address: &Val<B>, bytes: u32, tag: &Option<Val<B>>, )

fn symbolic_write( &mut self, regions: &[Region<B>], solver: &mut Solver<'_, B>, value: Sym, write_kind: &Val<B>, address: &Val<B>, data: &Val<B>, bytes: u32, tag: &Option<Val<B>>, )

Trait Implementations

impl<B> Clone for Box<dyn MemoryCallbacks<B>>

fn clone(&self) -> Box<dyn MemoryCallbacks<B>>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

Implementors