Function read_cstr

hail-fuzz/src/debugging/check.rs:572–577

(buf: &'a mut [u8], cpu: &mut icicle_vm::cpu::Cpu, ptr: u64)

}

fn read_cstr<'a>(buf: &'a mut [u8], cpu: &mut icicle_vm::cpu::Cpu, ptr: u64) -> &'a [u8] {
    buf[0] = 0;
    let _ = cpu.mem.read_bytes(ptr, buf, perm::NONE);
    let len = buf.find_byte(0).unwrap_or(buf.len());
    &buf[..len]
}

fn register_write_printer(vm: &mut Vm, addr: u64, data_reg: &str, len_reg: &str) {
    tracing::debug!("registering `write(data={data_reg}, len={len_reg})` hook at {addr:#x}");