CVE-2023-41880

Wasmtime is a standalone runtime for WebAssembly. Wasmtime versions from 10.0.0 to versions 10.02, 11.0.2, and 12.0.1 contain a miscompilation of the WebAssembly `i64x2.shr_s` instruction on x86_64 platforms when the shift amount is a constant value that is larger than 32. Only x86_64 is affected so all other targets are not affected by this. The miscompilation results in the instruction producing an incorrect result, namely the low 32-bits of the second lane of the vector are derived from the low 32-bits of the second lane of the input vector instead of the high 32-bits. The primary impact of this issue is that any WebAssembly program using the `i64x2.shr_s` with a constant shift amount larger than 32 may produce an incorrect result. This issue is not an escape from the WebAssembly sandbox. Execution of WebAssembly guest programs will still behave correctly with respect to memory sandboxing and isolation from the host. Wasmtime considers non-spec-compliant behavior as a security issue nonetheless. This issue was discovered through fuzzing of Wasmtime's code generator Cranelift. Wasmtime versions 10.0.2, 11.0.2, and 12.0.2 are all patched to no longer have this miscompilation. This issue only affects x86_64 hosts and the only workaround is to either scan for this pattern in wasm modules which is nontrivial or to disable the SIMD proposal for WebAssembly. Users prior to 10.0.0 are unaffected by this vulnerability.

• CWE-193

• https://docs.rs/wasmtime/latest/wasmtime/struct.Config.html#method.wasm_simdProduct
• https://github.com/bytecodealliance/wasmtime/commit/8d7eda15b0badcbea83a7aac2d08f80788b59240Patch
• https://github.com/bytecodealliance/wasmtime/pull/6372Patch, Product
• https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-gw5p-q8mj-p7ghVendor Advisory
• https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-gw5p-q8mj-p7gh#:~:text=Mailing%20list%20announcementVendor Advisory
• https://docs.rs/wasmtime/latest/wasmtime/struct.Config.html#method.wasm_simdProduct
• https://github.com/bytecodealliance/wasmtime/commit/8d7eda15b0badcbea83a7aac2d08f80788b59240Patch
• https://github.com/bytecodealliance/wasmtime/pull/6372Patch, Product
• https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-gw5p-q8mj-p7ghVendor Advisory
• https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-gw5p-q8mj-p7gh#:~:text=Mailing%20list%20announcementVendor Advisory

Published

Sep 15, 2023

Last Modified

Jun 17, 2026

Status

Modified

• How Strix found a critical auth bypass in etcdStrix autonomously discovered a critical authentication bypass in etcd, later designated CVE-2026-33413.
• Autonomous PentestingAI agents that find and validate exploitable vulnerabilities like this one across your applications.
• PR ReviewsPentest every pull request so vulnerable code is caught before it ships to production.
• AI Penetration TestingHow AI-driven penetration testing continuously covers your attack surface.

• CVE-2023-41875Missing Authorization vulnerability in wpdirectorykit.com WP…9.8
• CVE-2023-41876Cross-Site Request Forgery (CSRF) vulnerability in Hardik Ka…8.8
• CVE-2023-41877GeoServer is an open source software server written in Java …7.2
• CVE-2023-41878MeterSphere is a one-stop open source continuous testing pla…9.8
• CVE-2023-41879Magento LTS is the official OpenMage LTS codebase. Guest ord…7.5
• CVE-2023-4188 SQL Injection in GitHub repository instantsoft/icms2 prior …9.1
• CVE-2023-41881vantage6 is privacy preserving federated learning infrastruc…4.3
• CVE-2023-41882vantage6 is privacy preserving federated learning infrastruc…4.3
• CVE-2023-41884ZoneMinder is a free, open source Closed-circuit television …6.5
• CVE-2023-41885Piccolo is an ORM and query builder which supports asyncio. …5.3
• CVE-2023-41886OpenRefine is a powerful free, open source tool for working …7.5
• CVE-2023-41887OpenRefine is a powerful free, open source tool for working …9.8