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

hevm

Testes de fuzzing/propriedade

Ver no GitHub (abre em uma nova aba)

Ver próximo

Crytic-Properties

Sobre hevm

O hevm é um mecanismo de execução da EVM simbólico e concreto, rápido, de código aberto e de última geração, que pode encontrar problemas em contratos inteligentes. Por meio de seu sistema de execução e análise simbólica, o hevm pode executar contratos de forma simbólica, semiconcreta ou concreta para encontrar bugs, ou comparar dois contratos diferentes em busca de discrepâncias, realizando a verificação de equivalência.

Tags

  • CLI
  • Foundry
  • Segurança
  • Execução simbólica

Repositórioethereum

Informações

Tipo
Testes de fuzzing/propriedade
Estrelas no GitHub
362
Licença
AGPL-3.0
Listagem revisada
junho 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.