GHSA-gw5p-q8mj-p7gh

Suggest an improvement
Source
https://github.com/advisories/GHSA-gw5p-q8mj-p7gh
Import Source
https://github.com/github/advisory-database/blob/main/advisories/github-reviewed/2023/09/GHSA-gw5p-q8mj-p7gh/GHSA-gw5p-q8mj-p7gh.json
JSON Data
https://api.osv.dev/v1/vulns/GHSA-gw5p-q8mj-p7gh
Aliases
Published
2023-09-14T19:33:17Z
Modified
2023-11-08T04:13:26.580382Z
Severity
  • 2.2 (Low) CVSS_V3 - CVSS:3.1/AV:N/AC:H/PR:H/UI:N/S:U/C:N/I:L/A:N CVSS Calculator
Summary
Miscompilation of wasm `i64x2.shr_s` instruction with constant input on x86_64
Details

Impact

Wasmtime versions from 10.0.0 to 12.0.1 contain a miscompilation of the WebAssembly i64x2.shr_s instruction on x8664 platforms when the shift amount is a constant value that is larger than 32. Only x8664 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.

Patches

Wasmtime versions 10.0.2, 11.0.2, and 12.0.2 are all patched to no longer have this miscompilation.

Workarounds

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.

References

References

Affected packages

crates.io / wasmtime

Package

Affected ranges

Type
SEMVER
Events
Introduced
10.0.0
Fixed
10.0.2

crates.io / wasmtime

Package

Affected ranges

Type
SEMVER
Events
Introduced
11.0.0
Fixed
11.0.2

crates.io / wasmtime

Package

Affected ranges

Type
SEMVER
Events
Introduced
12.0.0
Fixed
12.0.2