List of all items
Structs
- AllocExtra
- BorTag
- CatchUnwindData
- Clock
- CondvarId
- DynSym
- FrameExtra
- InitOnceId
- Instant
- Item
- LiveAllocs
- MiriAllocBytes
- MiriConfig
- MiriMachine
- MonoHashMap
- MutexId
- 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::GlobalState
- 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::FutexWaiter
- concurrency::sync::Mutex
- concurrency::sync::MutexId
- concurrency::sync::RwLock
- concurrency::sync::RwLockId
- concurrency::sync::SynchronizationObjects
- concurrency::thread::Thread
- concurrency::thread::ThreadId
- concurrency::thread::ThreadManager
- 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::eventfd::Event
- shims::unix::unnamed_socket::AnonSocket
- shims::unix::unnamed_socket::Buffer
- shims::windows::env::WindowsEnvVars
Enums
- AccessKind
- AlignmentCheck
- AtomicFenceOrd
- AtomicReadOrd
- AtomicRwOrd
- AtomicWriteOrd
- BacktraceStyle
- BlockReason
- BorrowTrackerMethod
- EmulateItemResult
- EnvVars
- 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::native_lib::CArg
- shims::os_str::PathConversion
- shims::tls::TlsDtorsStatePriv
- shims::unix::fd::FlockOp
- shims::windows::handle::Handle
- 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::sync::SyncId
- 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::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::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::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
- 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::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::blocking_epoll_callback
- shims::unix::linux::epoll::check_and_update_one_event_interest
- shims::unix::linux::epoll::ready_list_next
- shims::unix::linux::foreign_items::is_dyn_sym
- shims::unix::linux::sync::futex
- shims::unix::macos::foreign_items::is_dyn_sym
- shims::unix::solarish::foreign_items::is_dyn_sym
- shims::unix::sync::cond_clock_offset
- shims::unix::sync::cond_get_clock_id
- shims::unix::sync::cond_get_id
- shims::unix::sync::cond_id_offset
- shims::unix::sync::cond_reset_id
- shims::unix::sync::cond_set_clock_id
- shims::unix::sync::condattr_clock_offset
- shims::unix::sync::condattr_get_clock_id
- shims::unix::sync::condattr_set_clock_id
- shims::unix::sync::is_cond_clock_realtime
- shims::unix::sync::is_mutex_kind_default
- shims::unix::sync::is_mutex_kind_normal
- shims::unix::sync::mutex_get_id
- shims::unix::sync::mutex_get_kind
- shims::unix::sync::mutex_id_offset
- shims::unix::sync::mutex_kind_offset
- shims::unix::sync::mutex_reset_id
- shims::unix::sync::mutex_set_kind
- shims::unix::sync::mutexattr_get_kind
- shims::unix::sync::mutexattr_kind_offset
- shims::unix::sync::mutexattr_set_kind
- shims::unix::sync::rwlock_get_id
- shims::unix::sync::rwlock_id_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::apply_random_float_error
- 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::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
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::vector_clock::SMALL_VECTOR
- concurrency::weak_memory::STORE_BUFFER_LIMIT
- eval::MAIN_THREAD_YIELDS_AT_SHUTDOWN
- helpers::UNIX_IO_ERROR_TABLE
- helpers::WINDOWS_IO_ERROR_TABLE
- machine::ADDRS_PER_ANON_GLOBAL
- machine::SIGRTMAX
- machine::SIGRTMIN
- shims::unix::UID
- shims::unix::linux::eventfd::MAX_COUNTER
- shims::unix::linux::eventfd::U64_ARRAY_SIZE
- shims::unix::sync::PTHREAD_MUTEX_NORMAL_FLAG
- shims::unix::unnamed_socket::MAX_SOCKETPAIR_BUFFER_CAPACITY
- shims::x86::sse42::USE_SIGNED
- shims::x86::sse42::USE_WORDS