Ratings and Reviews 0 Ratings

Total
ease
features
design
support

This software has no reviews. Be the first to write a review.

Write a Review

Ratings and Reviews 0 Ratings

Total
ease
features
design
support

This software has no reviews. Be the first to write a review.

Write a Review

Alternatives to Consider

  • Testsigma Reviews & Ratings
    65 Ratings
    Company Website
  • Blackbird API Development Reviews & Ratings
    1 Rating
    Company Website
  • Boozang Reviews & Ratings
    14 Ratings
    Company Website
  • LambdaTest Reviews & Ratings
    2,246 Ratings
    Company Website
  • Global App Testing Reviews & Ratings
    48 Ratings
    Company Website
  • AI Docs Reviews & Ratings
    15 Ratings
    Company Website
  • Parasoft Reviews & Ratings
    120 Ratings
    Company Website
  • Figure Markets Reviews & Ratings
    89 Ratings
    Company Website
  • R3 Contract Management for GovCon Reviews & Ratings
    1 Rating
    Company Website
  • Kualitee Reviews & Ratings
    169 Ratings
    Company Website

What is hevm?

The hevm project is a specialized version of the Ethereum Virtual Machine (EVM) that focuses on symbolic execution, unit testing, and the debugging of smart contracts. Developed by DappHub, it works flawlessly with the tools provided by the same creators. The hevm command line interface allows users to execute smart contracts symbolically, perform unit tests, and interactively debug contracts while showing the corresponding Solidity source code, as well as execute any arbitrary EVM code. It enables calculations to be performed either using a local state set up within a testing framework or by accessing live networks through RPC calls. Users can start symbolic execution with defined parameters to find assertion violations and have the flexibility to customize certain function signature arguments while leaving others as abstract. Importantly, hevm employs an eager approach to symbolic execution, aiming to investigate all branches of the program right from the outset. This thorough methodology significantly improves the reliability and robustness of the processes involved in smart contract development and testing. Moreover, the integration of hevm with other DappHub tools enhances the overall development experience for blockchain developers.

What is Solidity Fuzzing Boilerplate?

The Solidity Fuzzing Boilerplate acts as a crucial starting point, aimed at streamlining the fuzzing procedure for diverse aspects of Solidity projects, especially libraries. Developers can write their tests once and seamlessly run them with the fuzzing tools provided by both Echidna and Foundry. When different Solidity versions are needed for certain components, these can be easily deployed within a Ganache instance using Etheno. For generating complex fuzzing inputs or performing differential fuzzing by comparing results with non-EVM executables, HEVM's FFI cheat code is a highly effective tool. Furthermore, results from fuzzing experiments can be shared without worrying about licensing implications by adjusting the shell script to pull specific files. If your Solidity contracts will not utilize shell commands, it is wise to disable FFI, as it can slow down processes and should mainly be seen as a workaround. This feature is particularly advantageous when testing intricate implementations that are hard to reproduce in Solidity but can be found in other programming languages. It is crucial to carefully examine the commands executed before initiating tests in projects with FFI enabled, to ensure a thorough understanding of the actions being performed. Maintaining clarity in your testing methodology is vital for upholding the integrity and effectiveness of your fuzzing initiatives, and it ultimately enhances the overall reliability of the project.

Media

Media

Integrations Supported

Solidity
Echidna Finance
Etheno
Ethereum
Foundry

Integrations Supported

Solidity
Echidna Finance
Etheno
Ethereum
Foundry

API Availability

Has API

API Availability

Has API

Pricing Information

Free
Free Trial Offered?
Free Version

Pricing Information

Free
Free Trial Offered?
Free Version

Supported Platforms

SaaS
Android
iPhone
iPad
Windows
Mac
On-Prem
Chromebook
Linux

Supported Platforms

SaaS
Android
iPhone
iPad
Windows
Mac
On-Prem
Chromebook
Linux

Customer Service / Support

Standard Support
24 Hour Support
Web-Based Support

Customer Service / Support

Standard Support
24 Hour Support
Web-Based Support

Training Options

Documentation Hub
Webinars
Online Training
On-Site Training

Training Options

Documentation Hub
Webinars
Online Training
On-Site Training

Company Facts

Organization Name

DappHub

Company Website

github.com/dapphub/dapptools/blob/master/src/hevm/README.md

Company Facts

Organization Name

patrickd

Company Website

github.com/patrickd-/solidity-fuzzing-boilerplate

Categories and Features

Categories and Features

Popular Alternatives

Echidna Reviews & Ratings

Echidna

Crytic

Popular Alternatives

Echidna Reviews & Ratings

Echidna

Crytic
Tayt Reviews & Ratings

Tayt

Crytic
Honggfuzz Reviews & Ratings

Honggfuzz

Google
Etheno Reviews & Ratings

Etheno

Crytic
ClusterFuzz Reviews & Ratings

ClusterFuzz

Google