Deep EVM #18：EVMバイトコードのデバッグ — トレース、スタックダンプ、cast run

低レベルEVMコードのデバッグの課題

Solidityトランザクションがリバートすると、記述的なエラーメッセージが得られます。HuffやYulトランザクションがリバートすると、0x — コンテキストゼロの空のリバートペイロードが得られます。

バイトコードレベルのデバッグには異なるツールとメンタルモデルが必要です。スタックマシンの観点で考え、メモリとストレージの変更をオペコードごとに追跡する必要があります。

cast run：トランザクションのリプレイ

cast runは失敗したトランザクションをデバッグする最速の方法です。歴史的な状態に対してリプレイし、何が起こったかを正確に表示。

forge debug：インタラクティブなステップスルー

TUI（ターミナルユーザーインターフェース）でEVM実行をオペコードごとにステップスルー。4つのパネル：オペコード、スタック、メモリ、ストレージ。

一般的なデバッグパターン

1. スタックアンダーフロー — 空スタックでの消費操作
2. 不正なJUMPデスティネーション — 非JUMPDESTオペコードへのジャンプ
3. 不正なABIエンコーディング — 適切なエンコーディングなしの生バイト返却
4. ストレージ衝突 — FREE_STORAGE_POINTER()の重複使用

まとめ

EVMバイトコードのデバッグは、ホビーとプロダクションレディの開発者を分けるスキルです。再現、トレース、絞り込み、比較、修正、回帰の体系的ワークフローを構築してください。