Function wasi_fd_read

src/wrappers.rs:118–125

(ctx: &mut VmCtx, v_fd: u32, iovs: u32, iovcnt: u32)

#[ensures(ctx_safe(ctx))]
#[ensures(trace_safe(trace, ctx))]
pub fn wasi_fd_read(ctx: &mut VmCtx, v_fd: u32, iovs: u32, iovcnt: u32) -> RuntimeResult<u32> {
    let fd = ctx.fdmap.fd_to_native(v_fd)?;
    let wasm_iovs = parse_iovs(ctx, iovs, iovcnt);
    unwrap_result!(wasm_iovs);

    let result = trace_readv(ctx, fd, &wasm_iovs, iovcnt as usize)?;
    Ok(result as u32)
}

#[with_ghost_var(trace: &mut Trace)]
#[external_methods(push)]