Перейти до основного вмісту
Безпека та тестування
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.