Echidnaの強化されたシンボリック実行：スマートコントラクトセキュリティテストの新時代

Echidnaチームは、ファジングツールに強化されたシンボリック実行機能を統合し、スマートコントラクトのセキュリティテスト能力を大幅に向上させました。新機能には、ステートレステストの正しさを証明するために使用される検証モードと、状態変化を含むシナリオにおけるアサーションエラーを特定するためにファジングと組み合わせる探索モードの2つのモードが含まれています。この機能は追加のコードを必要とせず、既存のファジングの上にさらに強力なセキュリティ保証を提供し、実際のテストですでに有望な結果を示しています。ループや動的なデータ構造の処理など、課題は残っていますが、大きな可能性を秘めています。