Ghidra EVM モジュール

過去数年、イーサリアムブロックチェーンにデプロイされたスマートコントラクトへの攻撃により、プログラミングのミスによって多額の資金が盗難される結果となっています。スマートコントラクトは一度コンパイルされてデプロイされると、修正や更新が複雑であるため、多くの実務者が、イーサリアム仮想マシン（EVM）のバイトコードのみが利用可能なブロックチェーン上でそのセキュリティをレビューすることの重要性を提唱しています。この点において、逆アセンブルと逆コンパイルによるリバースエンジニアリングは効果的です。

ghidra-EVMは、スマートコントラクトのリバースエンジニアリングのためのGhidraモジュールです。イーサリアムブロックチェーンからEVMバイトコードをダウンロードし、スマートコントラクトを逆アセンブルおよび逆コンパイルするために使用できます。さらに、作成コードの分析、コントラクトメソッドの発見、安全でない命令の特定を行うことができます。

プロセッサモジュール、カスタムローダー、およびEVMバイトコードを逆アセンブルしスマートコントラクトの制御フローグラフ（CFG）を生成するプラグインで構成されています。

最新バージョンはGhidra 9.1.2 APIを使用しています。CFG生成プロセスでGhidraを支援するために、crytic evm_cfg_builderライブラリ（https://github.com/crytic/evm_cfg_builder）に依存しています。

Ghidra-evmは以下で構成されています：

• .evmファイルおよび.evm_hファイルからそれぞれバイトコードと16進コードを読み取るローダー（examplesを参照）。
• Ghidraコアの制限を考慮したEVM命令セットのSLEIGH定義（注意事項を参照）。
• evm_cfg_builderとghidra_bridgeを使用して、GhidraがCFGを生成しスマートコントラクトの関数プロパティを調査するのを支援するヘルパースクリプト。
• スマートコントラクトのさまざまな側面をリバースエンジニアリングするためのスクリプト集：

インストール手順

• ghidra_bridgeをインストールします。手順はhttps://github.com/justfoxing/ghidra_bridgeに従ってください。
• crytic evm_cfg_builderライブラリをインストールします。手順はhttps://github.com/crytic/evm_cfg_builderに従ってください。
• ghidra-evmの最新リリースファイルをghidra_evm/dist/からインストールします：
  • Ghidraを開く
  • File → Install Extensions
  • '+'をクリックし、zipファイル（例：ghidra_9.1.2_PUBLIC_20201102_ghidra_evm.zip）を選択
  • OKをクリック
  • Ghidraを再起動

コンパイル手順

ghidra-evmディレクトリの内容は、ghidra_evmを拡張またはデバッグするために、Eclipseでプロセッサとローダーを持つGhidraモジュールを作成するために使用できます。

チュートリアル

外部シンボリック実行ツールとの統合

注意事項

• CFGはevm_cfg_builderに従って作成されます。JUMPおよびJUMPI命令が利用されます。
• 逆アセンブリおよび制御フローウィンドウで分岐を検出して表示するために、32x32のジャンプテーブル（evm_jump_table）が生成されます。
• Ghidraはワードサイズが64ビットを超えるアーキテクチャやメモリを扱うようには設計されていません。つまり、PUSH32などの命令は逆コンパイルウィンドウで正しく表示されません。

ライセンス

Ghidra-evmはAGPLv3の下でライセンスされ配布されています。

謝辞

• 本研究は、欧州委員会のH2020プログラムのプロジェクトM-Sec（助成金814917）の支援を受けています。
• Ghidra-EVMはBlack Hat Asia 2021のアーセナルトラックで発表されました。スライドはこちらにあります。