wasmtime is a fast and secure runtime for WebAssembly. Wasmtimes 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.
Weakness
A product calculates or uses an incorrect maximum or minimum value that is 1 more, or 1 less, than the correct value.
Affected Software
| Name | Vendor | Start Version | End Version |
|---|---|---|---|
| Cranelift-codegen | Bytecodealliance | 0.84.0 (including) | 0.91.1 (excluding) |
| Cranelift-codegen | Bytecodealliance | 0.92.0 (including) | 0.92.0 (including) |
| Cranelift-codegen | Bytecodealliance | 0.93.0 (including) | 0.93.0 (including) |
| Wasmtime | Bytecodealliance | 0.37.0 (including) | 4.0.1 (excluding) |
| Wasmtime | Bytecodealliance | 5.0.0 (including) | 5.0.0 (including) |
| Wasmtime | Bytecodealliance | 6.0.0 (including) | 6.0.0 (including) |
Potential Mitigations
References
- https://docs.rs/wasmtime/latest/wasmtime/struct.Config.html#method.wasm_simd
- https://github.com/bytecodealliance/wasmtime/commit/5dc2bbccbb363e474d2c9a1b8e38a89a43bbd5d1
- https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-xm67-587q-r2vw
- https://github.com/webassembly/simd
- https://groups.google.com/a/bytecodealliance.org/g/sec-announce/c/Mov-ItrNJsQ
- https://docs.rs/wasmtime/latest/wasmtime/struct.Config.html#method.wasm_simd
- https://github.com/bytecodealliance/wasmtime/commit/5dc2bbccbb363e474d2c9a1b8e38a89a43bbd5d1
- https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-xm67-587q-r2vw
- https://github.com/webassembly/simd
- https://groups.google.com/a/bytecodealliance.org/g/sec-announce/c/Mov-ItrNJsQ