Function wasi_sock_send

src/wrappers.rs:1062–1091

(
    ctx: &mut VmCtx,
    v_fd: u32,
    si_data: u32,
    si_data_count: u32,
    si_flags: u32,
)

#[ensures(ctx_safe(ctx))]
#[ensures(trace_safe(trace, ctx))]
pub fn wasi_sock_send(
    ctx: &mut VmCtx,
    v_fd: u32,
    si_data: u32,
    si_data_count: u32,
    si_flags: u32,
) -> RuntimeResult<u32> {
    let fd = ctx.fdmap.fd_to_native(v_fd)?;

    let mut num: u32 = 0;
    let mut i = 0;
    while i < si_data_count {
        body_invariant!(ctx_safe(ctx));
        body_invariant!(trace_safe(trace, ctx));

        let start = (si_data + i * 8) as usize;

        let (ptr, len) = ctx.read_u32_pair(start)?;
        if !ctx.fits_in_lin_mem(ptr, len) {
            return Err(Efault);
        }
        // Currently the flags field of trace_send must be set to 0:
        // https://github.com/WebAssembly/WASI/blob/main/phases/snapshot/docs.md/#siflags
        let flags = 0;
        let result = trace_send(ctx, fd, ptr, len as usize, flags)?;
        num += result as u32;
        i += 1;
    }
    Ok(num)
}

// https://github.com/WebAssembly/WASI/blob/main/phases/snapshot/docs.md#sock_shutdown
// ensures: valid(v_fd) => trace = old(shutdown :: trace)