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

  • SmartDraw Reviews & Ratings
    526 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
  • Adaptive Security Reviews & Ratings
    88 Ratings
    Company Website
  • LinkSquares Reviews & Ratings
    713 Ratings
    Company Website
  • Parasoft Reviews & Ratings
    143 Ratings
    Company Website
  • Virtuoso QA Reviews & Ratings
    128 Ratings
    Company Website
  • qTest Reviews & Ratings
    Company Website
  • Titan Reviews & Ratings
    376 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 Sourcetrail?

Sourcetrail is an interactive application aimed at facilitating the navigation and understanding of existing source code by meticulously indexing it and gathering details regarding its architecture. This innovative tool features a user-centric interface that comprises three dynamic views, each critical for efficiently accessing pertinent information. The Search function allows users to quickly find and select indexed symbols within the codebase, with an autocompletion box that provides an immediate summary of all relevant findings across the entire project. The Graph view effectively showcases the structure of the source code, highlighting the currently selected symbol while also displaying its dependencies, both incoming and outgoing, with other related symbols. In addition, the Code view enumerates all source locations associated with the chosen symbol through various code snippets, enabling users to click on any item for a deeper investigation of the code. By offering such comprehensive tools and features, Sourcetrail not only simplifies the comprehension of intricate code structures but also empowers developers to enhance their coding practices and productivity. Ultimately, it serves as an invaluable resource for anyone looking to navigate complex software projects with ease.

Media

Media

Integrations Supported

Atom
CLion
Django
Eclipse IDE
Emacs
Ethereum
HTML
JavaScript
Python
Qt Creator
React
Solidity
Sublime Text
Vim
Visual Studio Code
jQuery

Integrations Supported

Atom
CLion
Django
Eclipse IDE
Emacs
Ethereum
HTML
JavaScript
Python
Qt Creator
React
Solidity
Sublime Text
Vim
Visual Studio Code
jQuery

API Availability

Has API

API Availability

Has API

Pricing Information

Free
Free Trial Offered?
Free Version

Pricing Information

$195.00/one-time/user
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

Coati Software

Date Founded

2015

Company Location

Austria

Company Website

www.sourcetrail.com

Categories and Features

Categories and Features

Source Code Management

Access Controls/Permissions
Bug Tracking
Build Automation
Change Management
Code Review
Collaboration
Continuous Integration
Repository Management
Version Control

Static Code Analysis

Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management

Popular Alternatives

Echidna Reviews & Ratings

Echidna

Crytic

Popular Alternatives

Fisheye Reviews & Ratings

Fisheye

Atlassian
Mayhem Reviews & Ratings

Mayhem

ForAllSecure
ReSharper Reviews & Ratings

ReSharper

JetBrains
Tayt Reviews & Ratings

Tayt

Crytic