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

  • Blackbird API Development Reviews & Ratings
    1 Rating
    Company Website
  • Boozang Reviews & Ratings
    15 Ratings
    Company Website
  • Global App Testing Reviews & Ratings
    59 Ratings
    Company Website
  • AI Docs Reviews & Ratings
    15 Ratings
    Company Website
  • Adaptive Security Reviews & Ratings
    37 Ratings
    Company Website
  • Parasoft Reviews & Ratings
    130 Ratings
    Company Website
  • R3 Contract Management for GovCon Reviews & Ratings
    1 Rating
    Company Website
  • qTest Reviews & Ratings
    Company Website
  • PayHOA Reviews & Ratings
    594 Ratings
    Company Website
  • Boon Reviews & Ratings
    41 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 Mayhem Code Security?

Every minute, countless tests are generated autonomously to uncover vulnerabilities and enable rapid remediation. Mayhem removes the ambiguity associated with untested code by autonomously developing test suites that produce tangible results. There is no need to recompile the code, as Mayhem functions smoothly with dockerized images. Its machine learning technology, which learns on its own, runs thousands of tests every second, looking for crashes and defects, thus allowing developers to focus on feature enhancements. Continuous background testing identifies new defects and effectively broadens code coverage. For each defect found, Mayhem offers a comprehensive reproduction and backtrace while prioritizing issues based on your risk assessment. Users can access all results in an organized manner, ranked according to the urgency of required fixes. Mayhem integrates seamlessly with existing development tools and build pipelines, providing developers with actionable insights no matter which programming languages or tools the team employs. This versatility ensures that teams can continue their workflow without interruption while simultaneously improving their code quality. Additionally, Mayhem’s intuitive interface and robust reporting features further empower developers to address issues efficiently.

Media

Media

Integrations Supported

Ada
Android
Atlassian Clover
Azure DevOps
C
C++
Cargo
CircleCI
Docker
Fortran
GitHub
GitLab
Go
Jenkins
MATLAB
Objective-C
Python
Rust
Swift

Integrations Supported

Ada
Android
Atlassian Clover
Azure DevOps
C
C++
Cargo
CircleCI
Docker
Fortran
GitHub
GitLab
Go
Jenkins
MATLAB
Objective-C
Python
Rust
Swift

API Availability

Has API

API Availability

Has API

Pricing Information

Free
Free Trial Offered?
Free Version

Pricing Information

Pricing not provided.
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

Mayhem

Company Website

www.mayhem.security/mayhem-code-security

Categories and Features

Categories and Features

Popular Alternatives

Echidna Reviews & Ratings

Echidna

Crytic

Popular Alternatives

Mayhem Reviews & Ratings

Mayhem

ForAllSecure
Tayt Reviews & Ratings

Tayt

Crytic
beSTORM Reviews & Ratings

beSTORM

Beyond Security (Fortra)
Etheno Reviews & Ratings

Etheno

Crytic