Solidityの状態保持型ファジング比較｜Foundry・Echidna・Medusaを同じ性質で検証

Foundry 1.8.0、Echidna 2.3.3、Medusa 1.5.1に同じ7種類の意図的な不具合と安全な対照例を渡し、再現率、反例、乱数の種、入力集、網羅率、自動検証の設計を比較します。