Skip to main content
Security & testing

hevm

Fuzz/Property testing

View on GitHub (opens in a new tab)

See next

Crytic-Properties

About hevm

hevm is an open source, state-of-the art, fast symbolic and concrete EVM execution engine that can find issues in smart contracts. Through its symbolic execution and analysis system, hevm can symbolically, semi-concretely, or concretely execute contracts to find bugs, or compare two different contracts for discrepancies, performing equivalence checking.

Tags

  • CLI
  • Foundry
  • Security
  • Symbolic execution

Repositoryethereum

Info

Type
Fuzz/Property testing
GitHub stars
359

Similar tools

Chimera

Chimera

Chimera is a framework to write Solidity tests in foundry and be able to reuse them with other Open Source Tools such as Echidna, Medusa, Halmos and Kontrol

Slither

Slither

Slither is Trail of Bits' Python static analysis engine for Solidity and Vyper: run it in CI to fire detectors, print structural views of contracts, or script custom checks over whole codebases.

Echidna

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.