Function haybale::hook_utils::memset
source · pub fn memset<B: Backend>(
state: &mut State<'_, B>,
addr: &Operand,
val: &Operand,
num_bytes: &Operand
) -> Result<B::BV>
Expand description
Set num_bytes
bytes of memory at address addr
each to the value val
.
Each individual byte will be set to val
, so only the lowest 8 bits of val
will be used.
Returns addr
as a BV
. Most callers probably won’t need this.
Respects the state.config.concretize_memcpy_lengths
and
state.config.max_memcpy_length
settings.