List of all items

Structs

• AllocDecodingSession
• AllocDecodingState
• AllocExtra
• AllocId
• AllocRange
• AllocRef
• AllocRefMut
• Allocation
• BadBytesAccess
• BorTag
• CatchUnwindData
• Clock
• CondvarId
• ConstAllocation
• EnvVars
• Frame
• FrameExtra
• FrameInfo
• GlobalId
• ImmTy
• InitChunkIter
• InitOnceId
• Instant
• InterpCx
• InterpErrorInfo
• Item
• LitToConstInput
• MPlaceTy
• Memory
• MiriConfig
• MiriMachine
• MonoHashMap
• MutexId
• OpTy
• PlaceTy
• Pointer
• PrimitiveLayouts
• RangeMap
• RefTracking
• ReportedErrorInfo
• RwLockId
• ScalarSizeMismatch
• Stack
• Stacks
• ThreadId
• ThreadManager
• TlsData
• Tree
• ValidationErrorInfo
• 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::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::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::init_once::InitOnceWaiter
• concurrency::range_object_map::Elem
• concurrency::range_object_map::RangeObjectMap
• concurrency::sync::Condvar
• concurrency::sync::CondvarId
• concurrency::sync::CondvarWaiter
• concurrency::sync::Futex
• concurrency::sync::FutexWaiter
• concurrency::sync::Mutex
• concurrency::sync::MutexId
• concurrency::sync::RwLock
• concurrency::sync::RwLockId
• concurrency::sync::SynchronizationState
• concurrency::thread::Thread
• concurrency::thread::ThreadId
• concurrency::thread::ThreadManager
• concurrency::thread::TimeoutCallbackInfo
• 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
• interpret::AllocDecodingSession
• interpret::AllocDecodingState
• interpret::AllocId
• interpret::AllocRange
• interpret::AllocRef
• interpret::AllocRefMut
• interpret::Allocation
• interpret::BadBytesAccess
• interpret::ConstAllocation
• interpret::Frame
• interpret::FrameInfo
• interpret::GlobalId
• interpret::ImmTy
• interpret::InitChunkIter
• interpret::InterpCx
• interpret::InterpErrorInfo
• interpret::LitToConstInput
• interpret::MPlaceTy
• interpret::Memory
• interpret::OpTy
• interpret::PlaceTy
• interpret::Pointer
• interpret::RefTracking
• interpret::ReportedErrorInfo
• interpret::ScalarSizeMismatch
• interpret::ValidationErrorInfo
• intptrcast::GlobalStateInner
• machine::AllocExtra
• machine::FrameExtra
• machine::MiriMachine
• machine::PrimitiveLayouts
• mono_hash_map::MonoHashMap
• range_map::Elem
• range_map::RangeMap
• shims::env::EnvVars
• shims::panic::CatchUnwindData
• shims::time::UnblockCallback
• shims::tls::RunningDtorState
• shims::tls::TlsData
• shims::tls::TlsDtorsState
• shims::tls::TlsEntry
• shims::unix::fs::DirHandler
• shims::unix::fs::FileHandle
• shims::unix::fs::FileHandler
• shims::unix::fs::FileMetadata
• shims::unix::fs::NullOutput
• shims::unix::fs::OpenDir
• shims::unix::linux::fd::epoll::Epoll
• shims::unix::linux::fd::epoll::EpollEvent
• shims::unix::linux::fd::event::Event
• shims::unix::linux::fd::socketpair::SocketPair

Enums

• AlignmentCheck
• AllocError
• AllocKind
• AtomicFenceOrd
• AtomicReadOrd
• AtomicRwOrd
• AtomicWriteOrd
• BacktraceStyle
• BorrowTrackerMethod
• CheckInAllocMsg
• CtfeValidationMode
• Dlsym
• ErrorHandled
• ExpectedKind
• FnArg
• FnVal
• GlobalAlloc
• Immediate
• InitChunk
• InternKind
• InterpError
• InvalidMetaKind
• InvalidProgramInfo
• IsolatedOp
• LitToConstError
• MemPlaceMeta
• MemoryKind
• MiriMemoryKind
• NonHaltingDiagnostic
• Permission
• PointerKind
• Provenance
• ProvenanceExtra
• ProvenanceMode
• RejectOpWith
• ResourceExhaustionInfo
• RetagFields
• Scalar
• StackPopCleanup
• StackPopJump
• TerminationInfo
• Time
• UndefinedBehaviorInfo
• UnsupportedOpInfo
• ValidationErrorKind
• borrow_tracker::AccessKind
• 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::ContinueTraversal
• clock::ClockKind
• clock::InstantKind
• concurrency::data_race::AtomicFenceOrd
• concurrency::data_race::AtomicReadOrd
• concurrency::data_race::AtomicRwOrd
• concurrency::data_race::AtomicWriteOrd
• concurrency::data_race::WriteType
• concurrency::init_once::InitOnceStatus
• concurrency::range_object_map::AccessType
• concurrency::sync::CondvarLock
• concurrency::sync::RwLockMode
• concurrency::thread::SchedulingAction
• concurrency::thread::ThreadJoinStatus
• concurrency::thread::ThreadState
• concurrency::thread::Time
• concurrency::weak_memory::LoadRecency
• diagnostics::DiagLevel
• diagnostics::NonHaltingDiagnostic
• diagnostics::TerminationInfo
• eval::AlignmentCheck
• eval::BacktraceStyle
• eval::IsolatedOp
• eval::MainThreadState
• eval::RejectOpWith
• interpret::AllocError
• interpret::AllocKind
• interpret::CheckInAllocMsg
• interpret::CtfeValidationMode
• interpret::ErrorHandled
• interpret::ExpectedKind
• interpret::FnArg
• interpret::FnVal
• interpret::GlobalAlloc
• interpret::Immediate
• interpret::InitChunk
• interpret::InternKind
• interpret::InterpError
• interpret::InvalidMetaKind
• interpret::InvalidProgramInfo
• interpret::LitToConstError
• interpret::MemPlaceMeta
• interpret::MemoryKind
• interpret::PointerKind
• interpret::ResourceExhaustionInfo
• interpret::Scalar
• interpret::StackPopCleanup
• interpret::StackPopJump
• interpret::UndefinedBehaviorInfo
• interpret::UnsupportedOpInfo
• interpret::ValidationErrorKind
• intptrcast::ProvenanceMode
• machine::MiriMemoryKind
• machine::Provenance
• machine::ProvenanceExtra
• shims::dlsym::Dlsym
• shims::foreign_items::EmulateByNameResult
• shims::intrinsics::atomic::AtomicOp
• shims::os_str::PathConversion
• shims::tls::TlsDtorsStatePriv
• shims::unix::android::dlsym::Dlsym
• shims::unix::dlsym::Dlsym
• shims::unix::freebsd::dlsym::Dlsym
• shims::unix::linux::dlsym::Dlsym
• shims::unix::macos::dlsym::Dlsym
• shims::windows::dlsym::Dlsym
• shims::windows::handle::Handle
• shims::windows::handle::PseudoHandle
• shims::x86::FloatBinOp
• shims::x86::FloatCmpOp
• shims::x86::sse::FloatUnaryOp

Traits

• AllocBytes
• AllocMap
• Machine
• MachineStopType
• MayLeak
• MiriInterpCxExt
• PointerArithmetic
• Projectable
• Provenance
• Readable
• SyncId
• ValueVisitor
• VisitTags
• Writeable
• 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::init_once::EvalContextExtPriv
• concurrency::sync::EvalContextExt
• concurrency::sync::EvalContextExtPriv
• concurrency::sync::SyncId
• concurrency::thread::EvalContextExt
• concurrency::thread::EvalContextPrivExt
• concurrency::thread::MachineCallback
• concurrency::weak_memory::EvalContextExt
• diagnostics::EvalContextExt
• helpers::EvalContextExt
• interpret::AllocBytes
• interpret::AllocMap
• interpret::Machine
• interpret::MachineStopType
• interpret::MayLeak
• interpret::PointerArithmetic
• interpret::Projectable
• interpret::Provenance
• interpret::Readable
• interpret::ValueVisitor
• interpret::Writeable
• machine::MiriInterpCxExt
• operator::EvalContextExt
• shims::EvalContextExt
• shims::backtrace::EvalContextExt
• shims::dlsym::EvalContextExt
• shims::env::EvalContextExt
• shims::foreign_items::EvalContextExt
• shims::intrinsics::EvalContextExt
• shims::intrinsics::atomic::EvalContextExt
• shims::intrinsics::atomic::EvalContextPrivExt
• shims::intrinsics::simd::EvalContextExt
• shims::os_str::EvalContextExt
• shims::panic::EvalContextExt
• shims::time::EvalContextExt
• shims::tls::EvalContextPrivExt
• shims::unix::android::dlsym::EvalContextExt
• shims::unix::android::foreign_items::EvalContextExt
• shims::unix::dlsym::EvalContextExt
• shims::unix::foreign_items::EvalContextExt
• shims::unix::freebsd::dlsym::EvalContextExt
• shims::unix::freebsd::foreign_items::EvalContextExt
• shims::unix::fs::EvalContextExt
• shims::unix::fs::EvalContextExtPrivate
• shims::unix::fs::FileDescriptor
• shims::unix::linux::dlsym::EvalContextExt
• shims::unix::linux::fd::EvalContextExt
• shims::unix::linux::foreign_items::EvalContextExt
• shims::unix::linux::mem::EvalContextExt
• shims::unix::macos::dlsym::EvalContextExt
• shims::unix::macos::foreign_items::EvalContextExt
• shims::unix::mem::EvalContextExt
• shims::unix::sync::EvalContextExt
• shims::unix::thread::EvalContextExt
• shims::windows::dlsym::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::sse2::EvalContextExt
• shims::x86::sse3::EvalContextExt
• shims::x86::sse::EvalContextExt
• shims::x86::ssse3::EvalContextExt
• tag_gc::EvalContextExt
• tag_gc::VisitTags

Macros

• compile_time_machine
• concurrency::sync::declare_id
• interpret::compile_time_machine

Functions

• alloc_range
• 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::simd_element_to_bool
• helpers::target_os_is_unix
• helpers::try_resolve_did
• intern_const_alloc_recursive
• interpret::alloc_range
• interpret::intern_const_alloc_recursive
• interpret::read_target_uint
• interpret::specialized_encode_alloc_id
• interpret::struct_error
• interpret::write_target_uint
• read_target_uint
• report_error
• shims::env::alloc_env_var_as_c_str
• shims::env::alloc_env_var_as_wide_str
• shims::env::windows_check_buffer_size
• shims::intrinsics::simd::fmax_op
• shims::intrinsics::simd::fmin_op
• shims::intrinsics::simd::simd_bitmask_index
• shims::os_str::bytes_to_os_str
• shims::time::system_time_to_duration
• shims::unix::fs::extract_sec_and_nsec
• shims::unix::fs::maybe_sync_file
• shims::unix::linux::foreign_items::getrandom
• shims::unix::linux::sync::futex
• shims::unix::sync::cond_get_clock_id
• shims::unix::sync::cond_get_id
• shims::unix::sync::cond_reset_id
• shims::unix::sync::cond_set_clock_id
• shims::unix::sync::condattr_get_clock_id
• shims::unix::sync::condattr_set_clock_id
• 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_reset_id
• shims::unix::sync::mutex_set_kind
• shims::unix::sync::mutexattr_get_kind
• shims::unix::sync::mutexattr_set_kind
• shims::unix::sync::post_cond_signal
• shims::unix::sync::reacquire_cond_mutex
• shims::unix::sync::release_cond_mutex_and_block
• shims::unix::sync::rwlock_get_id
• shims::x86::bin_op_float
• shims::x86::bin_op_simd_float_all
• shims::x86::bin_op_simd_float_first
• shims::x86::horizontal_bin_op
• shims::x86::sse2::extract_first_u64
• shims::x86::sse::apply_random_float_error
• shims::x86::sse::unary_op_f32
• shims::x86::sse::unary_op_ps
• shims::x86::sse::unary_op_ss
• specialized_encode_alloc_id
• struct_error
• write_target_uint

Type Aliases

• AllocResult
• CallId
• EvalToAllocationRawResult
• EvalToConstValueResult
• EvalToValTreeResult
• InterpResult
• MiriInterpCx
• StackEmptyCallback
• borrow_tracker::CallId
• 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::StackEmptyCallback
• concurrency::thread::TimeoutCallback
• concurrency::weak_memory::AllocState
• interpret::AllocResult
• interpret::EvalToAllocationRawResult
• interpret::EvalToConstValueResult
• interpret::EvalToValTreeResult
• interpret::InterpResult
• intptrcast::GlobalState
• machine::MiriInterpCx
• shims::tls::TlsKey

Constants

• MIRI_DEFAULT_ARGS
• 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::vector_clock::SMALL_VECTOR
• concurrency::weak_memory::STORE_BUFFER_LIMIT
• eval::MAIN_THREAD_YIELDS_AT_SHUTDOWN
• helpers::UNIX_IO_ERROR_TABLE
• machine::SIGRTMAX
• machine::SIGRTMIN
• shims::unix::UID
• shims::unix::sync::PTHREAD_MUTEX_NORMAL_FLAG