bulloak

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

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

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.