Saltar al contenido principal
Seguridad y pruebas

hevm

Pruebas de fuzzing y propiedades

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

Ver siguiente

Crytic-Properties

Acerca de hevm

hevm es un motor de ejecución de EVM simbólico y concreto, rápido, de código abierto y de última generación que puede encontrar problemas en contratos inteligentes. A través de su sistema de ejecución y análisis simbólico, hevm puede ejecutar contratos de forma simbólica, semiconcreta o concreta para encontrar errores, o comparar dos contratos diferentes en busca de discrepancias, realizando comprobaciones de equivalencia.

Etiquetas

  • CLI
  • Foundry
  • Seguridad
  • Ejecución simbólica

Repositorioethereum

Información

Tipo
Pruebas de fuzzing y propiedades
Estrellas en GitHub
362
Licencia
AGPL-3.0
Listado revisado
junio 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.