hevm

hevm

DappHub
Code Intelligence hevm

Related Products

  • Parasoft
    4.6 out of 5 stars 152 Ratings
    Visit Website for Parasoft
  • MuukTest
    4.6 out of 5 stars 34 Ratings
    Visit Website for MuukTest
  • Aikido Security
    4.6 out of 5 stars 367 Ratings
    Visit Website for Aikido Security
  • Jscrambler
    4.4 out of 5 stars 41 Ratings
    Visit Website for Jscrambler
  • QA Wolf
    4.8 out of 5 stars 284 Ratings
    Visit Website for QA Wolf
  • Feroot
    4.9 out of 5 stars 33 Ratings
    Visit Website for Feroot
  • TrustInSoft Analyzer
    4.3 out of 5 stars 6 Ratings
    Visit Website for TrustInSoft Analyzer
  • NMI Payments
    4.6 out of 5 stars 115 Ratings
    Visit Website for NMI Payments
  • Flagsmith
    4.8 out of 5 stars 43 Ratings
    Visit Website for Flagsmith
  • TraceEngine
    5.0 out of 5 stars 1 Rating
    Visit Website for TraceEngine
Code Intelligence:

About

Our platform uses various security techniques, including coverage-guided and feedback-based fuzz testing, to automatically generate millions of test cases that trigger hard-to-find bugs deep within your application. This white-box approach protects against edge cases and speeds up development. Advanced fuzzing engines generate inputs that maximize code coverage. Powerful bug detectors check for errors during code execution. Uncover true vulnerabilities only. Get the input and stack trace as proof, so you can reliably reproduce errors every time. AI white-box testing uses data from all previous test runs to continuously learn the inner-workings of your application, triggering security-critical bugs with increasingly high precision.
hevm:

About

The hevm project is an implementation of the Ethereum Virtual Machine (EVM) made specifically for symbolic execution, unit testing, and debugging of smart contracts. It is developed by DappHub and integrates especially well with the DappHub tool suite. The hevm command line program can symbolically execute smart contracts, run unit tests, interactively debug contracts while showing the Solidity source, or run arbitrary EVM code. Computations can be performed using a local state set up in a testing harness or fetched on demand from live networks using RPC calls. Run a symbolic execution against the given parameters, searching for assertion violations. One can also specialize specific arguments to a function signature while leaving others abstract. hevm uses an eager approach for symbolic execution, meaning that it will first attempt to explore all branches of the program.
Code Intelligence:

Platforms Supported

Windows Supported
Mac Supported
Linux Supported
Cloud Supported
On-Premises Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported
hevm:

Platforms Supported

Windows Supported
Mac Supported
Linux Supported
Cloud Not Supported
On-Premises Not Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported
Code Intelligence:

Audience

Developers interested in an automated application security solution
hevm:

Audience

Anyone interested in a solution to test and debug their smart contracts
Code Intelligence:

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported
hevm:

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported
Code Intelligence:

API

Offers API Supported
hevm:

API

Offers API Not Supported
Code Intelligence:

Screenshots and Videos

hevm:

Screenshots and Videos

Code Intelligence:

Pricing

No information available.
Free Version Not Supported
Free Trial Not Supported
hevm:

Pricing

Free
Free Version Supported
Free Trial Not Supported
Code Intelligence:

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software
hevm:

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software
Code Intelligence:

Training

Documentation Supported
Webinars Supported
Live Online Supported
In Person Supported
hevm:

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported
Code Intelligence:

Company Information

Code Intelligence
Germany
www.code-intelligence.com
hevm:

Company Information

DappHub
github.com/dapphub/dapptools/blob/master/src/hevm/README.md
Code Intelligence:

Alternatives

go-fuzz

go-fuzz

dvyukov
hevm:

Alternatives

Echidna

Echidna

Crytic
Code Intelligence:
Mayhem

Mayhem

ForAllSecure
hevm:
Code Intelligence:
LibFuzzer

LibFuzzer

LLVM Project
hevm:
Mayhem

Mayhem

ForAllSecure
Code Intelligence:
CI Fuzz

CI Fuzz

Code Intelligence
hevm:
Tayt

Tayt

Crytic
Code Intelligence:
Atheris

Atheris

Google
hevm:
Etheno

Etheno

Crytic
Code Intelligence:

Categories

Code Coverage Supported
Fuzz Testing Supported
hevm:

Categories

Fuzz Testing Supported
Code Intelligence:

Application Security Features

Analytics / Reporting Supported
Open Source Component Monitoring Not Supported
Source Code Analysis Not Supported
Third-Party Tools Integration Not Supported
Training Resources Supported
Vulnerability Detection Supported
Vulnerability Remediation Supported
Code Intelligence:

Integrations

Apache Maven Supported
C Supported
C++ Supported
CLion Supported
CircleCI Supported
Docker Supported
Ethereum Not Supported
GitHub Supported
GitLab Supported
Go Supported
Gradle Supported
JUnit Supported
Java Supported
JavaScript Supported
Jenkins Supported
Kubernetes Supported
Solidity Not Supported
Travis CI Supported
Vim Supported
Visual Basic Supported
hevm:

Integrations

Apache Maven Not Supported
C Not Supported
C++ Not Supported
CLion Not Supported
CircleCI Not Supported
Docker Not Supported
Ethereum Supported
GitHub Not Supported
GitLab Not Supported
Go Not Supported
Gradle Not Supported
JUnit Not Supported
Java Not Supported
JavaScript Not Supported
Jenkins Not Supported
Kubernetes Not Supported
Solidity Supported
Travis CI Not Supported
Vim Not Supported
Visual Basic Not Supported
Code Intelligence:
Claim Code Intelligence and update features and information
Claim Code Intelligence and update features and information
hevm:
Claim hevm and update features and information
Claim hevm and update features and information