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

Our platform uses a variety of security techniques, including feedback-based fuzz testing and coverage-guided fuzz testing, in order to generate millions upon millions of test cases that trigger difficult-to-find bugs deep in your application. This white-box approach helps to prevent edge cases and speed up development. Advanced fuzzing engines produce inputs that maximize code coverage. Powerful bug detectors check for errors during code execution. Only uncover true vulnerabilities. You will need the stack trace and input to prove that you can reproduce errors reliably every time. AI white-box testing is based on data from all previous tests and can continuously learn the inner workings of your application. This allows you to trigger security-critical bugs with increasing precision.

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

Apache Maven Yes 
C Yes 
CLion Yes 
CircleCI Yes 
Docker Yes 
GitHub Yes 
GitLab Yes 
Go Yes 
Gradle Yes 
JUnit Yes 
Java Yes 
JavaScript Yes 
Jenkins Yes 
Jira Yes 
Kubernetes Yes 
Solidity No 
Travis CI Yes 
Vim Yes 
Visual Basic Yes 
Visual Studio Yes 

Integrations

Apache Maven No 
C No 
CLion No 
CircleCI No 
Docker No 
GitHub No 
GitLab No 
Go No 
Gradle No 
JUnit No 
Java No 
JavaScript No 
Jenkins No 
Jira No 
Kubernetes No 
Solidity Yes 
Travis CI No 
Vim No 
Visual Basic No 
Visual Studio No 

Pricing Details

No price information available.
Free Trial No 
Free Version No 

Pricing Details

Free
Free Trial No 
Free Version Yes 

Deployment

Web-Based Yes 
On-Premises Yes 
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 Yes 

Types of Training

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

Vendor Details

Company Name

Code Intelligence

Country

Germany

Website

www.code-intelligence.com

Vendor Details

Company Name

DappHub

Website

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

Product Features

Application Security

Analytics / Reporting Yes 
Open Source Component Monitoring No 
Source Code Analysis No 
Third-Party Tools Integration No 
Training Resources Yes 
Vulnerability Detection Yes 
Vulnerability Remediation Yes 

Product Features

Alternatives

Mayhem Reviews

Mayhem

ForAllSecure

Alternatives

go-fuzz Reviews

go-fuzz

dvyukov
Echidna Reviews

Echidna

Crytic
Atheris Reviews

Atheris

Google
Tayt Reviews

Tayt

Crytic
LibFuzzer Reviews

LibFuzzer

LLVM Project
Mayhem Reviews

Mayhem

ForAllSecure