CVE-2026-21001 – テーブルインデックス混乱によるWebAssemblyリニアメモリOOB

概要

WebAssemblyモジュールは、配列インデックスに対する境界チェックを行わないインポート関数を使用しています。攻撃者は範囲外のインデックスを渡すことで、リニアメモリの外部を読み書きできる可能性があり、ホストの秘密情報の漏えいやWASMランタイムでのコード実行につながる恐れがあります。

脆弱性の詳細

• タイプ: 範囲外アクセス (WASM)
• 影響: ホストメモリの破壊、一部のランタイムではRCE。
• 根本原因: インデックスを配列長にクランプせずに生のポインタをオフセットするRustの unsafe コード。

エクスプロイトのデモ

1. RustコードをWASMにコンパイルする:

   rustup target add wasm32-unknown-unknown
   rustc --target wasm32-unknown-unknown -O wasm_vuln.rs -o wasm_vuln.wasm
   

2. エクスプロイトを実行する:

   pip install wasmer wasmer_compiler_cranelift
   python exploit_wasm_oob.py
   

出力には、配列外のメモリ値が表示されます。