hevm

hevm

DappHub
+
+

Related Products

  • ActCAD Software
    401 Ratings
    Visit Website
  • Expedience Software
    34 Ratings
    Visit Website
  • Daylight
    11 Ratings
    Visit Website
  • Project Insight
    122 Ratings
    Visit Website
  • Checksum.ai
    1 Rating
    Visit Website
  • MyQ
    197 Ratings
    Visit Website
  • DriveStrike
    24 Ratings
    Visit Website
  • RemotePeople
    493 Ratings
    Visit Website
  • Wrike
    7,631 Ratings
    Visit Website
  • Bluehost
    31,545 Ratings
    Visit Website

About

Tcl is a very simple programming language. If you have programmed before, you can learn enough to write interesting Tcl programs within a few hours. This page provides a quick overview of the main features of Tcl. After reading this you'll probably be able to start writing simple Tcl scripts on your own; however, we recommend that you consult one of the many available Tcl books for more complete information. Each Tcl command consists of one or more words separated by spaces. In this example there are four words: expr, 20, +, and 10. The first word is the name of a command and the other words are arguments to that command. All Tcl commands consist of words, but different commands treat their arguments differently. The expr command treats all of its arguments together as an arithmetic expression, computes the result of that expression, and returns the result as a string. In the expr command the division into words isn't significant.

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.

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

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

Audience

Developers in need of a Programming Language solution

Audience

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

Support

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

Support

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

API

Offers API Not Supported

API

Offers API Not Supported

Screenshots and Videos

Screenshots and Videos

Pricing

Free
Free Version Supported
Free Trial Not Supported

Pricing

Free
Free Version Supported
Free Trial Not Supported

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

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

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported

Company Information

Tcl
www.tcl.tk/about/language.html

Company Information

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

Alternatives

Alternatives

Echidna

Echidna

Crytic
Zypper

Zypper

SUSE
Mayhem

Mayhem

ForAllSecure
PowerShell

PowerShell

Microsoft
Tayt

Tayt

Crytic
Etheno

Etheno

Crytic

Categories

Categories

Fuzz Testing Supported

Integrations

ActiveState Supported
Apache NetBeans Supported
Caret Supported
Coco Code Coverage Supported
CodeConvert Supported
ConTEXT Editor Supported
Ethereum Not Supported
Helix Editor Supported
Komodo Edit Supported
Komodo IDE Supported
Notepad++ Supported
Replit Supported
Shells Supported
Snipplr Supported
Solidity Not Supported
Squish Supported
Sublime Text Supported
TextMate Supported

Integrations

ActiveState Not Supported
Apache NetBeans Not Supported
Caret Not Supported
Coco Code Coverage Not Supported
CodeConvert Not Supported
ConTEXT Editor Not Supported
Ethereum Supported
Helix Editor Not Supported
Komodo Edit Not Supported
Komodo IDE Not Supported
Notepad++ Not Supported
Replit Not Supported
Shells Not Supported
Snipplr Not Supported
Solidity Supported
Squish Not Supported
Sublime Text Not Supported
TextMate Not Supported
Claim Tcl and update features and information
Claim Tcl and update features and information
Claim hevm and update features and information
Claim hevm and update features and information