List of all items

Structs

• AllocExtra
• BorTag
• CatchUnwindData
• Clock
• CondvarId
• DynSym
• FrameExtra
• InitOnceId
• Instant
• Item
• LiveAllocs
• MiriAllocBytes
• MiriConfig
• MiriMachine
• MonoHashMap
• MutexRef
• PrimitiveLayouts
• RangeMap
• RwLockId
• Stack
• Stacks
• SynchronizationObjects
• ThreadId
• ThreadManager
• TlsData
• Tree
• alloc_addresses::GlobalStateInner
• alloc_addresses::reuse_pool::ReusePool
• alloc_bytes::MiriAllocBytes
• borrow_tracker::BorTag
• borrow_tracker::FrameState
• borrow_tracker::GlobalStateInner
• borrow_tracker::stacked_borrows::Stacks
• borrow_tracker::stacked_borrows::diagnostics::AccessOp
• borrow_tracker::stacked_borrows::diagnostics::AllocHistory
• borrow_tracker::stacked_borrows::diagnostics::Creation
• borrow_tracker::stacked_borrows::diagnostics::DeallocOp
• borrow_tracker::stacked_borrows::diagnostics::DiagnosticCx
• borrow_tracker::stacked_borrows::diagnostics::DiagnosticCxBuilder
• borrow_tracker::stacked_borrows::diagnostics::Invalidation
• borrow_tracker::stacked_borrows::diagnostics::Protection
• borrow_tracker::stacked_borrows::diagnostics::RetagInfo
• borrow_tracker::stacked_borrows::diagnostics::RetagOp
• borrow_tracker::stacked_borrows::diagnostics::TagHistory
• borrow_tracker::stacked_borrows::item::Item
• borrow_tracker::stacked_borrows::stack::Stack
• borrow_tracker::stacked_borrows::stack::StackCache
• borrow_tracker::tree_borrows::NewPermission
• borrow_tracker::tree_borrows::diagnostics::DisplayFmt
• borrow_tracker::tree_borrows::diagnostics::DisplayFmtAccess
• borrow_tracker::tree_borrows::diagnostics::DisplayFmtPadding
• borrow_tracker::tree_borrows::diagnostics::DisplayFmtPermission
• borrow_tracker::tree_borrows::diagnostics::DisplayFmtWrapper
• borrow_tracker::tree_borrows::diagnostics::DisplayIndent
• borrow_tracker::tree_borrows::diagnostics::DisplayRepr
• borrow_tracker::tree_borrows::diagnostics::Event
• borrow_tracker::tree_borrows::diagnostics::History
• borrow_tracker::tree_borrows::diagnostics::HistoryData
• borrow_tracker::tree_borrows::diagnostics::NodeDebugInfo
• borrow_tracker::tree_borrows::diagnostics::TbError
• borrow_tracker::tree_borrows::perms::PermTransition
• borrow_tracker::tree_borrows::perms::Permission
• borrow_tracker::tree_borrows::tree::ErrHandlerArgs
• borrow_tracker::tree_borrows::tree::LocationState
• borrow_tracker::tree_borrows::tree::Node
• borrow_tracker::tree_borrows::tree::NodeAppArgs
• borrow_tracker::tree_borrows::tree::Tree
• borrow_tracker::tree_borrows::tree::TreeVisitor
• borrow_tracker::tree_borrows::tree::TreeVisitorStack
• borrow_tracker::tree_borrows::unimap::UniEntry
• borrow_tracker::tree_borrows::unimap::UniIndex
• borrow_tracker::tree_borrows::unimap::UniKeyMap
• borrow_tracker::tree_borrows::unimap::UniValMap
• borrow_tracker::tree_borrows::unimap::tests::MapWitness
• clock::Clock
• clock::Instant
• concurrency::cpu_affinity::CpuAffinityMask
• concurrency::data_race::AtomicMemoryCellClocks
• concurrency::data_race::DataRace
• concurrency::data_race::FrameState
• concurrency::data_race::GlobalState
• concurrency::data_race::LocalClocks
• concurrency::data_race::MemoryCellClocks
• concurrency::data_race::ThreadClockSet
• concurrency::data_race::ThreadExtraState
• concurrency::data_race::VClockAlloc
• concurrency::init_once::InitOnce
• concurrency::init_once::InitOnceId
• concurrency::range_object_map::Elem
• concurrency::range_object_map::RangeObjectMap
• concurrency::sync::Condvar
• concurrency::sync::CondvarId
• concurrency::sync::Futex
• concurrency::sync::FutexRef
• concurrency::sync::FutexWaiter
• concurrency::sync::Mutex
• concurrency::sync::MutexRef
• concurrency::sync::RwLock
• concurrency::sync::RwLockId
• concurrency::sync::SynchronizationObjects
• concurrency::thread::Thread
• concurrency::thread::ThreadId
• concurrency::thread::ThreadManager
• concurrency::thread::ThreadNotFound
• concurrency::vector_clock::VClock
• concurrency::vector_clock::VTimestamp
• concurrency::vector_clock::VectorIdx
• concurrency::weak_memory::LoadInfo
• concurrency::weak_memory::StoreBuffer
• concurrency::weak_memory::StoreBufferAlloc
• concurrency::weak_memory::StoreElement
• diagnostics::RacingOp
• eval::MiriConfig
• machine::AllocExtra
• machine::FrameExtra
• machine::MiriMachine
• machine::PrimitiveLayouts
• mono_hash_map::MonoHashMap
• provenance_gc::LiveAllocs
• range_map::Elem
• range_map::RangeMap
• shims::foreign_items::DynSym
• shims::panic::CatchUnwindData
• shims::tls::RunningDtorState
• shims::tls::TlsData
• shims::tls::TlsDtorsState
• shims::tls::TlsEntry
• shims::unix::env::UnixEnvVars
• shims::unix::fd::FdId
• shims::unix::fd::FdTable
• shims::unix::fd::FileDescWithId
• shims::unix::fd::FileDescriptionRef
• shims::unix::fd::NullOutput
• shims::unix::fd::WeakFileDescriptionRef
• shims::unix::fs::DirTable
• shims::unix::fs::FileHandle
• shims::unix::fs::FileMetadata
• shims::unix::fs::OpenDir
• shims::unix::linux::epoll::Epoll
• shims::unix::linux::epoll::EpollEventInstance
• shims::unix::linux::epoll::EpollEventInterest
• shims::unix::linux::epoll::EpollInterestTable
• shims::unix::linux::epoll::EpollReadyEvents
• shims::unix::linux::epoll::ReadyList
• shims::unix::linux::eventfd::Event
• shims::unix::linux::sync::LinuxFutex
• shims::unix::sync::PthreadCondvar
• shims::unix::sync::PthreadMutex
• shims::unix::sync::PthreadRwLock
• shims::unix::unnamed_socket::AnonSocket
• shims::unix::unnamed_socket::Buffer
• shims::windows::env::WindowsEnvVars
• shims::windows::sync::WindowsFutex
• shims::windows::sync::WindowsInitOnce

Enums

• AccessKind
• AlignmentCheck
• AtomicFenceOrd
• AtomicReadOrd
• AtomicRwOrd
• AtomicWriteOrd
• BacktraceStyle
• BlockReason
• BorrowTrackerMethod
• EmulateItemResult
• EnvVars
• IoError
• IsolatedOp
• MiriMemoryKind
• NonHaltingDiagnostic
• Permission
• Provenance
• ProvenanceExtra
• ProvenanceMode
• RejectOpWith
• RetagFields
• TerminationInfo
• TimeoutAnchor
• TimeoutClock
• ValidationMode
• alloc_addresses::ProvenanceMode
• borrow_tracker::AllocState
• borrow_tracker::BorrowTrackerMethod
• borrow_tracker::ProtectorKind
• borrow_tracker::RetagFields
• borrow_tracker::stacked_borrows::ItemInvalidationCause
• borrow_tracker::stacked_borrows::NewPermission
• borrow_tracker::stacked_borrows::diagnostics::InvalidationCause
• borrow_tracker::stacked_borrows::diagnostics::Operation
• borrow_tracker::stacked_borrows::diagnostics::RetagCause
• borrow_tracker::stacked_borrows::item::Permission
• borrow_tracker::tree_borrows::diagnostics::AccessCause
• borrow_tracker::tree_borrows::diagnostics::TransitionError
• borrow_tracker::tree_borrows::perms::PermissionPriv
• borrow_tracker::tree_borrows::tree::AccessRelatedness
• borrow_tracker::tree_borrows::tree::ChildrenVisitMode
• borrow_tracker::tree_borrows::tree::ContinueTraversal
• borrow_tracker::tree_borrows::tree::RecursionState
• clock::ClockKind
• clock::InstantKind
• concurrency::data_race::AccessType
• concurrency::data_race::AtomicAccessType
• concurrency::data_race::AtomicFenceOrd
• concurrency::data_race::AtomicReadOrd
• concurrency::data_race::AtomicRwOrd
• concurrency::data_race::AtomicWriteOrd
• concurrency::data_race::NaReadType
• concurrency::data_race::NaWriteType
• concurrency::init_once::InitOnceStatus
• concurrency::range_object_map::AccessType
• concurrency::thread::BlockReason
• concurrency::thread::SchedulingAction
• concurrency::thread::ThreadJoinStatus
• concurrency::thread::ThreadState
• concurrency::thread::Timeout
• concurrency::thread::TimeoutAnchor
• concurrency::thread::TimeoutClock
• concurrency::thread::TlsAllocAction
• concurrency::weak_memory::LoadRecency
• diagnostics::DiagLevel
• diagnostics::NonHaltingDiagnostic
• diagnostics::TerminationInfo
• eval::AlignmentCheck
• eval::BacktraceStyle
• eval::IsolatedOp
• eval::MainThreadState
• eval::RejectOpWith
• eval::ValidationMode
• helpers::AccessKind
• intrinsics::atomic::AtomicOp
• intrinsics::simd::MinMax
• machine::MiriMemoryKind
• machine::Provenance
• machine::ProvenanceExtra
• shims::EmulateItemResult
• shims::env::EnvVars
• shims::io_error::IoError
• shims::native_lib::CArg
• shims::os_str::PathConversion
• shims::tls::TlsDtorsStatePriv
• shims::unix::fd::FlockOp
• shims::unix::macos::sync::MacOsUnfairLock
• shims::unix::sync::ClockId
• shims::unix::sync::MutexKind
• shims::unix::thread::ThreadNameResult
• shims::windows::handle::Handle
• shims::windows::handle::HandleError
• shims::windows::handle::PseudoHandle
• shims::x86::FloatBinOp
• shims::x86::FloatUnaryOp
• shims::x86::ShiftOp

Traits

• MiriInterpCxExt
• UnblockCallback
• VisitProvenance
• alloc_addresses::EvalContextExt
• alloc_addresses::EvalContextExtPriv
• borrow_tracker::EvalContextExt
• borrow_tracker::stacked_borrows::EvalContextExt
• borrow_tracker::stacked_borrows::EvalContextPrivExt
• borrow_tracker::tree_borrows::EvalContextExt
• borrow_tracker::tree_borrows::EvalContextPrivExt
• concurrency::data_race::EvalContextExt
• concurrency::data_race::EvalContextPrivExt
• concurrency::init_once::EvalContextExt
• concurrency::sync::EvalContextExt
• concurrency::sync::EvalContextExtPriv
• concurrency::thread::EvalContextExt
• concurrency::thread::EvalContextPrivExt
• concurrency::thread::UnblockCallback
• concurrency::weak_memory::EvalContextExt
• diagnostics::EvalContextExt
• helpers::EvalContextExt
• helpers::ToHost
• helpers::ToSoft
• intrinsics::EvalContextExt
• intrinsics::atomic::EvalContextExt
• intrinsics::atomic::EvalContextPrivExt
• intrinsics::simd::EvalContextExt
• machine::MiriInterpCxExt
• operator::EvalContextExt
• provenance_gc::EvalContextExt
• provenance_gc::VisitProvenance
• shims::alloc::EvalContextExt
• shims::backtrace::EvalContextExt
• shims::env::EvalContextExt
• shims::foreign_items::EvalContextExt
• shims::foreign_items::EvalContextExtPriv
• shims::io_error::EvalContextExt
• shims::native_lib::EvalContextExt
• shims::native_lib::EvalContextExtPriv
• shims::os_str::EvalContextExt
• shims::panic::EvalContextExt
• shims::time::EvalContextExt
• shims::tls::EvalContextPrivExt
• shims::unix::android::foreign_items::EvalContextExt
• shims::unix::env::EvalContextExt
• shims::unix::fd::EvalContextExt
• shims::unix::fd::FileDescription
• shims::unix::foreign_items::EvalContextExt
• shims::unix::freebsd::foreign_items::EvalContextExt
• shims::unix::fs::EvalContextExt
• shims::unix::fs::EvalContextExtPrivate
• shims::unix::linux::epoll::EvalContextExt
• shims::unix::linux::eventfd::EvalContextExt
• shims::unix::linux::foreign_items::EvalContextExt
• shims::unix::linux::mem::EvalContextExt
• shims::unix::macos::foreign_items::EvalContextExt
• shims::unix::macos::sync::EvalContextExt
• shims::unix::macos::sync::EvalContextExtPriv
• shims::unix::mem::EvalContextExt
• shims::unix::solarish::foreign_items::EvalContextExt
• shims::unix::sync::EvalContextExt
• shims::unix::thread::EvalContextExt
• shims::unix::unnamed_socket::EvalContextExt
• shims::wasi::foreign_items::EvalContextExt
• shims::windows::env::EvalContextExt
• shims::windows::foreign_items::EvalContextExt
• shims::windows::handle::EvalContextExt
• shims::windows::sync::EvalContextExt
• shims::windows::sync::EvalContextExtPriv
• shims::windows::thread::EvalContextExt
• shims::x86::EvalContextExt
• shims::x86::aesni::EvalContextExt
• shims::x86::avx2::EvalContextExt
• shims::x86::avx::EvalContextExt
• shims::x86::bmi::EvalContextExt
• shims::x86::gfni::EvalContextExt
• shims::x86::sha::EvalContextExt
• shims::x86::sse2::EvalContextExt
• shims::x86::sse3::EvalContextExt
• shims::x86::sse41::EvalContextExt
• shims::x86::sse42::EvalContextExt
• shims::x86::sse::EvalContextExt
• shims::x86::ssse3::EvalContextExt

Macros

• callback
• concurrency::sync::declare_id
• diagnostics::note
• diagnostics::note_span
• provenance_gc::no_provenance

Functions

• alloc_addresses::align_addr
• borrow_tracker::stacked_borrows::diagnostics::err_sb_ub
• borrow_tracker::stacked_borrows::diagnostics::error_cause
• borrow_tracker::stacked_borrows::diagnostics::operation_summary
• borrow_tracker::tree_borrows::diagnostics::char_repeat
• borrow_tracker::tree_borrows::inner_ptr_of_unique
• borrow_tracker::tree_borrows::perms::transition::child_read
• borrow_tracker::tree_borrows::perms::transition::child_write
• borrow_tracker::tree_borrows::perms::transition::foreign_read
• borrow_tracker::tree_borrows::perms::transition::foreign_write
• borrow_tracker::tree_borrows::perms::transition::perform_access
• create_ecx
• diagnostics::prune_stacktrace
• diagnostics::report_error
• diagnostics::report_leaks
• diagnostics::report_msg
• eval::args_to_utf16_command_string
• eval::create_ecx
• eval::eval_entry
• eval_entry
• helpers::bool_to_simd_element
• helpers::check_arg_count
• helpers::check_min_arg_count
• helpers::get_local_crates
• helpers::isolation_abort_error
• helpers::iter_exported_symbols
• helpers::path_ty_layout
• helpers::resolve_path
• helpers::simd_element_to_bool
• helpers::try_resolve_did
• helpers::try_resolve_path
• helpers::windows_check_buffer_size
• intrinsics::simd::simd_bitmask_index
• math::apply_random_float_error
• math::sqrt
• provenance_gc::remove_unreachable_allocs
• provenance_gc::remove_unreachable_tags
• report_error
• shims::native_lib::imm_to_carg
• shims::os_str::bytes_to_os_str
• shims::time::system_time_to_duration
• shims::unix::android::foreign_items::is_dyn_sym
• shims::unix::android::thread::prctl
• shims::unix::env::alloc_env_var
• shims::unix::env::alloc_environ_block
• shims::unix::foreign_items::is_dyn_sym
• shims::unix::freebsd::foreign_items::is_dyn_sym
• shims::unix::fs::extract_sec_and_nsec
• shims::unix::fs::maybe_sync_file
• shims::unix::linux::epoll::check_and_update_one_event_interest
• shims::unix::linux::epoll::ready_list_next
• shims::unix::linux::epoll::return_ready_list
• shims::unix::linux::eventfd::eventfd_read
• shims::unix::linux::eventfd::eventfd_write
• shims::unix::linux::foreign_items::is_dyn_sym
• shims::unix::linux::sync::futex
• shims::unix::linux::syscall::syscall
• shims::unix::macos::foreign_items::is_dyn_sym
• shims::unix::solarish::foreign_items::is_dyn_sym
• shims::unix::sync::bytewise_equal_atomic_relaxed
• shims::unix::sync::cond_create
• shims::unix::sync::cond_get_data
• shims::unix::sync::cond_init_offset
• shims::unix::sync::condattr_clock_offset
• shims::unix::sync::condattr_get_clock_id
• shims::unix::sync::condattr_set_clock_id
• shims::unix::sync::condattr_translate_clock_id
• shims::unix::sync::mutex_create
• shims::unix::sync::mutex_get_data
• shims::unix::sync::mutex_init_offset
• shims::unix::sync::mutex_kind_from_static_initializer
• shims::unix::sync::mutexattr_get_kind
• shims::unix::sync::mutexattr_kind_offset
• shims::unix::sync::mutexattr_set_kind
• shims::unix::sync::mutexattr_translate_kind
• shims::unix::sync::rwlock_get_data
• shims::unix::sync::rwlock_init_offset
• shims::wasi::foreign_items::is_dyn_sym
• shims::windows::foreign_items::is_dyn_sym
• shims::windows::foreign_items::win_absolute
• shims::x86::aesni::aes_round
• shims::x86::bin_op_float
• shims::x86::bin_op_simd_float_all
• shims::x86::bin_op_simd_float_first
• shims::x86::carrying_add
• shims::x86::conditional_dot_product
• shims::x86::convert_float_to_int
• shims::x86::extract_first_u64
• shims::x86::gfni::affine_transform
• shims::x86::gfni::gf2p8_mul
• shims::x86::horizontal_bin_op
• shims::x86::int_abs
• shims::x86::mask_load
• shims::x86::mask_store
• shims::x86::mpsadbw
• shims::x86::pack_generic
• shims::x86::packssdw
• shims::x86::packsswb
• shims::x86::packusdw
• shims::x86::packuswb
• shims::x86::pclmulqdq
• shims::x86::pmulhrsw
• shims::x86::psign
• shims::x86::round_all
• shims::x86::round_first
• shims::x86::rounding_from_imm
• shims::x86::sha::add
• shims::x86::sha::or
• shims::x86::sha::sha256_digest_round_x2
• shims::x86::sha::sha256load
• shims::x86::sha::sha256msg1
• shims::x86::sha::sha256msg2
• shims::x86::sha::shl
• shims::x86::sha::shr
• shims::x86::sha::xor
• shims::x86::shift_simd_by_scalar
• shims::x86::shift_simd_by_simd
• shims::x86::split_simd_to_128bit_chunks
• shims::x86::sse42::compare_strings
• shims::x86::sse42::deconstruct_args
• shims::x86::sse42::default_len
• shims::x86::sse42::implicit_len
• shims::x86::test_bits_masked
• shims::x86::test_high_bits_masked
• shims::x86::unary_op_f32
• shims::x86::unary_op_ps
• shims::x86::unary_op_ss

Type Aliases

• ImmTy
• MPlaceTy
• MemoryKind
• MiriInterpCx
• OpTy
• PlaceTy
• Pointer
• Scalar
• StackEmptyCallback
• StrictPointer
• VisitWith
• alloc_addresses::GlobalState
• borrow_tracker::GlobalState
• borrow_tracker::stacked_borrows::AllocState
• borrow_tracker::tree_borrows::AllocState
• borrow_tracker::tree_borrows::diagnostics::S
• concurrency::data_race::AllocState
• concurrency::range_object_map::Position
• concurrency::thread::DynUnblockCallback
• concurrency::thread::StackEmptyCallback
• concurrency::weak_memory::AllocState
• machine::MemoryKind
• machine::MiriInterpCx
• provenance_gc::VisitWith
• shims::tls::TlsKey

Statics

• shims::x86::gfni::TABLE

Constants

• MAX_CPUS
• MIRI_DEFAULT_ARGS
• alloc_addresses::reuse_pool::MAX_POOL_SIZE
• borrow_tracker::stacked_borrows::item::PERM_MASK
• borrow_tracker::stacked_borrows::item::PERM_SHIFT
• borrow_tracker::stacked_borrows::item::PROTECTED_MASK
• borrow_tracker::stacked_borrows::item::PROTECTED_SHIFT
• borrow_tracker::stacked_borrows::item::TAG_MASK
• borrow_tracker::stacked_borrows::stack::CACHE_LEN
• borrow_tracker::tree_borrows::diagnostics::DEFAULT_FORMATTER
• clock::NANOSECONDS_PER_BASIC_BLOCK
• concurrency::cpu_affinity::MAX_CPUS
• concurrency::sync::LAZY_INIT_COOKIE
• concurrency::vector_clock::SMALL_VECTOR
• concurrency::weak_memory::STORE_BUFFER_LIMIT
• eval::MAIN_THREAD_YIELDS_AT_SHUTDOWN
• machine::ADDRS_PER_ANON_GLOBAL
• machine::SIGRTMAX
• machine::SIGRTMIN
• shims::io_error::UNIX_IO_ERROR_TABLE
• shims::io_error::WINDOWS_IO_ERROR_TABLE
• shims::unix::UID
• shims::unix::android::thread::TASK_COMM_LEN
• shims::unix::linux::eventfd::MAX_COUNTER
• shims::unix::linux::foreign_items::TASK_COMM_LEN
• shims::unix::sync::PTHREAD_MUTEX_KIND_UNCHANGED
• shims::unix::unnamed_socket::MAX_SOCKETPAIR_BUFFER_CAPACITY
• shims::windows::foreign_items::STATUS_INVALID_HANDLE
• shims::x86::sse42::USE_SIGNED
• shims::x86::sse42::USE_WORDS