Wasmtime の Cranelift コンパイラにおける数値切り捨てによるサンドボックス逃れの脆弱性

Wasmtime の v43 未満の Cranelift コンパイラバックエンドにおいて、SSA 値インデックスのビットパッキング処理に起因するサイレントオーバーフローが発生する。リリースビルドでは誤った値参照や任意の誤コンパイルを引き起こし、非常に大きな Wasm 関数や多数の SSA 値を使用するよう特別に構築された Wasm モジュールによって、型混乱などの任意の副作用を引き起こしてサンドボックスからの逃れが可能となる。