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

最近、安全研究者がAptos Moveevmを詳しく分析している際に、新しい整数オーバーフローの脆弱性を発見しました。この脆弱性はMove言語の参照セキュリティ検証プロセスに存在し、ノードのクラッシュを引き起こす可能性があります。

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

Move言語はバイトコードを実行する前にコード検証を行い、4つのステップに分かれています。この脆弱性はreference_safetyステップに現れます。このステップは主に参照の安全性を検証するために使用され、空の参照が存在するか、可変参照アクセスが安全かどうかを確認することが含まれます。

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

検証プロセスは各基本ブロックを巡回して分析を行います。基本ブロックとは、エントリとエグジットを除いて分岐命令がないコードのシーケンスを指します。Move言語は分岐命令とループ命令を探すことで基本ブロックを識別します。

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

引用の安全性を検証する際、borrow graphとlocals情報を含むAbstractState構造体を維持します。検証プロセスでは基本ブロックコードを実行し、実行後のstateを生成し、それを実行前のstateと統合してブロックの状態を更新し、後続のブロックに伝播します。

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

バグはjoin_関数に現れます。この関数は、実行前後のstateをマージし、localsとborrow graphを更新するために使用されます。パラメータの長さとローカル変数の長さの合計が256を超えると、u8型でlocalsを反復処理するため、整数オーバーフローが発生します。

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

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

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

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

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

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

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

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

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

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

このオーバーフローを利用して、基本ブロックの状態を変更できます。ループのあるコードでは、同じ基本ブロックを何度も実行すると、存在しないローカルインデックスにアクセスしてpanicが発生し、ノードがクラッシュする可能性があります。

研究者は特定のパラメータとローカル変数の数を設定することで整数オーバーフローを引き起こし、最終的にpanicを引き起こすPoCコードを提供しました。

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

この脆弱性は、Moveのようにセキュリティを重視する言語でも脆弱性が存在する可能性があることを明らかにしています。Move言語の設計者には、実行時にさらなるセキュリティチェックを追加することをお勧めします。検証段階のチェックだけに依存するのではなく、同時にコード監査の重要性も示しています。