Move言語に再び高リスクの脆弱性: 整数オーバーフローがノードのクラッシュを引き起こす可能性

最近、安全研究者はMove言語を詳細に分析している際に、新しい整数オーバーフローの脆弱性を発見しました。この脆弱性は、ノードのクラッシュを引き起こす可能性があります。この脆弱性は、Move言語の参照安全性検証モジュールに存在し、基本ブロック分析と状態マージプロセスに関係しています。

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

Move言語はバイトコードを実行する前にコード検証を行い、4つのステップに分かれています。今回発見された脆弱性は、参照安全(reference_safety)検証フェーズに出現しました。このフェーズでは、関数内の基本ブロックを分析し、参照操作の合法性を検証します。

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

検証プロセスでは、AbstractState構造体を維持し、ローカル変数(locals)と借用関係図(borrow graph)を含みます。基本ブロックを分析する際には、ブロック内の命令を実行してポストステートを生成し、その後プリステートと統合して状態を更新します。

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

バグはマージ状態のjoin_関数で発生します。この関数はlocals変数を巡回しますが、localsは関数の引数とローカル変数を含んでいます。引数の数とローカル変数の数の合計が256を超えると、u8タイプの反復を使用しているため、整数オーバーフローが発生します。

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

攻撃者は特別なループコードブロックを構築し、このオーバーフローを利用して状態を変更することができます。次のラウンドの分析では、特定の命令が存在しないlocalsインデックスにアクセスする可能性があり、それによってpanicが発生し、ノードがクラッシュします。

! Numen Cyberは、移動言語に別のリスクの高い脆弱性を独占的に発見しました

研究者は、264のlocals変数を設定することで、第二回目の分析時にpanicを引き起こすことができる(PoC)の概念実証を提供しました。これは、Move言語が実行時に十分なセキュリティチェックを欠いていることを明らかにしました。

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

この脆弱性は再び、セキュリティを強調するMove言語にも脆弱性が存在する可能性があることを示しています。Move言語の設計者には、実行時により多くのセキュリティチェックを追加することをお勧めします。静的分析の検証段階に依存するだけでは不十分です。また、開発者にはコード監査を強化し、同様の不注意を避けるように警告します。

! Numen Cyberは、移動言語に別のリスクの高い脆弱性を独占的に発見しました

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

! Numen Cyberは、移動言語に別のリスクの高い脆弱性を独占的に発見しました

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました

! Numen Cyberは、移動言語に別の高リスクの脆弱性を独占的に発見しました