List of all items

Structs

• arena_bind::BoundArena
• async_intrinsics::AsyncDecline
• backend::BackendCapabilities
• backend::BackendRegistry
• backend::CodeRelocation
• backend::CompilationResult
• backend::CompileConfig
• backend::CompiledFunction
• backend::LocalsFirst
• backend::VolatileRange
• component::Component
• component::ComponentInstance
• component::CoreModule
• component::Export
• component::Function
• component::FunctionSignature
• component::Global
• component::Import
• component::Memory
• component::Table
• component::WITFunction
• component::WITInterface
• dwarf_line::DwarfTextReloc
• dwarf_line::EmittedDwarfSection
• dwarf_line::InputDwarfLine
• dwarf_line::LineRow
• dwarf_line::SourceLoc
• dwarf_line::SubprogramInfo
• ir::IRBlock
• ir::IRFunction
• ir::IRGlobal
• ir::IRMemory
• ir::SynthIR
• proven_safe::AttestedElision
• proven_safe::ElisionAttestation
• proven_safe::ProvenSafeIngest
• proven_safe::SafeSite
• provenance::FunctionProvenance
• provenance::ObjectCondBranch
• provenance::ProvEntry
• provenance::ProvenanceMap
• safety_manifest::SafetyManifest
• sbom::Component
• sbom::CycloneDxSbom
• sbom::Dependency
• sbom::Hash
• sbom::Property
• sbom::SbomInputs
• sbom::SbomMetadata
• sbom::Tool
• static_data_addr::AddrMismatch
• static_data_addr::DataSegment
• static_data_addr::ImageMismatch
• static_data_addr::PackedInit
• static_data_addr::RelocResolution
• target::HardwareCapabilities
• target::TargetSpec
• wasm_decoder::CallIndirectGuards
• wasm_decoder::DecodedModule
• wasm_decoder::ElemSegmentInfo
• wasm_decoder::FunctionOps
• wasm_decoder::ImportEntry
• wasm_decoder::TableGuards
• wasm_decoder::WasmGlobal
• wasm_decoder::WasmMemory
• wasm_op::ParamBlockLowering
• wcet::WcetCallSite
• wcet::WcetDeclineSite
• wcet::WcetFnIdentity
• wcet::WcetFunctionHints
• wcet::WcetHintKey
• wcet::WcetHintKeyDiagnostic
• wcet::WcetHintRejection
• wcet::WcetHintResolution
• wcet::WcetHints
• wcet::WcetHintsOutcome
• wcet::WcetKeyAssignment
• wcet::WcetLoopBound
• wcet::WcetRecursionBound
• wcet::WcetRecursionCert
• wcet::WcetReport
• wcet::WcetResolvedHint
• wsc_facts::WscFact
• wsc_facts::WscFactsParse

Enums

• arena_bind::ArenaBind
• async_intrinsics::AsyncClassification
• async_intrinsics::AsyncFamily
• backend::BackendError
• backend::BranchClass
• backend::RelocKind
• backend::SafetyBounds
• backend::SymbolBinding
• component::ExportKind
• component::ImportKind
• component::ValueType
• component::WITType
• error::Error
• ir::BinOp
• ir::IRInstruction
• ir::IRTerminator
• ir::IRValue
• ir::UnOp
• provenance::ProvKind
• static_data_addr::ImageVerdict
• static_data_addr::LayoutVerdict
• static_data_addr::Verdict
• target::ArchFamily
• target::CortexMVariant
• target::FPUPrecision
• target::IsaVariant
• target::MemProtection
• target::RISCVVariant
• target::SIMDLevel
• target::TargetArch
• wasm_decoder::GlobalInit
• wasm_decoder::ImportKind
• wasm_op::WasmOp
• wcet::WcetDecline
• wcet::WcetFunction
• wcet::WcetHintKeyReason
• wcet::WcetHintReject
• wcet::WcetIntermediate
• wcet::WcetLoopBoundSource
• wsc_facts::FactKind

Traits

• backend::Backend

Functions

• arena_bind::bind_cabi_arena_realloc
• async_intrinsics::classify
• async_intrinsics::is_lowered_field
• backend::locals_first
• dwarf_line::emit_debug_sections
• dwarf_line::op_offsets_to_source
• dwarf_line::read_input_dwarf_line
• proven_safe::access_width
• proven_safe::hex_sha256
• proven_safe::ingest
• provenance::covered_source_op_name
• provenance::derive_function_provenance
• provenance::introduced_branch_origin
• sbom::now_rfc3339
• static_data_addr::image_extent
• static_data_addr::pack_rom_image
• static_data_addr::pack_segment_records
• static_data_addr::parse_segment_records
• static_data_addr::resolve_owner
• static_data_addr::served_image_from_records
• static_data_addr::validate_linmem_globals_disjoint
• static_data_addr::validate_reloc_resolutions
• static_data_addr::validate_reloc_resolutions_spanned
• static_data_addr::validate_served_image
• wasm_decoder::decode_wasm_functions
• wasm_decoder::decode_wasm_module
• wasm_op::arm_param_block_lowering
• wasm_op::count_params_heuristic
• wasm_op::find_param_block_type
• wasm_op::find_unlowered_param_block_type
• wasm_op::param_block_decline_msg
• wasm_op::referenced_locals
• wasm_op::rewrite_memory_grow_zero
• wasm_stack_check::check_no_underflow
• wasm_stack_check::max_depth_bound
• wcet::assign_hint_keys
• wcet::resolve_hint_keys
• wcet::stable_name_key
• wsc_facts::parse_wsc_facts

Type Aliases

• backend::BranchMap
• backend::LineMap
• error::Result

Constants

• arena_bind::ARENA_IMPORT_FIELD
• arena_bind::ARENA_IMPORT_MODULE
• async_intrinsics::ASYNC_MODULE
• async_intrinsics::LOWERED_FIELDS
• backend::FUNC_TABLE_SYMBOL
• backend::OPTIMIZED_LINMEM_BASE
• proven_safe::ELISION_ATTESTATION_SCHEMA
• proven_safe::SAFE_ACCESSES_SCHEMA
• provenance::SCHEMA
• static_data_addr::MAX_ACCESS_BYTES
• wcet::HINTS_SCHEMA
• wcet::SCHEMA
• wsc_facts::WSC_FACTS_SCHEMA_VERSION
• wsc_facts::WSC_FACTS_SECTION_NAME