Перейти до основного вмісту
Безпека та тестування
CROPS Native

Slither

Фаззинг / тестування властивостей

Переглянути на GitHub (відкривається в новій вкладці)Slither на X (відкривається в новій вкладці)

Дивитися далі

Echidna

Про Slither

Слізер — це рушій статичного аналізу на Python від Trail of Bits для Solidity та Vyper: запускайте його в CI для активації детекторів, друку структурних виглядів контрактів або написання скриптів для користувацьких перевірок цілих кодових баз.

Теги

  • Безпека
  • Статичний аналіз
  • Solidity
  • Vyper
  • Безперервна інтеграція

Репозиторійcrytic

Інформація

Тип
Фаззинг / тестування властивостей
Зірки на GitHub
6,4 тис.
Ліцензія
AGPL-3.0
Запис перевірено
вересень 2026 р.

Схожі інструменти

Chimera

Chimera

Chimera — це фреймворк для написання тестів Solidity у foundry з можливістю їх повторного використання з іншими інструментами з відкритим вихідним кодом, такими як Echidna, Medusa, Halmos та Kontrol

Synpress

Synpress

Synpress поєднує Playwright з автоматизацією браузера, що підтримує Етеріум, щоб ви могли проводити наскрізне тестування децентралізованих застосунків (dapps), включаючи спливаючі вікна гаманців та перемикання ланцюгів, у CI.

Aderyn

Aderyn

Aderyn — це статичний аналізатор смарт-контрактів на Solidity з відкритим вихідним кодом на базі Rust від Cyfrin, розроблений, щоб допомогти інженерам протоколів та дослідникам безпеки знаходити вразливості в кодових базах на Solidity.