Echidna

Testowanie fuzz/właściwości

Zobacz na GitHubie

Zobacz następne

Synpress

O 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.

Tagi

Testowanie fuzz
Testowanie
Bezpieczeństwo

Repozytoriumcrytic

echidna3,2 tys. (otwiera się w nowej karcie)

Informacje

Typ: Testowanie fuzz/właściwości
Gwiazdki na GitHubie: 3,2 tys.
Licencja: AGPL-3.0
Przegląd wpisu: wrzesień 2026

Podobne narzędzia

Chimera

Chimera to framework do pisania testów Solidity w foundry z możliwością ich ponownego użycia z innymi narzędziami Open Source, takimi jak Echidna, Medusa, Halmos i Kontrol

CROPS Native

Slither

Slither to silnik analizy statycznej w języku Python od Trail of Bits dla Solidity i Vyper: uruchom go w CI, aby odpalać detektory, drukować widoki strukturalne kontraktów lub skryptować niestandardowe sprawdzenia w całych bazach kodu.

Medusa

Medusa to fuzzer inteligentnych kontraktów z zachowaniem stanu (stateful), zainspirowany przez Echidna. Zapewnia zrównoleglone testowanie rozmyte (fuzz testing) inteligentnych kontraktów oraz weryfikację zaawansowanych niezmienników inteligentnych kontraktów.