Function haybale::hook_utils::memcpy [−][src]
pub fn memcpy<B: Backend>(
state: &mut State<'_, B>,
dest: &Operand,
src: &Operand,
num_bytes: &Operand
) -> Result<B::BV>
Copies num_bytes bytes of memory from address src to address dest.
src and dest may overlap.
Returns dest as a BV. Most callers probably won’t need this.
Respects the state.config.concretize_memcpy_lengths and
state.config.max_memcpy_length settings.