Pular para o conteúdo principal
Segurança e testes
Nativo CROPS

solidity-coverage

Testes de fuzzing/propriedade

Ver no GitHub (abre em uma nova aba)

Ver próximo

hevm

Sobre solidity-coverage

O solidity-coverage fornece cobertura de código de contrato inteligente para a plataforma de desenvolvedor Hardhat. É altamente preciso, suporta compilação completa de Solidity viaIR e um grande conjunto de padrões de ramificação de código específicos do Solidity. Está instalado em ~230 mil projetos do Github e é baixado ~100 mil vezes por semana do NPM.

Tags

  • Hardhat
  • Análise de dados
  • Cobertura de código
  • Solidity
  • Automação de testes

Repositóriosc-forks

Informações

Tipo
Testes de fuzzing/propriedade
Estrelas no GitHub
1 mil
Licença
MIT
Listagem revisada
setembro de 2026

Ferramentas semelhantes

Chimera

Chimera

O Chimera é um framework para escrever testes Solidity no Foundry e poder reutilizá-los com outras ferramentas de código aberto, como Echidna, Medusa, Halmos e Kontrol

Slither
Nativo CROPS

Slither

O Slither é o mecanismo de análise estática em Python da Trail of Bits para Solidity e Vyper: execute-o em CI para acionar detectores, imprimir visualizações estruturais de contratos ou criar scripts de verificações personalizadas em bases de código inteiras.

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.