Vulnerability Details : 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.
Products affected by CVE-2023-41880
- Bytecodealliance » Wasmtime » For Rust For X64Versions from including (>=) 10.0.0 and before (<) 10.0.2cpe:2.3:a:bytecodealliance:wasmtime:*:*:*:*:*:rust:x64:*
- Bytecodealliance » Wasmtime » For Rust For X64Versions from including (>=) 11.0.0 and before (<) 11.0.2cpe:2.3:a:bytecodealliance:wasmtime:*:*:*:*:*:rust:x64:*
- Bytecodealliance » Wasmtime » For Rust For X64Versions from including (>=) 12.0.0 and before (<) 12.0.2cpe:2.3:a:bytecodealliance:wasmtime:*:*:*:*:*:rust:x64:*
Exploit prediction scoring system (EPSS) score for CVE-2023-41880
0.09%
Probability of exploitation activity in the next 30 days
EPSS Score History
~ 41 %
Percentile, the proportion of vulnerabilities that are scored at or less
CVSS scores for CVE-2023-41880
Base Score | Base Severity | CVSS Vector | Exploitability Score | Impact Score | Score Source | First Seen |
---|---|---|---|---|---|---|
5.3
|
MEDIUM | CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:L/A:N |
3.9
|
1.4
|
NIST | |
2.2
|
LOW | CVSS:3.1/AV:N/AC:H/PR:H/UI:N/S:U/C:N/I:L/A:N |
0.7
|
1.4
|
GitHub, Inc. |
CWE ids for CVE-2023-41880
-
A product calculates or uses an incorrect maximum or minimum value that is 1 more, or 1 less, than the correct value.Assigned by: security-advisories@github.com (Primary)
References for CVE-2023-41880
-
https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-gw5p-q8mj-p7gh
Miscompilation of wasm `i64x2.shr_s` instruction with constant input on x86_64 · Advisory · bytecodealliance/wasmtime · GitHubVendor Advisory
-
https://docs.rs/wasmtime/latest/wasmtime/struct.Config.html#method.wasm_simd
Config in wasmtime - RustProduct
-
https://github.com/bytecodealliance/wasmtime/pull/6372
x64: Update i64x2 `sshr` implementation by alexcrichton · Pull Request #6372 · bytecodealliance/wasmtime · GitHubPatch;Product
-
https://github.com/bytecodealliance/wasmtime/commit/8d7eda15b0badcbea83a7aac2d08f80788b59240
Merge pull request from GHSA-gw5p-q8mj-p7gh · bytecodealliance/wasmtime@8d7eda1 · GitHubPatch
-
https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-gw5p-q8mj-p7gh#:~:text=Mailing%20list%20announcement
Miscompilation of wasm `i64x2.shr_s` instruction with constant input on x86_64 · Advisory · bytecodealliance/wasmtime · GitHubVendor Advisory
Jump to