Saltar al contenido principal
Seguridad y pruebas
Nativo de CROPS

solidity-coverage

Pruebas de fuzzing y propiedades

Ver en GitHub (se abre en una pestaña nueva)

Ver siguiente

hevm

Acerca de solidity-coverage

solidity-coverage proporciona cobertura de código de contratos inteligentes para la plataforma de desarrolladores Hardhat. Es muy preciso, admite la compilación completa de Solidity viaIR y un gran conjunto de patrones de ramas de código específicos de Solidity. Está instalado en ~230 mil proyectos de Github y se descarga ~100 mil veces a la semana desde NPM.

Etiquetas

  • Hardhat
  • Análisis
  • Cobertura de código
  • Solidity
  • Automatización de pruebas

Repositoriosc-forks

Información

Tipo
Pruebas de fuzzing y propiedades
Estrellas en GitHub
1 mil
Licencia
MIT
Listado revisado
septiembre de 2026

Herramientas similares

Chimera

Chimera

Chimera es un marco para escribir pruebas de Solidity en foundry y poder reutilizarlas con otras herramientas de código abierto como Echidna, Medusa, Halmos y Kontrol.

Slither
Nativo de CROPS

Slither

Slither es el motor de análisis estático en Python de Trail of Bits para Solidity y Vyper: ejecútelo en CI para activar detectores, imprimir vistas estructurales de contratos o crear secuencias de comandos de comprobaciones personalizadas en bases de código completas.

Echidna
Nativo de 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.