JVNDB-2026-011348

Bytecode Allianceのwasmtimeにおける過剰なサイズ値のメモリ割り当てに関する脆弱性

WasmtimeはWebAssemblyのランタイムです。バージョン25.0.0から36.0.7、42.0.2、および43.0.1の前まで、WasmtimeのWinchコンパイラバックエンドには、table.grow演算子の翻訳時に結果の型が誤って扱われるバグが存在しました。32ビットのテーブルの場合、演算子の結果はWinch内部で32ビット値ではなく64ビット値としてタグ付けされます。このWinchのコンパイラ状態の無効な内部表現は、値の使用方法に応じてさらなる問題を引き起こします。このバグの主な影響は、ホストのアドレス空間内のバイトが読み書きされる可能性があることです。ただし、これは線形メモリの直前16バイトにのみ適用されます。なぜならtable.growの誤解されうる唯一の重要な戻り値は-1だからです。線形メモリ直前のバイトはデフォルトでマップされていないメモリであり、Wasmtimeはこの障害を検出してプロセスを中止します。wasmがこれらのバイトにアクセスすべきではないためです。全体として、このWinchのバグはホストプロセスをクラッシュさせるDoSベクトルであり、Winch内部の正確性の問題であり、線形メモリ直前の最大16バイトの情報漏洩の可能性を含みます。WasmtimeのデフォルトコンパイラはWinchではなくCraneliftであり、デフォルト設定では線形メモリの前にガードページを配置します。したがって、Wasmtimeのデフォルト構成はこの問題の影響を受けません。Winchを明示的に選択した場合にのみデフォルト設定でDoSにつながります。ホストのデータ最大16バイトの漏洩を防ぐには、線形メモリ直前のガードページを有効にする必要があります。この脆弱性はバージョン36.0.7、42.0.2、および43.0.1で修正されています。

Bytecode Alliance

• wasmtime 25.0.0 以上 36.0.7 未満
• wasmtime 37.0.0 以上 42.0.2 未満
• wasmtime 43.0.0

本脆弱性の影響を受ける製品の詳細については、ベンダ情報および参考情報をご確認ください。

当該ソフトウェアが扱う情報について、外部への漏えいは発生しません。
また、当該ソフトウェアが扱う情報について、書き換えは発生しません。
さらに、当該ソフトウェアが完全に停止する可能性があります。
そして、この脆弱性を悪用した攻撃の影響は、他のソフトウェアには及びません。

正式な対策が公開されています。ベンダ情報を参照して適切な対策を実施してください。

GitHub

• GitHub : Improperly masked return value from `table.grow` with Winch compiler backend  Advisory  bytecodealliance/wasmtime  GitHub

1. 過剰なサイズ値のメモリ割り当て(CWE-789) [その他]

1. CVE-2026-35186

1. National Vulnerability Database (NVD) : CVE-2026-35186

• [2026年04月17日]
    掲載