Function wasi_socket

src/wrappers.rs:1274–1298

(ctx: &mut VmCtx, domain: u32, ty: u32, protocol: u32)

#[ensures(ctx_safe(ctx))]
#[ensures(trace_safe(trace, ctx))]
pub fn wasi_socket(ctx: &mut VmCtx, domain: u32, ty: u32, protocol: u32) -> RuntimeResult<u32> {
    // We only allow TCP and UDP, which can both be identified using protocol=0 when
    // domain.ty are (AF_INET,SOCK_STREAM) or (AF_INET,SOCK_DGRAM) respectively
    if protocol != 0 {
        return Err(Einval);
    }

    let protocol = protocol as i32;
    // convert from wasi constants to posix constants
    let domain = sock_domain_to_posix(domain)?;
    let ty = sock_type_to_posix(ty)?;

    let wasi_proto = WasiProto::new(domain, ty, protocol);
    if matches!(wasi_proto, WasiProto::Unknown) {
        return Err(Einval);
    }
    if !(domain == libc::AF_INET && (ty == libc::SOCK_STREAM || ty == libc::SOCK_DGRAM)) {
        return Err(Einval);
    }

    let res = trace_socket(ctx, domain, ty, protocol)?;

    ctx.fdmap.create_sock(HostFd::from_raw(res), wasi_proto)
    // ctx.fdmap.create(res.into())
}

// No spec for this one since we added it
#[with_ghost_var(trace: &mut Trace)]