List of all items
Structs
- backend::BackendCapabilities
- backend::BackendRegistry
- backend::CodeRelocation
- backend::CompilationResult
- backend::CompileConfig
- backend::CompiledFunction
- 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
- 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::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
- wcet::WcetReport
- wsc_facts::WscFact
- wsc_facts::WscFactsParse
Enums
- backend::BackendError
- backend::BranchClass
- backend::RelocKind
- backend::SafetyBounds
- 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::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
- wsc_facts::FactKind
Traits
Functions
- dwarf_line::emit_debug_sections
- dwarf_line::op_offsets_to_source
- dwarf_line::read_input_dwarf_line
- provenance::covered_source_op_name
- provenance::derive_function_provenance
- sbom::now_rfc3339
- static_data_addr::resolve_owner
- static_data_addr::validate_reloc_resolutions
- wasm_decoder::decode_wasm_functions
- wasm_decoder::decode_wasm_module
- wasm_stack_check::check_no_underflow
- wasm_stack_check::max_depth_bound
- wsc_facts::parse_wsc_facts