Slither

Testowanie fuzz/właściwości

Zobacz na GitHubie

Zobacz następne

Echidna

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

Tagi

Bezpieczeństwo
Analiza statyczna
Solidity
Vyper
Ciągła integracja

Repozytoriumcrytic

slither6,4 tys. (otwiera się w nowej karcie)

Informacje

Typ: Testowanie fuzz/właściwości
Gwiazdki na GitHubie: 6,4 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

Synpress

Synpress łączy Playwright z automatyzacją przeglądarki świadomą Ethereum, dzięki czemu możesz przeprowadzać testy end-to-end zdecentralizowanych aplikacji (dapps), w tym wyskakujących okienek portfeli i przełączeń łańcuchów, w CI.

Aderyn

Aderyn to otwartoźródłowy, oparty na języku Rust analizator statyczny inteligentnych kontraktów Solidity od Cyfrin, zaprojektowany, aby pomóc inżynierom protokołów i badaczom bezpieczeństwa w znajdowaniu luk w bazach kodu Solidity.