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

Sourcetrail serves as an interactive tool designed to enhance the exploration of existing source code by systematically indexing it and collecting information about its architecture. This tool offers a user-friendly interface composed of three dynamic views, each essential for accessing the necessary information efficiently. The Search feature enables users to swiftly locate and choose indexed symbols within the source code. An autocompletion box appears, providing an immediate overview of all relevant results found throughout the entire codebase. The Graph view visualizes the arrangement of your source code, emphasizing the currently selected symbol while illustrating its incoming and outgoing dependencies with other symbols. Meanwhile, the Code view lists all the source locations tied to the selected symbol through various code snippets, and clicking on any listed location allows users to shift their selection for a more in-depth analysis. Overall, Sourcetrail significantly streamlines the process of understanding complex code structures.

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 No 

API Access

Has API No 

Screenshots View All

Screenshots View All

Integrations

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

Integrations

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

Pricing Details

$195.00/one-time/user
Free Trial Yes 
Free Version Yes 

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 No 
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 No 
Live Training (Online) No 
In Person No 

Types of Training

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

Vendor Details

Company Name

Coati Software

Founded

2015

Country

Austria

Website

www.sourcetrail.com

Vendor Details

Company Name

DappHub

Website

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

Product Features

Source Code Management

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

Static Code Analysis

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

Product Features

Alternatives

Fisheye Reviews

Fisheye

Atlassian

Alternatives

Echidna Reviews

Echidna

Crytic
ReSharper Reviews

ReSharper

JetBrains
Tayt Reviews

Tayt

Crytic
Mayhem Reviews

Mayhem

ForAllSecure