Expand description
Synth Core - Fundamental data structures and types
This crate defines the core data structures used throughout the Synth synthesizer, including representations for WebAssembly components, modules, and the intermediate representation (IR) used for synthesis.
Re-exports§
pub use error::Error;pub use error::Result;pub use safety_manifest::SafetyManifest;pub use sbom::CycloneDxSbom;pub use sbom::SbomInputs;pub use wasm_decoder::DecodedModule;pub use wasm_decoder::FunctionOps;pub use wasm_decoder::ImportEntry;pub use wasm_decoder::ImportKind;pub use wasm_decoder::WasmMemory;pub use wasm_decoder::decode_wasm_functions;pub use wasm_decoder::decode_wasm_module;pub use wasm_op::WasmOp;pub use backend::*;pub use component::*;pub use ir::*;pub use target::*;
Modules§
- backend
- Backend trait and registry for multi-backend compilation
- component
- WebAssembly Component Model data structures
- error
- Error types for Synth
- ir
- Intermediate Representation for synthesis
- safety_
manifest - Safety manifest — sidecar JSON describing the runtime safety checks
baked into a compiled ELF. Phase 1 of
docs/binary-safety-design.md§2. - sbom
- CycloneDX SBOM emission — a build-time Software Bill of Materials for a
compiled ELF. Companion to
safety_manifest.rs: where the safety manifest records how the binary is hardened, the SBOM records what went into it. - target
- Target architecture specifications
- wasm_
decoder - WASM Binary Decoder - Converts wasmparser operators to WasmOp sequences
- wasm_op
- WebAssembly operation patterns — universal input IR for all backends
- wasm_
stack_ check - Pre-flight wasm value-stack underflow detector.