List of all items

Structs

• address_index::AddressIndex
• assumption::AssumedCallEffect
• assumption::KnownContradiction
• assumption::PassName
• assumption::Truth
• assumption::Violation
• builder::Builder
• context::Context
• context::FunctionIter
• context::NameTable
• context::Shared
• discovery::Discovery
• discovery::DiscoveryKey
• discovery::DiscoveryQueue
• error::Error
• lower::Symbols
• memory_image::MemoryImage
• obligation::ObligationKey
• pass_scope::PassScope
• space::Space
• space::SpaceId
• types::AggregateField
• types::SpaceAddress
• types::TypeId
• types::TypeManager
• value::Register
• value::RegisterId
• value::block::BasicBlock
• value::block::BlockRef
• value::block::InstructionIter
• value::block::cfg::BlockId
• value::block::cfg::EdgeData
• value::block::cfg::EdgeId
• value::block::cfg::LocalBlockId
• value::block_param::BlockParam
• value::block_param::BlockParamId
• value::block_param::BlockParamRef
• value::block_param::LocalParamId
• value::bytes::Bytes
• value::bytes::BytesId
• value::function::BlockIter
• value::function::BodyArenaKindStats
• value::function::BodyArenaStats
• value::function::DerivedOutput
• value::function::ExternArg
• value::function::ExternArgmem
• value::function::ExternInterface
• value::function::Footprint
• value::function::FunctionBody
• value::function::FunctionEffects
• value::function::FunctionId
• value::function::FunctionInterface
• value::function::FunctionRef
• value::function::FunctionSignature
• value::function::InterfaceSlot
• value::function::MemoryChannelState
• value::function::MemoryInterfaceMap
• value::function::ParamAttrs
• value::function::RamField
• value::function::RamLocations
• value::function::RamObject
• value::function::RamRegion
• value::function::RegisterEffectSets
• value::function::RegisterInterfaceMap
• value::insn::Apply
• value::insn::Assert
• value::insn::BadInsn
• value::insn::Binary
• value::insn::Branch
• value::insn::BranchInd
• value::insn::CBranch
• value::insn::Call
• value::insn::CallInd
• value::insn::Carry
• value::insn::Extract
• value::insn::FloatToFloat
• value::insn::FloatToInt
• value::insn::Gep
• value::insn::Instruction
• value::insn::InstructionId
• value::insn::InstructionRef
• value::insn::InstructionStatement
• value::insn::IntToFloat
• value::insn::IntrinsicApp
• value::insn::IntrinsicId
• value::insn::IntrinsicRegistration
• value::insn::IsFloatNaN
• value::insn::Load
• value::insn::LocalInsnId
• value::insn::LzCount
• value::insn::Map
• value::insn::PCodeOp
• value::insn::PCodeOpId
• value::insn::PopCount
• value::insn::Range
• value::insn::Return
• value::insn::ReturnValue
• value::insn::SBorrow
• value::insn::SCarry
• value::insn::Scan
• value::insn::Sext
• value::insn::Store
• value::insn::Switch
• value::insn::SwitchArm
• value::insn::TailCall
• value::insn::Tuple
• value::insn::Unary
• value::insn::Zext
• value::insn::segment::Token
• value::interner::Interner
• value::interner::LiteralInterner
• value::literal::Literal
• value::literal::LiteralId
• value::poison::Poison
• value::poison::PoisonId
• value::registry::ValueRegistry
• value::temp::LocalTempId
• value::temp::LocalTempSpaceId
• value::temp::Temp
• value::temp::TempId
• value::temp::TempRef
• value::temp::TempSpace
• value::temp::TempSpaceId
• value::temp::TempSpaceRef
• value::util::base_ref::BaseRef
• value::util::body_mut::BodyMut
• value::util::detached::DetachedMut
• value::varnode::Varnode
• value::varnode::VarnodeId
• value::varnode::register::Register
• value::varnode::register::RegisterId
• value::view::BodyView
• value::view::ModuleView

Enums

• address_index::AddressTarget
• assumption::Certainty
• assumption::Proposition
• context::TargetOs
• discovery::CodeSeed
• discovery::DiscoveryKind
• discovery::DiscoveryProvenance
• discovery::DiscoveryState
• discovery::EdgeKind
• discovery::FunctionDiscoveryReason
• error::ErrorTy
• obligation::TransferKind
• space::LocalMemorySpaceId
• space::MemorySpaceId
• space::SpaceType
• types::TypeRepr
• types::TypeRequest
• value::LocalValueId
• value::ValueId
• value::ValueRef
• value::bytes::BytesDisplay
• value::bytes::StringEncoding
• value::function::ArgMemKind
• value::function::ExternSlot
• value::function::FunctionKind
• value::function::RamBase
• value::function::RegisterChannelState
• value::function::SlotBase
• value::function::WrittenSpaces
• value::function::WrittenSpacesState
• value::insn::Binop
• value::insn::CallTag
• value::insn::Callee
• value::insn::FloatBinop
• value::insn::IntBinop
• value::insn::Mnemonic
• value::insn::RootOp
• value::insn::Simplified
• value::insn::Unop
• value::insn::segment::Link
• value::insn::segment::TokenKind
• value::literal::SymbolicRef

Traits

• space::SpaceStore
• types::Type
• value::Value
• value::insn::Intrinsic
• value::util::base_ref::AsShared
• value::util::base_ref::WithCtx
• value::util::base_ref::WithCtxMut
• value::util::base_ref::WithShared
• value::util::named::Named
• value::util::named::Renameable
• value::view::QCodeView
• value::view_mut::QCodeMut

Macros

• composite_id
• pass_log
• qcode
• register_intrinsic
• stat

Functions

• lower::lower_program
• lower::lower_program_with_externals
• lower::lower_str
• lower::lower_str_with_externals
• pass_scope::absorb_stats
• pass_scope::current_pass
• pass_scope::drain_stats
• pass_scope::enter
• pass_scope::record_stat
• value::bytes::decode_string
• value::bytes::escape_decoded
• value::bytes::render_bytes_literal
• value::insn::recognizers_for
• value::insn::segment::instruction_segments
• value::insn::segment::literal_atom
• value::insn::segment::value_tokens
• value::insn::segment::value_tokens_shared
• value::insn::segment::value_tokens_view
• value::util::named::update_context_name
• verify_body_arena_integrity
• verify_body_arena_integrity_scoped

Type Aliases

• discovery::Address
• error::Result
• space::SpaceRef
• value::block::BlockMutRef
• value::block_param::BlockParamMutRef
• value::bytes::BytesRef
• value::function::FunctionMutRef
• value::insn::InstructionMutRef
• value::literal::LiteralRef
• value::poison::PoisonRef
• value::varnode::VarnodeMutRef
• value::varnode::VarnodeRef
• value::varnode::register::RegisterMutRef
• value::varnode::register::RegisterRef

Constants

• pass_scope::UNATTRIBUTED
• space::SPACE_CONST