List of all items

Structs

• arch::FullScope
• arch::fake::AnyArea
• arch::fake::FakeArch
• arch::fake::FakeOracle
• arch::fake::FakeState
• arch::undef::UndefinedOutput
• arch::undef::UndefinedOutputs
• arch::x64::Align32
• arch::x64::DiffMask
• arch::x64::PrefixScope
• arch::x64::X64Arch
• arch::x64::X64State
• arch::x64::X87
• arch::x64::Xmm
• arch::x64::undef::IntelUndefWithXed
• compare::AddressComparisonOptions
• compare::ComparisonMatrix
• compare::EncodingComparisonOptions
• compare::EncodingGroup
• compare::Equivalence
• compare::PartIndexMapping
• compare::Row
• compare::RowKey
• compare::Rows
• compare::summary::ArchComparisonSummary
• compare::summary::ArchId
• compare::summary::ArchInfo
• compare::summary::SharedEncodingGroup
• compare::summary::SharedEncodings
• encoding::Encoding
• encoding::EncodingWithFilters
• encoding::WriteOrdering
• encoding::bitpattern::ImmBits
• encoding::bitpattern::Part
• encoding::dataflows::AddrTerm
• encoding::dataflows::AddrTermCalculation
• encoding::dataflows::AddrTermShift
• encoding::dataflows::AddressComputation
• encoding::dataflows::Dataflow
• encoding::dataflows::Dataflows
• encoding::dataflows::Inputs
• encoding::dataflows::MemoryAccess
• encoding::dataflows::MemoryAccesses
• encoding::dataflows::Size
• encoding::indexed::EncodingId
• encoding::indexed::IndexedEncodings
• encoding::mcs::Split
• encoding::mcs::SplitEntry
• instr::ByteFilter
• instr::FilterList
• instr::FilterMap
• instr::FilterTree
• instr::Instruction
• instr::InstructionCounter
• instr::InstructionFilter
• oracle::CarefulOracle
• oracle::InvocationCountingOracle
• oracle::VerifyOracle
• semantics::InputValues
• semantics::default::Expr
• semantics::default::Expression
• semantics::default::codegen::Term
• semantics::default::codegen::sexpr::SExprCodeGen
• semantics::default::codegen::smt::Z3CodeGen
• semantics::default::codegen::smt::Z3Expr
• semantics::default::computation::CompareResult
• semantics::default::computation::ComputationRef
• semantics::default::computation::ExprComputation
• semantics::default::computation::ExpressionComputation
• semantics::default::computation::PreparedComparison
• semantics::default::computation::SynthesizedComputation
• semantics::default::smtgen::ConcreteOutput
• semantics::default::smtgen::ConcreteZ3Model
• semantics::default::smtgen::IntermediateOutput
• semantics::default::smtgen::PartIndex
• semantics::default::smtgen::PartName
• semantics::default::smtgen::Sizes
• semantics::default::smtgen::StorageLocations
• semantics::default::smtgen::Z3Model
• smt::AssertionHash
• smt::CacheBV
• smt::CacheBVArray
• smt::CacheBool
• smt::CacheHitCounter
• smt::CacheInt
• smt::CacheModel
• smt::CacheModelRef
• smt::CachedSolver
• smt::CachedSolverProvider
• smt::FileCache
• smt::MemoryCache
• smt::SharedCache
• smt::z3::BV
• smt::z3::Bool
• smt::z3::BvArray
• smt::z3::Int
• smt::z3::Model
• smt::z3::ModelRef
• smt::z3::ThreadLocalZ3
• smt::z3::Z3Solver
• state::Addr
• state::Area
• state::MemoryState
• state::MemoryStateItemMut
• state::Page
• state::SplitDests
• state::StateByte
• state::SystemState
• state::SystemStateByteView
• state::SystemStateIoPair
• state::jit::ComplexJitState
• state::jit::ComplexJitStateBuilder
• state::jit::ComplexStateRef
• state::jit::GpRegJitState
• state::jit::GpRegJitStateBuilder
• state::jit::GpRegStateRef
• state::jit::SimpleJitState
• state::jit::SimpleStateRef
• state::random::StateGen
• utils::MinimumCoveringSet
• utils::Symmetric2DMatrix
• utils::Timeout
• utils::bitmap::AllOnes
• utils::bitmap::AllZeros
• utils::bitmap::AndWith
• utils::bitmap::ClearFrom
• utils::bitmap::DenseSet
• utils::bitmap::FixedBitmapU64
• utils::bitmap::Flipped
• utils::bitmap::GrowingBitmap
• utils::bitmap::OrWith
• utils::bitmap::XorWith

Enums

• arch::fake::FakeFlag
• arch::fake::FakeReg
• arch::undef::RegOrMem
• arch::x64::GpReg
• arch::x64::X64Flag
• arch::x64::X64Reg
• arch::x64::X87Reg
• arch::x64::XmmReg
• arch::x64::undef::UdError
• compare::ComparisonResult
• compare::ComputationEquivalence
• encoding::InstantiationError
• encoding::IntegrityError
• encoding::RestrictError
• encoding::bitpattern::Bit
• encoding::bitpattern::FlowInputLocation
• encoding::bitpattern::FlowOutputLocation
• encoding::bitpattern::FlowValueLocation
• encoding::bitpattern::ImmBit
• encoding::bitpattern::ImmBitOrder
• encoding::bitpattern::MappingOrBitOrder
• encoding::bitpattern::PartMapping
• encoding::bitpattern::PartValue
• encoding::dataflows::AccessKind
• encoding::dataflows::AddrTermSize
• encoding::dataflows::Dest
• encoding::dataflows::Source
• instr::FilterBit
• oracle::OracleError
• semantics::IoType
• semantics::OutputType
• semantics::default::codegen::TermOp
• semantics::default::codegen::sexpr::SExpr
• semantics::default::computation::Arg
• semantics::default::computation::ArgEncoding
• semantics::default::computation::OutputEncoding
• semantics::default::ops::Op
• semantics::default::smtgen::FilledLocation
• semantics::default::smtgen::FilledOutput
• smt::CacheResult
• smt::Dynamic
• smt::SatResult
• smt::Sort
• smt::SortKind
• state::Location
• state::LocationKind
• state::Permissions
• state::SystemStateByteViewReg
• state::jit::MaybeJitState
• state::jit::MaybeRef
• state::random::RandomizationError
• state::random::RemapError
• utils::EitherIter
• value::MutValue
• value::OwnedValue
• value::Value
• value::ValueType

Traits

• arch::Arch
• arch::CpuState
• arch::Flag
• arch::NumberedRegister
• arch::Register
• arch::Scope
• arch::undef::IntoUndefinedOutputs
• arch::undef::UndefProvider
• encoding::dataflows::IntoDestWithSize
• encoding::dataflows::IntoSourceWithSize
• instr::WithFilters
• oracle::MappableArea
• oracle::Oracle
• oracle::OracleSource
• semantics::Computation
• semantics::default::codegen::CodeGenerator
• semantics::default::computation::AsComputationRef
• smt::SmtBV
• smt::SmtBVArray
• smt::SmtBool
• smt::SmtInt
• smt::SmtModel
• smt::SmtModelRef
• smt::SmtSolver
• smt::SolverCache
• smt::SolverProvider
• state::AsSystemState
• utils::MapRotated
• utils::bitmap::Bitmap
• utils::bitmap::BitmapSlice
• utils::bitmap::BitmapSliceMut
• utils::bitmap::ResizableBitmap
• value::AsValue
• value::ValueArrayEquality

Macros

• semantics::default::expr

Functions

• compare::compute_split_filters
• compare::encoding_addresses_equal
• compare::encoding_dataflows_structurally_equal
• compare::encodings_semantically_equal
• compare::encodings_structurally_equal
• encoding::mcs::filter_overlapping_encodings
• encoding::mcs::split_encodings_into_overlapping_groups
• encoding::mcs::verify_and_fix
• encoding::merge_encodings_semantically
• encoding::merge_encodings_structurally
• instr::merge_filters
• semantics::default::builder::add
• semantics::default::builder::and
• semantics::default::builder::bit_mask
• semantics::default::builder::c
• semantics::default::builder::carryless_mul
• semantics::default::builder::concat_bit
• semantics::default::builder::div
• semantics::default::builder::hole
• semantics::default::builder::is_zero
• semantics::default::builder::less_than
• semantics::default::builder::mul
• semantics::default::builder::not
• semantics::default::builder::one
• semantics::default::builder::or
• semantics::default::builder::parity
• semantics::default::builder::rem
• semantics::default::builder::select
• semantics::default::builder::shl
• semantics::default::builder::shr
• semantics::default::builder::sub
• semantics::default::builder::udiv
• semantics::default::builder::urem
• semantics::default::builder::xor
• semantics::default::builder::zero
• semantics::default::codegen::codegen_computation
• semantics::default::codegen::codegen_template
• state::random::random_state
• state::random::randomized_bytes
• state::random::randomized_bytes_into_arrayvec
• state::random::randomized_bytes_into_buffer
• state::random::randomized_bytes_select_nth
• state::random::randomized_value
• state::random::update_memory_addresses_unchecked
• utils::bitmask_u128
• utils::bitmask_u64
• utils::deposit_bits_u128
• utils::sign_extend
• utils::sign_extend_u64
• utils::switch_endianness_u128
• utils::switch_endianness_u64

Type Aliases

• oracle::Observation
• oracle::ObservationResult
• state::MemoryEntry

Constants

• encoding::bitpattern::MAX_PARTS
• encoding::bitpattern::PART_NAMES
• semantics::ARG_NAMES
• semantics::default::FALSE
• semantics::default::MAX_TEMPLATE_ARGS
• semantics::default::TRUE
• state::MAX_MEMORY_SIZE