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 a... 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. It operates efficiently in...
FuzzDB
FuzzDB serves as a crucial toolkit for enhancing application security through dynamic testing. It offers an extensive array of attack...
Jazzer
Jazzer is an innovative coverage-guided fuzzer designed for the JVM platform, leveraging libFuzzer's advanced mutation capabilities. It offers a unique...
Fuzzbuzz
Fuzzbuzz enhances the fuzz testing experience by seamlessly integrating into a developer's existing workflow. It automates the execution of fuzz...
Google OSS-Fuzz
OSS-Fuzz provides continuous fuzz testing for open source software, effectively revealing programming errors with significant security implications, such as buffer...
Fuzzapi
Fuzzapi is an innovative tool designed for REST API penetration testing, leveraging the capabilities of the API_Fuzzer gem to enhance...
Sulley
Sulley is a sophisticated fuzzing framework designed for seamless automation and unattended operation. With robust data generation capabilities, it meticulously...
Ffuf
Ffuf is a high-performance web fuzzing tool crafted in Go, designed for efficient vulnerability discovery. Users can execute fuzzing operations...
syzkaller
Syzkaller is an advanced unsupervised coverage-guided kernel fuzzer designed to enhance system security by identifying vulnerabilities across various operating systems,...
Etheno
Etheno serves as an innovative Ethereum testing tool, seamlessly integrating JSON RPC multiplexing and analysis. It simplifies the process of...
Tayt
Tayt serves as an advanced fuzzer for StarkNet smart contracts, allowing users to analyze contract behavior through rigorous testing. It...
Echidna
Echidna is a sophisticated fuzz testing tool designed specifically for Ethereum smart contracts, utilizing Haskell for property-based testing. It performs...
american fuzzy lop
This security-oriented fuzzer utilizes advanced compile-time instrumentation and genetic algorithms to identify novel test cases that expose new states in...
Solidity Fuzzing Boilerplate
Designed for efficiency, the Solidity Fuzzing Boilerplate simplifies the fuzzing of Solidity components, particularly libraries. Users can leverage Echidna and...
Company Information
- Company: DappHub
- Country: United States
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.
