スマートコントラクトのセキュリティ監査ワークフロー

スマートコントラクト監査の手順を学ぶ

コードの読み込みと検索

エージェントはlist_dirとglobを使用して、作業フォルダ内のすべてのコントラクトファイルを検索し、read_fileでメインのソースコードを開いて検査します。これが始まりです。監査担当者は、コードを手動で読むことでスマートコントラクトの脆弱性を発見します。プロジェクト全体で外部呼び出し、アクセスチェック、状態変更をgrepで検索します。関連するすべての行のコードを確認するために、検索結果はチャットに即座に表示されます。プロトコルが稼働後に失敗することは、展開されたすべてのプロトコルにとって大きな懸念事項です。この手動レビュー手順は、展開前の構造化されたスマートコントラクトセキュリティ監査レビューをサポートします。エージェントがコードベースに変更を提案する前にロジックを理解するために、スマートコントラクト監査を学びましょう。

テストの実行とレビュー

エージェントはShellを使用して、PC上でテストコマンドと静的チェックコマンドを実行し、出力をテキストファイルに保存して参照用に保存し、発見事項のドラフトを作成します。これらの差分をレビューできます。これらの差分をレビューすることで、監査プロセス全体を明確に理解できます。Solidity監査を始めるには、コードを手動で読むことが重要です。ツールはwrite_fileを使用して、発見事項のメモと提案された修正をドラフトします。ファイルへの変更を承認する前に、差分を表示します。変更を加えるすべてのアクションの前に一時停止するには、Ask firstモードに切り替えることができます。テストの合格は修正が問題を解決したことを確認しますが、差分は依然として人がレビューします。