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::sync::EvalContextExt as _;pub use self::thread::EvalContextExt as _;pub use self::thread::ThreadNameResult;pub use self::unnamed_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.
- solarish 🔒
- sync 🔒
- thread 🔒
- unnamed_
socket 🔒 - This implements “anonymous” sockets, that do not correspond to anything on the host system and are entirely implemented inside Miri. We also use the same infrastructure to implement unnamed pipes.
Constants§
- UID 🔒