Перейти к основному контенту
Безопасность и тестирование
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 с автоматизацией браузера, адаптированной для Эфириума, чтобы вы могли проводить сквозное тестирование децентрализованных приложений (dapp), включая всплывающие окна кошельков и переключения сетей, в CI.

Aderyn

Aderyn

Aderyn — это статический анализатор смарт-контрактов на Solidity с открытым исходным кодом на базе Rust от Cyfrin, разработанный для того, чтобы помочь инженерам протоколов и исследователям безопасности находить уязвимости в базах кода на Solidity.