Module unix 

Re-exports

pub use self::env::EvalContextExt as _;

pub use self::env::UnixEnvVars;

pub use self::fd::EvalContextExt as _;

pub use self::fd::UnixFileDescription;

pub use self::fs::DirTable;

pub use self::fs::EvalContextExt as _;

pub use self::linux_like::epoll::EpollInterestTable;

pub use self::mem::EvalContextExt as _;

pub use self::socket::EvalContextExt as _;

pub use self::sync::EvalContextExt as _;

pub use self::thread::EvalContextExt as _;

pub use self::thread::ThreadNameResult;

pub use self::virtual_socket::EvalContextExt as _;

Modules

android 🔒

env 🔒

fd 🔒

General management of file descriptors, and support for standard file descriptors (stdin/stdout/stderr).

foreign_items

freebsd 🔒

fs 🔒

File and file system access

linux

linux_like 🔒

macos 🔒

mem 🔒

This is an incomplete implementation of mmap/munmap which is restricted in order to be implementable on top of the existing memory system. The point of these function as-written is to allow memory allocators written entirely in Rust to be executed by Miri. This implementation does not support other uses of mmap such as file mappings.

socket 🔒

solarish 🔒

sync 🔒

thread 🔒

virtual_socket 🔒

This implements “virtual” sockets, that do not correspond to anything on the host system and are entirely implemented inside Miri. This is used to implement socketpair and pipe.

Constants

UID 🔒