Trait isla_lib::memory::MemoryCallbacks

pub trait MemoryCallbacks<B>: Debug + MemoryCallbacksClone<B> + Send + Sync {
    fn symbolic_read(
        &self, 
        regions: &[Region<B>], 
        solver: &mut Solver<B>, 
        value: &Val<B>, 
        read_kind: &Val<B>, 
        address: &Val<B>, 
        bytes: u32
    );
    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
    );
}

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
)

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
)

Loading content...

Implementors

Loading content...