Average Ratings 0 Ratings
Average Ratings 0 Ratings
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
Integrations
Atom
Yes
CLion
Yes
Django
Yes
Eclipse IDE
Yes
Emacs
Yes
Ethereum
No
HTML
Yes
JavaScript
Yes
Python
Yes
Qt Creator
Yes
Integrations
Atom
No
CLion
No
Django
No
Eclipse IDE
No
Emacs
No
Ethereum
Yes
HTML
No
JavaScript
No
Python
No
Qt Creator
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