Function wasi_fd_fdstat_get

src/wrappers.rs:240–255

(ctx: &VmCtx, v_fd: u32)

#[ensures(ctx_safe(ctx))]
#[ensures(trace_safe(trace, ctx))]
pub fn wasi_fd_fdstat_get(ctx: &VmCtx, v_fd: u32) -> RuntimeResult<FdStat> {
    let fd = ctx.fdmap.fd_to_native(v_fd)?;
    let mut stat = fresh_stat();
    let result = trace_fstat(ctx, fd, &mut stat)?;
    let filetype = stat.st_mode;

    let mode_flags = trace_fgetfl(ctx, fd)?;

    let result = FdStat {
        fs_filetype: (filetype as libc::mode_t).into(),
        fs_flags: FdFlags::from_posix(mode_flags as i32),
        fs_rights_base: 0, // We don't bother to implement rights
        fs_rights_inheriting: u64::MAX,
    };
    Ok(result)
}

// https://github.com/WebAssembly/WASI/blob/main/phases/snapshot/docs.md#fd_fdstat_set_flags
#[with_ghost_var(trace: &mut Trace)]