GSA_kwCzR0hTQS03ZjZ4LWp3aDUtbTlyNM4AAtkN

Moderate EPSS: 0.00403% (0.6005 Percentile) EPSS:

Permalink JSON

Cranelift vulnerable to miscompilation of constant values in division on AArch64

Affected Packages	Affected Versions	Fixed Versions
cargo:cranelift-codegen	< 0.85.2	0.85.2
59 Dependent packages 3,397 Dependent repositories 16,639,373 Downloads total Affected Version Ranges All affected versions 0.14.0, 0.15.0, 0.16.0, 0.16.1, 0.17.0, 0.18.1, 0.19.0, 0.20.0, 0.21.0, 0.21.1, 0.22.0, 0.23.0, 0.24.0, 0.25.0, 0.26.0, 0.27.0, 0.28.0, 0.29.0, 0.30.0, 0.31.0, 0.32.0, 0.33.0, 0.34.0, 0.35.0, 0.36.0, 0.37.0, 0.38.0, 0.39.0, 0.40.0, 0.41.0, 0.42.0, 0.43.0, 0.43.1, 0.44.0, 0.45.0, 0.46.0, 0.46.1, 0.47.0, 0.48.0, 0.49.0, 0.50.0, 0.51.0, 0.52.0, 0.53.0, 0.54.0, 0.55.0, 0.56.0, 0.58.0, 0.59.0, 0.60.0, 0.61.0, 0.62.0, 0.63.0, 0.64.0, 0.65.0, 0.66.0, 0.67.0, 0.68.0, 0.69.0, 0.70.0, 0.71.0, 0.72.0, 0.73.0, 0.73.1, 0.74.0, 0.75.0, 0.76.0, 0.77.0, 0.78.0, 0.79.0, 0.79.1, 0.80.0, 0.80.1, 0.81.0, 0.81.1, 0.81.2, 0.82.0, 0.82.1, 0.82.2, 0.82.3, 0.83.0, 0.84.0, 0.85.0, 0.85.1 All unaffected versions 0.85.2, 0.85.3, 0.86.0, 0.86.1, 0.87.0, 0.87.1, 0.88.0, 0.88.1, 0.88.2, 0.89.0, 0.89.1, 0.89.2, 0.90.0, 0.90.1, 0.91.0, 0.91.1, 0.92.0, 0.92.1, 0.93.0, 0.93.1, 0.93.2, 0.94.0, 0.94.1, 0.95.0, 0.95.1, 0.96.0, 0.96.1, 0.96.2, 0.96.3, 0.96.4, 0.97.0, 0.97.1, 0.97.2, 0.98.0, 0.98.1, 0.98.2, 0.99.0, 0.99.1, 0.99.2, 0.100.0, 0.100.1, 0.101.0, 0.101.1, 0.101.2, 0.101.3, 0.101.4, 0.102.0, 0.102.1, 0.103.0, 0.104.0, 0.104.1, 0.104.2, 0.104.3, 0.105.0, 0.105.1, 0.105.2, 0.105.3, 0.105.4, 0.106.0, 0.106.1, 0.106.2, 0.107.0, 0.107.1, 0.107.2, 0.108.0, 0.108.1, 0.108.2, 0.109.0, 0.109.1, 0.110.1, 0.110.2, 0.110.3, 0.111.0, 0.111.1, 0.111.2, 0.111.3, 0.112.0, 0.112.1, 0.112.2, 0.112.3, 0.113.0, 0.113.1, 0.114.0, 0.115.0, 0.115.1, 0.116.0, 0.116.1, 0.117.0, 0.117.1, 0.117.2, 0.118.0, 0.119.0, 0.119.1, 0.120.0, 0.120.1, 0.121.0, 0.121.1
cargo:wasmtime	< 0.38.2	0.38.2
180 Dependent packages 2,459 Dependent repositories 11,366,529 Downloads total Affected Version Ranges All affected versions 0.0.0, 0.3.0, 0.7.0, 0.8.0, 0.9.0, 0.10.0, 0.11.0, 0.12.0, 0.13.0, 0.15.0, 0.16.0, 0.17.0, 0.18.0, 0.19.0, 0.20.0, 0.21.0, 0.22.0, 0.23.0, 0.24.0, 0.25.0, 0.26.0, 0.26.1, 0.27.0, 0.28.0, 0.29.0, 0.30.0, 0.31.0, 0.32.0, 0.32.1, 0.33.0, 0.33.1, 0.34.0, 0.34.1, 0.34.2, 0.35.0, 0.35.1, 0.35.2, 0.35.3, 0.36.0, 0.37.0, 0.38.0, 0.38.1 All unaffected versions 0.38.2, 0.38.3, 0.39.0, 0.39.1, 0.40.0, 0.40.1, 1.0.0, 1.0.1, 1.0.2, 2.0.0, 2.0.1, 2.0.2, 3.0.0, 3.0.1, 4.0.0, 4.0.1, 5.0.0, 5.0.1, 6.0.0, 6.0.1, 6.0.2, 7.0.0, 7.0.1, 8.0.0, 8.0.1, 9.0.0, 9.0.1, 9.0.2, 9.0.3, 9.0.4, 10.0.0, 10.0.1, 10.0.2, 11.0.0, 11.0.1, 11.0.2, 12.0.0, 12.0.1, 12.0.2, 13.0.0, 13.0.1, 14.0.0, 14.0.1, 14.0.2, 14.0.3, 14.0.4, 15.0.0, 15.0.1, 16.0.0, 17.0.0, 17.0.1, 17.0.2, 17.0.3, 18.0.0, 18.0.1, 18.0.2, 18.0.3, 18.0.4, 19.0.0, 19.0.1, 19.0.2, 20.0.0, 20.0.1, 20.0.2, 21.0.0, 21.0.1, 21.0.2, 22.0.0, 22.0.1, 23.0.0, 23.0.1, 23.0.2, 23.0.3, 24.0.0, 24.0.1, 24.0.2, 24.0.3, 25.0.0, 25.0.1, 25.0.2, 25.0.3, 26.0.0, 26.0.1, 27.0.0, 28.0.0, 28.0.1, 29.0.0, 29.0.1, 30.0.0, 30.0.1, 30.0.2, 31.0.0, 32.0.0, 32.0.1, 33.0.0, 33.0.1, 34.0.0, 34.0.1

Impact

There was a bug in Wasmtime's code generator, Cranelift, for AArch64 targets where constant divisors could result in incorrect division results at runtime. The translation rules for constants did not take into account whether sign- or zero-extension should happen, which resulted in an incorrect value being placed into a register when a division was encountered. For example, a constant 32-bit unsigned divisor of 0xfffffffe would be incorrectly sign-extended to 64-bits to 0xfffffffffffffffe. Any kind of division of operands smaller than 64 bits is implemented with a 64-bit division instruction which would then result in an incorrect result because the divisor was larger than expected.

The impact of this bug is that programs executing within the WebAssembly sandbox would not behave according to the WebAssembly specification. This means that it is hypothetically possible for execution within the sandbox to go awry and WebAssembly programs could produce unexpected results. This should not impact hosts executing WebAssembly, but does affect the correctness of guest programs.

This bug was found with differential fuzzing of Wasmtime against other engines on the AArch64 platform. Fuzzing on AArch64 is not regularly performed at this time and the Wasmtime team is investigating how best to continuously fuzz AArch64 in the same manner as x86_64.

Patches

This bug has been patched and users should upgrade to Wasmtime version 0.38.2.

Workarounds

If upgrading is not an option at this time, direct users of Cranelift that control the exact Cranelift instructions being compiled can avoid the vulnerability by explicitly extending constant divisors to 64 bits using either the sextend.i64 or the uextend.i64 operation.

Note, though, that this issue only affects the AArch64 targets. Other platforms are not affected.

For more information

If you have any questions or comments about this advisory:

Reach out to us on the Bytecode Alliance Zulip chat
Open an issue in the bytecodealliance/wasmtime repository

References:

Identifiers

GHSA-7f6x-jwh5-m9r4

CVE-2022-31169

Risk

Severity

Moderate

EPSS

EPSS Percentage: 0.00403

EPSS Percentile: 0.6005

Classification

General

Source

GitHub Advisory Database

Origin

Unspecified

Repository

https://github.com/bytecodealliance/wasmtime

Date and time

Published

about 3 years ago

Updated

3 months ago

API

JSON

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Advisories