bytecodealliance/wasmtime

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection

Language-level guarantees---like module runtime isolation for WebAssembly (Wasm)---are only as strong as the compiler that produces a final, native-machine-specific executable. The process of lowering language-level constructions to ISA-specific instructions can introduce subtle bugs that violate se...