Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Description

Every minute, a multitude of autonomously generated tests is executed to identify vulnerabilities and facilitate swift remediation. Mayhem eliminates uncertainty surrounding untested code by autonomously creating test suites that yield practical outcomes. There is no requirement to recompile the code, as Mayhem operates seamlessly with dockerized images. Its self-learning machine learning technology continuously executes thousands of tests each second, searching for crashes and defects, allowing developers to concentrate on enhancing features. Background continuous testing detects new defects and expands code coverage effectively. For each defect identified, Mayhem provides a detailed reproduction and backtrace, prioritizing them according to your risk assessment. Users can view all results, organized and prioritized based on immediate needs for fixes. Mayhem integrates effortlessly into your existing development tools and build pipeline, granting developers access to actionable insights regardless of the programming language or tools utilized by the team. This adaptability ensures that teams can maintain their workflow without disruption while enhancing their code quality.

Description

The hevm project serves as a tailored implementation of the Ethereum Virtual Machine (EVM) designed for tasks like symbolic execution, unit testing, and debugging of smart contracts. Created by DappHub, it seamlessly integrates with the suite of tools offered by the same developer. The hevm command line interface enables users to symbolically execute smart contracts, conduct unit tests, debug contracts interactively while displaying the Solidity source code, or execute any arbitrary EVM code. It allows computations to be carried out using a local state established within a testing framework or retrieved from live networks through RPC calls. Users can initiate symbolic execution with specified parameters to detect assertion violations and can also customize certain function signature arguments while keeping others abstract. Notably, hevm adopts an eager approach to symbolic execution, meaning that it initially strives to investigate all branches of the program. This comprehensive method enhances the reliability and robustness of smart contract development and testing.

API Access

Has API Yes 

API Access

Has API No 

Screenshots View All

Screenshots View All

Integrations

Android Yes 
Atlassian Clover Yes 
Azure DevOps Yes 
Cargo Yes 
CircleCI Yes 
Docker Yes 
Ethereum No 
Fortran Yes 
GitHub Yes 
GitLab Yes 
Go Yes 
Google Chat Yes 
Java Yes 
Jenkins Yes 
MATLAB Yes 
Python Yes 
Slack Yes 
Solidity No 
Swift Yes 

Integrations

Android No 
Atlassian Clover No 
Azure DevOps No 
Cargo No 
CircleCI No 
Docker No 
Ethereum Yes 
Fortran No 
GitHub No 
GitLab No 
Go No 
Google Chat No 
Java No 
Jenkins No 
MATLAB No 
Python No 
Slack No 
Solidity Yes 
Swift No 

Pricing Details

No price information available.
Free Trial Yes 
Free Version No 

Pricing Details

Free
Free Trial No 
Free Version Yes 

Deployment

Web-Based No 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows Yes 
Mac Yes 
Linux Yes 
Chromebook No 

Deployment

Web-Based No 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows Yes 
Mac Yes 
Linux Yes 
Chromebook No 

Customer Support

Business Hours No 
Live Rep (24/7) No 
Online Support Yes 

Customer Support

Business Hours No 
Live Rep (24/7) No 
Online Support Yes 

Types of Training

Training Docs Yes 
Webinars Yes 
Live Training (Online) Yes 
In Person No 

Types of Training

Training Docs Yes 
Webinars No 
Live Training (Online) No 
In Person No 

Vendor Details

Company Name

Mayhem

Website

www.mayhem.security/mayhem-code-security

Vendor Details

Company Name

DappHub

Website

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

Product Features

Product Features

Alternatives

Alternatives

Mayhem Reviews

Mayhem

ForAllSecure
Echidna Reviews

Echidna

Crytic
Tayt Reviews

Tayt

Crytic
CourtCaseFinder.com Reviews

CourtCaseFinder.com

Court Case Finder
Mayhem Reviews

Mayhem

ForAllSecure