Vai al contenuto principale
Sicurezza e testing
Nativo CROPS

solidity-coverage

Fuzz testing e property testing

Visualizza su GitHub (si apre in una nuova scheda)

Vedi il prossimo

hevm

Informazioni su solidity-coverage

solidity-coverage fornisce la copertura del codice degli smart contract per la piattaforma per sviluppatori Hardhat. È altamente accurato, supporta la compilazione completa di Solidity viaIR e un ampio set di pattern di rami di codice specifici per Solidity. È installato su circa 230.000 progetti GitHub e viene scaricato circa 100.000 volte a settimana da NPM.

Tag

  • Hardhat
  • Analisi
  • Copertura del codice
  • Solidity
  • Automazione dei test

Repositorysc-forks

Info

Tipo
Fuzz testing e property testing
Stelle su GitHub
1K
Licenza
MIT
Scheda revisionata
settembre 2026

Strumenti simili

Chimera

Chimera

Chimera è un framework per scrivere test Solidity in Foundry e poterli riutilizzare con altri strumenti open source come Echidna, Medusa, Halmos e Kontrol

Slither
Nativo CROPS

Slither

Slither è il motore di analisi statica in Python di Trail of Bits per Solidity e Vyper: eseguilo in CI per attivare rilevatori, stampare viste strutturali dei contratti o creare script per controlli personalizzati su intere codebase.

Echidna
Nativo CROPS

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.