hevm
hevm is a specialized fuzz testing tool designed for the Ethereum Virtual Machine (EVM), facilitating symbolic execution, unit testing, and smart contract debugging. It allows users to interactively debug contracts while displaying Solidity source, execute arbitrary EVM code, and perform extensive exploration of execution paths to identify assertion violations efficiently.
Top hevm Alternatives
go-fuzz
Go-fuzz is a sophisticated coverage-guided fuzzing tool designed for testing Go packages, particularly those handling complex text and binary inputs.
Honggfuzz
Honggfuzz is an advanced, security-focused software fuzzer that utilizes evolutionary, feedback-driven techniques based on code coverage.
FuzzDB
FuzzDB serves as a crucial toolkit for enhancing application security through dynamic testing.
Google OSS-Fuzz
OSS-Fuzz provides continuous fuzz testing for open source software, effectively revealing programming errors with significant security implications, such as buffer overflows.
Fuzzbuzz
Fuzzbuzz enhances the fuzz testing experience by seamlessly integrating into a developer's existing workflow.
Sulley
Sulley is a sophisticated fuzzing framework designed for seamless automation and unattended operation.
Fuzzapi
This Rails application features a user-friendly interface, simplifying the interaction with the gem...
syzkaller
It efficiently reproduces kernel crashes using multiple virtual machines, facilitating systematic debugging and minimizing the...
Ffuf
Users can execute fuzzing operations with customizable inputs and wordlists, making it adaptable for various...
Tayt
It generates transaction sequences and evaluates properties, highlighting any violations with clear call sequences and...
Etheno
It simplifies the process of utilizing complex tools like Echidna for large multi-contract projects...
american fuzzy lop
By generating compact, effective data corpora, it enhances the testing of complex applications like image...
Echidna
It performs grammar-based fuzzing to validate user-defined predicates against contract behaviors, ensuring safety...
Solidity Fuzzing Boilerplate
Users can leverage Echidna and Foundry's fuzzing capabilities, deploy various Solidity versions in Ganache, and...
Top hevm Features
- Symbolic execution of smart contracts
- Unit testing integration
- Interactive debugging with Solidity
- Easily fetch live network state
- Customizable assertion violation checks
- Counterexample generation for violations
- Function signature argument specialization
- Eager exploration of execution branches
- Git-based state management
- Arbitrary EVM code execution
- Flexible timeout configurations
- Comprehensive cheat codes available
- Integration with DappHub tool suite
- Automatic test case generation
- Supports Solidity unit tests
- RPC call support for live interactions
- Enhanced exploration for loop branches
- Detailed execution path analysis
- Environment manipulation via cheat codes
- Compatible with Stack and Cabal.
