Przejdź do głównej treści
Bezpieczeństwo i testowanie

Medusa

Testowanie fuzz/właściwości

Zobacz na GitHubie (otwiera się w nowej karcie)Medusa na X (otwiera się w nowej karcie)

Zobacz następne

eth-tester

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

Tagi

  • Bezpieczeństwo
  • Zarządzanie
  • Analityka
  • Testowanie fuzz

Repozytoriumcrytic

Informacje

Typ
Testowanie fuzz/właściwości
Gwiazdki na GitHubie
498
Licencja
AGPL-3.0
Przegląd wpisu
marzec 2026

Podobne narzędzia

Chimera

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

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

Echidna
CROPS Native

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.