Move言語の参照安全メカニズムには整数オーバーフローの脆弱性が存在します

最近、安全研究者がMove言語を詳細に分析している際に、新しい整数オーバーフローの脆弱性を発見しました。この脆弱性はMove言語の参照セキュリティ検証プロセスで発生し、サービス拒否攻撃を引き起こす可能性があります。

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

Move言語はバイトコードを実行する前にコード検証を行い、4つのステップに分かれています。この脆弱性は、参照安全(reference_safety)検証フェーズに存在します。参照安全検証の主な目的は、空の参照、可変参照のアクセスの安全性、グローバルストレージの参照のアクセスの安全性などを確保することです。

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

検証プロセスは、各基本ブロックのバイトコード命令を走査します。基本ブロックとは、入口と出口を除いて分岐命令がないコードのシーケンスを指します。Move言語は、分岐命令とループ命令を分析することで基本ブロックを識別します。

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

引用セキュリティ検証は、AbstractState構造体を使用してローカル変数と参照関係を追跡します。これはlocalsとborrow graphの2つの部分で構成されています。検証時には、実行前後の状態を比較し、更新をマージします。

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

バグはマージ状態のjoin_関数に現れます。この関数はu8型でlocalsを反復処理しますが、パラメータとローカル変数の合計が256を超えると整数オーバーフローを引き起こします。localsの数を検証するロジックがありますが、パラメータの長さは考慮されていません。

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

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

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

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

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

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

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

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

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

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

攻撃者は、オーバーフローを利用して状態を変更するループ基本ブロックを構築できます。再実行時に存在しないlocalsインデックスにアクセスするとpanicが発生し、サービス拒否を引き起こします。

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

この脆弱性は、静的型安全な言語であってもセキュリティリスクが存在する可能性があることを示しています。Move言語は実行時により多くのセキュリティチェックを追加することをお勧めします。検証段階だけに依存してはいけません。また、コード監査の重要性も示しています。