List of all items

Structs

• AllocDecodingSession
• AllocDecodingState
• AllocExtra
• AllocId
• AllocRange
• AllocRef
• AllocRefMut
• Allocation
• CatchUnwindData
• CondvarId
• ConstAlloc
• ConstAllocation
• CurrentSpan
• EnvVars
• Evaluator
• Frame
• FrameData
• FrameInfo
• GlobalId
• ImmTy
• InitChunkIter
• InitMask
• InterpCx
• InterpErrorInfo
• Item
• LitToConstInput
• LocalState
• MPlaceTy
• MemPlace
• Memory
• MiriConfig
• MonoHashMap
• MutexId
• OpTy
• PlaceTy
• Pointer
• ProvenanceMap
• RangeMap
• RefTracking
• RwLockId
• SbTag
• ScalarSizeMismatch
• Stack
• Stacks
• ThreadId
• ThreadManager
• TlsData
• UninitBytesAccess
• 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::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::VectorIdx
• concurrency::weak_memory::LoadInfo
• concurrency::weak_memory::StoreBuffer
• concurrency::weak_memory::StoreBufferAlloc
• concurrency::weak_memory::StoreElement
• diagnostics::TopFrameInfo
• eval::MiriConfig
• helpers::CurrentSpan
• interpret::AllocDecodingSession
• interpret::AllocDecodingState
• interpret::AllocId
• interpret::AllocRange
• interpret::AllocRef
• interpret::AllocRefMut
• interpret::Allocation
• interpret::ConstAlloc
• interpret::ConstAllocation
• interpret::Frame
• interpret::FrameInfo
• interpret::GlobalId
• interpret::ImmTy
• interpret::InitChunkIter
• interpret::InitMask
• interpret::InterpCx
• interpret::InterpErrorInfo
• interpret::LitToConstInput
• interpret::LocalState
• interpret::MPlaceTy
• interpret::MemPlace
• interpret::Memory
• interpret::OpTy
• interpret::PlaceTy
• interpret::Pointer
• interpret::ProvenanceMap
• interpret::RefTracking
• interpret::ScalarSizeMismatch
• interpret::UninitBytesAccess
• intptrcast::GlobalStateInner
• machine::AllocExtra
• machine::Evaluator
• machine::FrameData
• machine::PrimitiveLayouts
• mono_hash_map::MonoHashMap
• range_map::Elem
• range_map::RangeMap
• shims::env::EnvVars
• shims::panic::CatchUnwindData
• shims::tls::RunningDtorsState
• shims::tls::TlsData
• shims::tls::TlsEntry
• shims::unix::fs::DirHandler
• shims::unix::fs::DummyOutput
• shims::unix::fs::FileHandle
• shims::unix::fs::FileHandler
• shims::unix::fs::FileMetadata
• shims::unix::fs::OpenDir
• stacked_borrows::FrameExtra
• stacked_borrows::GlobalStateInner
• stacked_borrows::SbTag
• stacked_borrows::Stacks
• stacked_borrows::diagnostics::AccessOp
• stacked_borrows::diagnostics::AllocHistory
• stacked_borrows::diagnostics::Creation
• stacked_borrows::diagnostics::DeallocOp
• stacked_borrows::diagnostics::DiagnosticCx
• stacked_borrows::diagnostics::DiagnosticCxBuilder
• stacked_borrows::diagnostics::Invalidation
• stacked_borrows::diagnostics::Protection
• stacked_borrows::diagnostics::RetagOp
• stacked_borrows::diagnostics::TagHistory
• stacked_borrows::item::Item
• stacked_borrows::stack::Stack
• stacked_borrows::stack::StackCache

Enums

• AlignmentCheck
• AllocKind
• AtomicFenceOrd
• AtomicReadOrd
• AtomicRwOrd
• AtomicWriteOrd
• BacktraceStyle
• CheckInAllocMsg
• ConstValue
• CtfeValidationMode
• Dlsym
• ErrorHandled
• FnVal
• GlobalAlloc
• Immediate
• InitChunk
• InternKind
• InterpError
• InvalidProgramInfo
• IsolatedOp
• LitToConstError
• LocalValue
• MemPlaceMeta
• MemoryKind
• MiriMemoryKind
• NonHaltingDiagnostic
• Operand
• Permission
• Place
• Provenance
• ProvenanceExtra
• ProvenanceMode
• RejectOpWith
• ResourceExhaustionInfo
• Scalar
• SchedulingAction
• StackPopCleanup
• StackPopJump
• StackPopUnwind
• TerminationInfo
• ThreadState
• UndefinedBehaviorInfo
• UnsupportedOpInfo
• concurrency::data_race::AtomicFenceOrd
• concurrency::data_race::AtomicReadOrd
• concurrency::data_race::AtomicRwOrd
• concurrency::data_race::AtomicWriteOrd
• concurrency::data_race::WriteType
• concurrency::range_object_map::AccessType
• 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::RejectOpWith
• interpret::AllocKind
• interpret::CheckInAllocMsg
• interpret::ConstValue
• interpret::CtfeValidationMode
• interpret::ErrorHandled
• interpret::FnVal
• interpret::GlobalAlloc
• interpret::Immediate
• interpret::InitChunk
• interpret::InternKind
• interpret::InterpError
• interpret::InvalidProgramInfo
• interpret::LitToConstError
• interpret::LocalValue
• interpret::MemPlaceMeta
• interpret::MemoryKind
• interpret::Operand
• interpret::Place
• interpret::ResourceExhaustionInfo
• interpret::Scalar
• interpret::StackPopCleanup
• interpret::StackPopJump
• interpret::StackPopUnwind
• interpret::UndefinedBehaviorInfo
• interpret::UnsupportedOpInfo
• intptrcast::ProvenanceMode
• machine::MiriMemoryKind
• machine::Provenance
• machine::ProvenanceExtra
• shims::dlsym::Dlsym
• shims::ffi_support::CArg
• shims::foreign_items::EmulateByNameResult
• shims::intrinsics::atomic::AtomicOp
• shims::os_str::PathConversion
• 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
• stacked_borrows::AccessKind
• stacked_borrows::RefKind
• stacked_borrows::diagnostics::InvalidationCause
• stacked_borrows::diagnostics::Operation
• stacked_borrows::diagnostics::RetagCause
• stacked_borrows::item::Permission

Traits

• AllocMap
• DataRaceEvalContextExt
• DiagnosticsEvalContextExt
• HelpersEvalContextExt
• Machine
• MachineStopType
• MayLeak
• MiriEvalContextExt
• MutValueVisitor
• OperatorEvalContextExt
• PointerArithmetic
• Provenance
• StackedBorEvalContextExt
• SyncEvalContextExt
• ThreadsEvalContextExt
• Value
• ValueVisitor
• concurrency::data_race::EvalContextExt
• concurrency::data_race::EvalContextPrivExt
• concurrency::sync::EvalContextExt
• concurrency::sync::EvalContextExtPriv
• concurrency::thread::EvalContextExt
• concurrency::weak_memory::EvalContextExt
• diagnostics::EvalContextExt
• helpers::EvalContextExt
• helpers::convert::Truncate
• helpers::convert::implementations::NarrowerThan
• interpret::AllocMap
• interpret::Machine
• interpret::MachineStopType
• interpret::MayLeak
• interpret::MutValueVisitor
• interpret::PointerArithmetic
• interpret::Provenance
• interpret::Value
• interpret::ValueVisitor
• machine::MiriEvalContextExt
• operator::EvalContextExt
• shims::EvalContextExt
• shims::backtrace::EvalContextExt
• shims::dlsym::EvalContextExt
• shims::env::EvalContextExt
• shims::ffi_support::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::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::foreign_items::EvalContextExt
• shims::unix::macos::dlsym::EvalContextExt
• shims::unix::macos::foreign_items::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::thread::EvalContextExt
• stacked_borrows::EvalContextExt
• stacked_borrows::EvalContextPrivExt

Macros

• compile_time_machine
• concurrency::sync::declare_id
• helpers::convert::implementations::impl_narrower_than
• interpret::compile_time_machine

Functions

• alloc_range
• create_ecx
• diagnostics::prune_stacktrace
• diagnostics::register_diagnostic
• diagnostics::report_error
• diagnostics::report_msg
• eval::args_to_utf16_command_string
• eval::create_ecx
• eval::eval_entry
• eval_entry
• get_slice_bytes
• helpers::check_arg_count
• helpers::get_local_crates
• helpers::isolation_abort_error
• helpers::target_os_is_unix
• helpers::try_resolve_did
• intern_const_alloc_recursive
• interpret::alloc_range
• interpret::get_slice_bytes
• interpret::intern_const_alloc_recursive
• interpret::read_target_uint
• interpret::specialized_encode_alloc_id
• interpret::struct_error
• interpret::write_target_uint
• read_target_uint
• register_diagnostic
• 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::bool_to_simd_element
• shims::intrinsics::simd::fmax_op
• shims::intrinsics::simd::fmin_op
• shims::intrinsics::simd::simd_bitmask_index
• shims::intrinsics::simd::simd_element_to_bool
• shims::os_str::bytes_to_os_str
• shims::os_str::os_str_to_bytes
• 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_get_or_create_id
• shims::unix::sync::cond_set_clock_id
• shims::unix::sync::cond_set_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::layout_of_maybe_uninit
• shims::unix::sync::mutex_get_id
• shims::unix::sync::mutex_get_kind
• shims::unix::sync::mutex_get_or_create_id
• shims::unix::sync::mutex_set_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::unix::sync::rwlock_get_or_create_id
• shims::windows::sync::srwlock_get_or_create_id
• specialized_encode_alloc_id
• stacked_borrows::diagnostics::error_cause
• stacked_borrows::diagnostics::operation_summary
• stacked_borrows::err_sb_ub
• struct_error
• write_target_uint

Typedefs

• CallId
• EvalToAllocationRawResult
• EvalToConstValueResult
• EvalToValTreeResult
• InterpResult
• MiriEvalContext
• concurrency::data_race::AllocExtra
• concurrency::range_object_map::Position
• concurrency::thread::TimeoutCallback
• concurrency::vector_clock::VTimestamp
• concurrency::weak_memory::AllocExtra
• interpret::EvalToAllocationRawResult
• interpret::EvalToConstValueResult
• interpret::EvalToValTreeResult
• interpret::InterpResult
• intptrcast::GlobalState
• machine::MiriEvalContext
• shims::tls::TlsKey
• stacked_borrows::AllocExtra
• stacked_borrows::CallId
• stacked_borrows::GlobalState

Constants

• MIRI_DEFAULT_ARGS
• NUM_CPUS
• PAGE_SIZE
• STACK_ADDR
• STACK_SIZE
• concurrency::thread::MAIN_THREAD
• concurrency::vector_clock::SMALL_VECTOR
• concurrency::weak_memory::STORE_BUFFER_LIMIT
• diagnostics::DIAGNOSTICS
• helpers::UNIX_IO_ERROR_TABLE
• machine::NUM_CPUS
• machine::PAGE_SIZE
• machine::STACK_ADDR
• machine::STACK_SIZE
• shims::unix::UID
• shims::unix::sync::PTHREAD_MUTEX_NORMAL_FLAG
• stacked_borrows::item::PERM_MASK
• stacked_borrows::item::PERM_SHIFT
• stacked_borrows::item::PROTECTED_MASK
• stacked_borrows::item::PROTECTED_SHIFT
• stacked_borrows::item::TAG_MASK
• stacked_borrows::stack::CACHE_LEN