wasmtime is a fast and secure runtime for WebAssembly. Wasmtime's code generation backend, Cranelift, has a bug on x86_64 platforms for the WebAssembly `i8x16.select` instruction which will produce the wrong results when the same operand is provided to the instruction and some of the selected indices are greater than 16. There is an off-by-one error in the calculation of the mask to the `pshufb` instruction which causes incorrect results to be returned if lanes are selected from the second vector. This codegen bug has been fixed in Wasmtiem 6.0.1, 5.0.1, and 4.0.1. Users are recommended to upgrade to these updated versions. If upgrading is not an option for you at this time, you can avoid this miscompilation by disabling the Wasm simd proposal. Additionally the bug is only present on x86_64 hosts. Other platforms such as AArch64 and s390x are not affected.
A product calculates or uses an incorrect maximum or minimum value that is 1 more, or 1 less, than the correct value.
| Link | Tags |
|---|---|
| https://docs.rs/wasmtime/latest/wasmtime/struct.Config.html#method.wasm_simd | product |
| https://github.com/webassembly/simd | not applicable |
| https://groups.google.com/a/bytecodealliance.org/g/sec-announce/c/Mov-ItrNJsQ | mailing list release notes vendor advisory |
| https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-xm67-587q-r2vw | patch vendor advisory mitigation |
| https://github.com/bytecodealliance/wasmtime/commit/5dc2bbccbb363e474d2c9a1b8e38a89a43bbd5d1 | patch |