Move言語の引用安全モジュールで整数オーバーフローの脆弱性が発見されました

最近、Move言語における新しい整数オーバーフローの脆弱性が発見されました。この脆弱性は、参照の安全性検証プロセスに存在し、Move言語のいくつかのコア概念とメカニズムに関連しています。

Move言語はバイトコードを実行する前にコード検証を行い、4つのステップに分かれています。この新たに発見された脆弱性はreference_safetyステップに現れます。このステップは、参照の安全性を検証する責任があり、ポインタの不正参照、可変参照のアクセス安全性、グローバルストレージ参照のアクセス安全性などのチェックを含みます。

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

安全検証の核心は、各関数内の基本ブロックを分析することです。基本ブロックは、入口と出口以外に分岐命令がないコードのシーケンスです。Move言語は、バイトコードを走査して、すべての分岐命令とループ命令を探すことによって基本ブロックを識別します。

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

検証プロセスでは、システムがAbstractState構造体を維持し、borrow graphとlocals情報を含めて、関数内での参照の安全性を確保します。検証フローは基本ブロックコードを実行し、実行後の状態を生成し、その後、実行前後の状態を統合してブロック状態を更新し、後続のブロックに伝播します。

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

バグはjoin_関数内に発生します。関数の引数の長さとローカル変数の長さを合わせて256を超えると、local変数をu8型で表現しているため、整数オーバーフローが発生します。Move言語にはlocalsの数をチェックするメカニズムがありますが、これはローカル変数の数のみをチェックし、引数の長さは含まれていません。

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

このオーバーフローの脆弱性は、サービス拒否攻撃を引き起こす可能性があります。攻撃者は、オーバーフローを利用してブロックの状態を変更するループコードブロックを構築できます。基本ブロックが再実行されるとき、命令がアクセスする必要のあるインデックスが新しいローカルマップに存在しない場合、システムがクラッシュします。

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

この脆弱性を実証するために、研究者は概念実証(PoC)を提供しました。特定のパラメータとローカル変数の数を設定することで、整数オーバーフローを引き起こし、システムがパニックに陥ることがあります。

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

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

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

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

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

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

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

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

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

この脆弱性は、厳格に設計された言語でさえも安全上の欠陥が存在する可能性があることを明らかにしています。これは、コード監査の重要性と、言語設計においてより多くの境界条件を考慮する必要があることを強調しています。Move言語に関しては、検証段階の安全メカニズムに依存するだけでなく、実行時により多くの安全チェックを追加することをお勧めします。

Move言語がWeb3分野で広く使用される中で、このような潜在的な脆弱性を深く研究し発見することは、エコシステム全体の安全性を向上させるために非常に重要です。開発者とセキュリティ研究者は警戒を怠らず、Move言語の安全性を継続的に注視し改善する必要があります。

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