JVNDB-2026-011955

Bytecode Allianceのwasmtimeにおける常に不適切な制御フローの実装に関する脆弱性

WasmtimeはWebAssemblyのランタイムです。バージョン25.0.0から36.0.7未満および42.0.2、43.0.1未満において、WasmtimeのWinchコンパイラにはtable.fill命令のコンパイルがホストのパニックを引き起こす脆弱性があります。これは、有効なゲストが任意のアーキテクチャ上でWinchコンパイルされることでホストをパニックに陥れる可能性があることを意味します。この脆弱性は、ゲストがパニックを引き起こせるため、Wasmtimeにおけるサービス拒否（DoS）攻撃の原因となります。具体的な問題は、過去のリファクタリングにより、table.*命令内でコンパイルコードがテーブルを参照する方法が変更された際に、Winchのコードパスの更新が漏れていたため、Winchが誤ったインデックス方式を使用していたことにあります。Winchの機能サポートにより、発生しうる問題は、テーブルが混在したり存在しないテーブルが使用されることであり、これによりゲストは存在しないテーブルを使用してホストをパニックに陥らせるか、仕様に反した動作で誤ったテーブルを修正しているにすぎません。この脆弱性はバージョン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 以上 43.0.1 未満

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

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

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

GitHub

• GitHub : Host panic when Winch compiler executes `table.fill`  Advisory  bytecodealliance/wasmtime  GitHub

1. 常に不適切な制御フローの実装(CWE-670) [その他]

1. CVE-2026-34946

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

• [2026年04月21日]
    掲載