Перейти к основному контенту
Безопасность и тестирование
CROPS Native

solidity-coverage

Фаззинг и тестирование свойств

Посмотреть на GitHub (открывается в новой вкладке)

Смотреть далее

hevm

О solidity-coverage

solidity-coverage обеспечивает покрытие кода смарт-контрактов для платформы разработчиков Hardhat. Он обладает высокой точностью, поддерживает полную компиляцию Solidity viaIR и большой набор специфичных для Solidity шаблонов ветвления кода. Он установлен примерно в 230 тысячах проектов на GitHub и скачивается около 100 тысяч раз в неделю из NPM.

Теги

  • Hardhat
  • Аналитика
  • Покрытие кода
  • Solidity
  • Автоматизация тестирования

Репозиторийsc-forks

Информация

Тип
Фаззинг и тестирование свойств
Звезды на GitHub
1 тыс.
Лицензия
MIT
Информация проверена
сентябрь 2026 г.

Похожие инструменты

Chimera

Chimera

Chimera — это фреймворк для написания тестов Solidity в Foundry с возможностью их повторного использования с другими инструментами с открытым исходным кодом, такими как Echidna, Medusa, Halmos и Kontrol.

Slither
CROPS Native

Slither

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

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.