Echidna

Chimeraは、FoundryでSolidityのテストを記述し、Echidna、Medusa、Halmos、Kontrolなどの他のオープンソースツールで再利用できるようにするためのフレームワークです。

スリザーは、SolidityおよびVyper向けのTrail of BitsのPython静的解析エンジンです。CIで実行して検出器を起動したり、コントラクトの構造ビューを出力したり、コードベース全体にわたるカスタムチェックをスクリプト化したりできます。

Synpressは、Playwrightにイーサリアム対応のブラウザ自動化を重ねることで、CIでウォレットのポップアップやチェーンの切り替えを含む分散型アプリケーション (dapp) のエンドツーエンドテストを行えるようにします。

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

Aderynは、プロトコルエンジニアやセキュリティ研究者がSolidityコードベースの脆弱性を見つけるのを支援するように設計された、CyfrinのオープンソースでRustベースのSolidityスマート・コントラクト静的アナライザーです。

Medusaは、Echidnaにインスパイアされたステートフルなスマートコントラクトファザーです。スマートコントラクトの並列ファジングテストと、高度なスマートコントラクトの不変条件の検証を提供します。