Ratings and Reviews 0 Ratings

Total 0 out of 5 stars
ease 0 out of 5 stars
features 0 out of 5 stars
design 0 out of 5 stars
support 0 out of 5 stars

This software has no reviews. Be the first to write a review.

Write a Review

Ratings and Reviews 0 Ratings

Total 0 out of 5 stars
ease 0 out of 5 stars
features 0 out of 5 stars
design 0 out of 5 stars
support 0 out of 5 stars

This software has no reviews. Be the first to write a review.

Write a Review

Alternatives to Consider

  • Okyline Reviews & Ratings
    5.0 out of 5 stars 2 Ratings
    Company Website for Okyline
  • SmartDraw Reviews & Ratings
    4.4 out of 5 stars 573 Ratings
    Company Website for SmartDraw
  • R3 Contract Management for GovCon Reviews & Ratings
    5.0 out of 5 stars 1 Rating
    Company Website for R3 Contract Management for GovCon
  • LinkSquares Reviews & Ratings
    4.7 out of 5 stars 727 Ratings
    Company Website for LinkSquares
  • Parasoft Reviews & Ratings
    4.6 out of 5 stars 152 Ratings
    Company Website for Parasoft
  • Reflectiz Reviews & Ratings
    4.7 out of 5 stars 34 Ratings
    Company Website for Reflectiz
  • Virtuoso QA Reviews & Ratings
    4.5 out of 5 stars 131 Ratings
    Company Website for Virtuoso QA
  • PayHOA Reviews & Ratings
    4.7 out of 5 stars 817 Ratings
    Company Website for PayHOA
  • InEight Reviews & Ratings
    4.1 out of 5 stars 168 Ratings
    Company Website for InEight
  • CompUp Reviews & Ratings
    4.9 out of 5 stars 66 Ratings
    Company Website for CompUp

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 dotPeek?

After successfully decompiling an assembly, you can save it as a Visual Studio project file (.csproj), which can greatly streamline the process of recovering lost source code from older assemblies. dotPeek possesses the ability to find local source files through PDB files, or it can pull source code from various online source servers such as Microsoft Reference Source Center or SymbolSource. In addition, dotPeek serves as a symbol server, equipping the Visual Studio debugger with the essential information needed for effective assembly code troubleshooting. Many of dotPeek's features are influenced by ReSharper, encompassing both contextual and non-contextual navigation options, usage searches, and a variety of views that detail code structure and hierarchy. You can leverage the Find Usages feature to identify every occurrence of a symbol, whether it’s a method, property, local variable, or another type of entity. The Find Results tool window enhances your workflow by allowing you to organize these usages, navigate between them with ease, and access them directly within the code view. Furthermore, dotPeek helps developers understand complex legacy systems and facilitates better assembly management, making it an essential resource in any developer's toolkit. Its wide range of functionalities significantly contributes to improving efficiency during the debugging and code recovery processes.

Media

Media

Integrations Supported

Ethereum
Solidity

Integrations Supported

Visual Studio
dotCover

API Availability

API Availability

Pricing Information

Free
Free Version

Pricing Information

Free
Free Version

Supported Platforms

Windows
Mac
Linux

Supported Platforms

Windows
Mac
Linux

Customer Service / Support

Web-Based Support

Customer Service / Support

Web-Based Support

Training Options

Documentation Hub

Training Options

Documentation Hub
Online Training

Company Facts

Organization Name

DappHub

Company Website

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

Company Facts

Organization Name

JetBrains

Date Founded

2000

Company Location

Czech Republic

Company Website

www.jetbrains.com/decompiler/

Categories and Features

Fuzz Testing

Not specified

Categories and Features

Popular Alternatives

Echidna Reviews & Ratings

Echidna

Crytic

Popular Alternatives

ReSharper Reviews & Ratings

ReSharper

JetBrains
Sourcetrail Reviews & Ratings

Sourcetrail

Coati Software
Mayhem Reviews & Ratings

Mayhem

ForAllSecure
Tayt Reviews & Ratings

Tayt

Crytic
IDA Pro Reviews & Ratings

IDA Pro

Hex-Rays