Move言語における引用安全チェックの整数オーバーフロー脆弱性分析

最近、Move言語における安全検証プロセスの新しい整数オーバーフロー脆弱性が発見されました。この脆弱性は、検証コードユニットのreference_safetyステップにおいて発生し、Move言語の基本ブロックと参照安全メカニズムに関係しています。

Move言語はバイトコードを実行する前にコード検証を行い、四つのステップに分かれています。参照の安全性検証はその中で重要な段階の一つで、空の参照が存在するか、可変参照へのアクセスが安全かどうかをチェックします。検証プロセスは各基本ブロックのバイトコード命令を遍歴します。

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

基本ブロックとは、入口と出口を除いて分岐命令がないコードのシーケンスを指します。Move言語は、分岐およびループ命令をチェックすることによって基本ブロックを識別します。参照の安全性検証は、各基本ブロック内の命令をスキャンし、参照操作の合法性を判断します。

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

検証プロセスは、状態を表すためにAbstractState構造体を使用し、localsとborrow graphの2つの重要なコンポーネントを含みます。検証は、実行前後の状態を比較し、結果を統合して後続のブロックに伝播します。

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

バグはjoin_関数に現れます。パラメータの長さとローカル変数の長さの合計が256を超えると、u8型でlocalsを反復処理するため、整数オーバーフローが発生します。これにより、新しいlocalsマップが以前のものと異なる可能性があり、再実行時に存在しないインデックスにアクセスすることでサービス拒否が引き起こされる可能性があります。

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

PoCコードは、特定のパラメーターとローカル変数の数を設定することにより、整数オーバーフローを引き起こし、新しいローカルマップの長さを短縮します。再度実行すると、存在しないオフセットにアクセスし、最終的にpanicを引き起こします。

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

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

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

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

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

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

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

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

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

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

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

この脆弱性は、静的型付け言語にもセキュリティ問題が存在する可能性があることを示しています。Move言語の設計者には、検証フェーズのチェックだけに依存せず、実行時により多くのセキュリティチェックを追加することをお勧めします。また、コード監査の重要性も反映しています。