Wasmtime: Bit-packing in Cranelift compiler causes silent overflow and miscompilation
## Summary In Wasmtime prior to v43, the Cranelift compiler backend bit-packs its SSA value indices in a way that can result in silent overflow in release builds, and result in incorrect value references in the IR resulting in arbitrary miscompilation. A very large Wasm function body, or one that is specially crafted to use many SSA values, can use this to force type-confusion or other arbitrary side-effects and escape the sandbox. Cranelift was changed in Wasmtime v43 to use a full `u32` index, with checks if that limit is exceeded, and so is no longer susceptible to this bug. ## Impact A Wasmtime engine with default settings (using the Cranelift backend) on any architecture/platform could experience a sandbox escape from a specially-crafted Wasm module. ## Patches Wasmtime v36.0.19 has been released which fixes this issue.
beschreibt (1)
Zugehörige CVEs.
| ID | Schweregrad | ausnutzbar | ||
|---|---|---|---|---|
| CVE-2026-115889US | — | Exploit | ||
Wasmtime is a runtime for WebAssembly. Prior to 36.0.19 and 43.0.0, the Cranelift compiler backend bit-packs SSA value indices in a way that can silently overflow in release builds… | ||||
Referenzen
Externe Belege — Patches, Meldungen, Analysen.
- https://github.com/bytecodealliance/wasmtimePACKAGE
- https://github.com/bytecodealliance/wasmtime/commit/ba8f7d70caa1825b7f64fa75cd9d03f4a438dae0WEB
- https://github.com/bytecodealliance/wasmtime/commit/f517bd6e890c7c1291ab9fe05d8cc0c9f11e56aaWEB
- https://github.com/bytecodealliance/wasmtime/pull/12613WEB
- https://github.com/bytecodealliance/wasmtime/pull/14818WEB
- https://github.com/bytecodealliance/wasmtime/releases/tag/v36.0.19WEB
- https://github.com/bytecodealliance/wasmtime/releases/tag/v43.0.0WEB
- https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-897f-g5gm-fmxmWEB
Advisories wie diese benennen die exponierten Produkte, die Angreifer auf Ihrer Angriffsfläche ins Visier nehmen. Sehen Sie mit einem kostenlosen Passiv-Scan, was exponiert ist.
Kostenloser Scan