Module miri::shims::unix

source ยท



  • android ๐Ÿ”’
  • env ๐Ÿ”’
  • fd ๐Ÿ”’
    General management of file descriptors, and support for standard file descriptors (stdin/stdout/stderr).
  • freebsd ๐Ÿ”’
  • fs ๐Ÿ”’
    File and file system access
  • linux ๐Ÿ”’
  • 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 ๐Ÿ”’


  • UID ๐Ÿ”’