Zum Hauptinhalt springen
Sicherheit & Testing
CROPS Native

Echidna

Fuzz-/Property-Testing

Auf GitHub ansehen (öffnet in einem neuen Tab)

Nächstes ansehen

Synpress

Über Echidna

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.

Tags

  • Fuzz-Testing
  • Testing
  • Sicherheit

Repositorycrytic

Info

Typ
Fuzz-/Property-Testing
GitHub-Sterne
3189
Lizenz
AGPL-3.0
Eintrag überprüft
September 2026

Ähnliche Tools

Chimera

Chimera

Chimera ist ein Framework, um Solidity-Tests in foundry zu schreiben und sie mit anderen Open-Source-Tools wie Echidna, Medusa, Halmos und Kontrol wiederverwenden zu können

Slither
CROPS Native

Slither

Slither ist die statische Python-Analyse-Engine von Trail of Bits für Solidity und Vyper: Führen Sie sie in der CI aus, um Detektoren auszulösen, Strukturansichten von Verträgen zu drucken oder benutzerdefinierte Prüfungen über ganze Codebasen hinweg zu skripten.

Medusa

Medusa

Medusa ist ein zustandsbehafteter Smart-Contract-Fuzzer, der von Echidna inspiriert wurde. Er bietet parallelisiertes Fuzz-Testing von Smart Contracts und die Verifizierung fortgeschrittener Smart-Contract-Invarianten.