Saltar al contenido principal
Seguridad y pruebas
Nativo de CROPS

Echidna

Pruebas de fuzzing y propiedades

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

Ver siguiente

Synpress

Acerca de 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.

Etiquetas

  • Pruebas de fuzzing
  • Pruebas
  • Seguridad

Repositoriocrytic

Información

Tipo
Pruebas de fuzzing y propiedades
Estrellas en GitHub
3,2 mil
Licencia
AGPL-3.0
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.

Medusa

Medusa

Medusa es un fuzzer de contratos inteligentes con estado inspirado en Echidna. Proporciona pruebas de fuzzing paralelizadas de contratos inteligentes y la verificación de invariantes avanzados de contratos inteligentes.