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

  • Okyline Reviews & Ratings
    2 Ratings
    Company Website
  • SmartDraw Reviews & Ratings
    551 Ratings
    Company Website
  • JetBrains Junie Reviews & Ratings
    12 Ratings
    Company Website
  • R3 Contract Management for GovCon Reviews & Ratings
    1 Rating
    Company Website
  • AI Docs Reviews & Ratings
    15 Ratings
    Company Website
  • LinkSquares Reviews & Ratings
    714 Ratings
    Company Website
  • Adaptive Security Reviews & Ratings
    91 Ratings
    Company Website
  • Parasoft Reviews & Ratings
    147 Ratings
    Company Website
  • Virtuoso QA Reviews & Ratings
    130 Ratings
    Company Website
  • Devin Desktop Reviews & Ratings
    171 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?

Mayhem is a cutting-edge fuzz testing platform that combines guided fuzzing with symbolic execution, utilizing a patented technology conceived at CMU. This advanced solution greatly reduces the necessity for manual testing by automatically identifying and validating software defects. By promoting the delivery of safe, secure, and dependable software, it significantly cuts down on the time, costs, and effort usually involved. A key feature of Mayhem is its ability to accumulate intelligence about its targets over time; as it learns, it refines its analysis and boosts overall code coverage. Each vulnerability it uncovers represents a confirmed and exploitable risk, allowing teams to prioritize their remediation efforts effectively. Moreover, Mayhem supports the remediation process by offering extensive system-level insights, including backtraces, memory logs, and register states, which accelerate the identification and resolution of problems. Its capacity to create custom test cases in real-time based on feedback from the target eliminates the need for any manual test case generation. Additionally, Mayhem guarantees that all produced test cases are easily accessible, transforming regression testing into a seamless and ongoing component of the development workflow. This remarkable blend of automated testing and intelligent feedback not only distinguishes Mayhem in the field of software quality assurance but also empowers developers to maintain high standards throughout the software lifecycle. As a result, teams can harness Mayhem's capabilities to foster a more efficient and effective development environment.

Media

Media

Integrations Supported

Bamboo
Docker
Drone
Ethereum
Google Cloud Platform
Jenkins
Okta
Slack
Solidity
Travis CI

Integrations Supported

Bamboo
Docker
Drone
Ethereum
Google Cloud Platform
Jenkins
Okta
Slack
Solidity
Travis CI

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

ForAllSecure

Date Founded

2012

Company Location

United States

Company Website

www.forallsecure.com

Categories and Features

Categories and Features

Automated Testing

Hierarchical View
Move & Copy
Parameterized Testing
Requirements-Based Testing
Security Testing
Supports Parallel Execution
Test Script Reviews
Unicode Compliance

Popular Alternatives

Echidna Reviews & Ratings

Echidna

Crytic

Popular Alternatives

Mayhem Reviews & Ratings

Mayhem

ForAllSecure
Tayt Reviews & Ratings

Tayt

Crytic
CourtCaseFinder.com Reviews & Ratings

CourtCaseFinder.com

Court Case Finder