Vai al contenuto principale
Sicurezza e testing

hevm

Fuzz testing e property testing

Visualizza su GitHub (si apre in una nuova scheda)

Vedi il prossimo

Crytic-Properties

Informazioni su hevm

hevm è un motore di esecuzione EVM simbolico e concreto, veloce, all'avanguardia e open source, in grado di trovare problemi negli smart contract. Attraverso il suo sistema di esecuzione e analisi simbolica, hevm può eseguire contratti in modo simbolico, semi-concreto o concreto per trovare bug, o confrontare due contratti diversi per individuare discrepanze, eseguendo un controllo di equivalenza.

Tag

  • CLI
  • Foundry
  • Sicurezza
  • Esecuzione simbolica

Repositoryethereum

Info

Tipo
Fuzz testing e property testing
Stelle su GitHub
362
Licenza
AGPL-3.0
Scheda revisionata
giugno 2026

Strumenti simili

Chimera

Chimera

Chimera è un framework per scrivere test Solidity in Foundry e poterli riutilizzare con altri strumenti open source come Echidna, Medusa, Halmos e Kontrol

Slither
Nativo CROPS

Slither

Slither è il motore di analisi statica in Python di Trail of Bits per Solidity e Vyper: eseguilo in CI per attivare rilevatori, stampare viste strutturali dei contratti o creare script per controlli personalizzati su intere codebase.

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.