IDA Pro

IDA Pro

Hex-Rays
hevm

hevm

DappHub
IDA Pro hevm

Related Products

  • TrustInSoft Analyzer
    4.3 out of 5 stars 6 Ratings
    Visit Website for TrustInSoft Analyzer
  • Aikido Security
    4.6 out of 5 stars 367 Ratings
    Visit Website for Aikido Security
  • Parasoft
    4.6 out of 5 stars 152 Ratings
    Visit Website for Parasoft
  • Capitalcore
    5.0 out of 5 stars 91 Ratings
    Visit Website for Capitalcore
  • JS7 JobScheduler
    5.0 out of 5 stars 1 Rating
    Visit Website for JS7 JobScheduler
  • Epicor Connected Process Control
    4.9 out of 5 stars 4 Ratings
    Visit Website for Epicor Connected Process Control
  • DbVisualizer
    4.8 out of 5 stars 593 Ratings
    Visit Website for DbVisualizer
  • Rocket z/Assure VAP
    5.0 out of 5 stars 1 Rating
    Visit Website for Rocket z/Assure VAP
  • Epicor Advanced MES
    4.2 out of 5 stars 31 Ratings
    Visit Website for Epicor Advanced MES
  • ISL Light Remote Desktop
    4.6 out of 5 stars 1,608 Ratings
    Visit Website for ISL Light Remote Desktop
IDA Pro:

About

IDA Pro as a disassembler is capable of creating maps of their execution to show the binary instructions that are actually executed by the processor in a symbolic representation (assembly language). Advanced techniques have been implemented into IDA Pro so that it can generate assembly language source code from machine-executable code and make this complex code more human-readable. The debugging feature augmented IDA with the dynamic analysis. It supports multiple debugging targets and can handle remote applications. Its cross-platform debugging capability enables instant debugging, easy connection to both local and remote processes and support for 64-bit systems and new connection possibilities. IDA Pro allows the human analyst to override its decisions or to provide hints so that the analyst can work seamlessly and quickly with the disassembler and analyze binary code more intuitively.
hevm:

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.
IDA Pro:

Platforms Supported

Windows Supported
Mac Supported
Linux Supported
Cloud Not Supported
On-Premises Not Supported
iPhone Supported
iPad Supported
Android Supported
Chromebook Not Supported
hevm:

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
IDA Pro:

Audience

IT teams looking for a binary code analysis tool
hevm:

Audience

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

Support

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

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported
IDA Pro:

API

Offers API Not Supported
hevm:

API

Offers API Not Supported
IDA Pro:

Screenshots and Videos

hevm:

Screenshots and Videos

IDA Pro:

Pricing

No information available.
Free Version Not Supported
Free Trial Not Supported
hevm:

Pricing

Free
Free Version Supported
Free Trial Not Supported
IDA Pro:

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
hevm:

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
IDA Pro:

Training

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

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported
IDA Pro:

Company Information

Hex-Rays
Founded: 2005
Belgium
hex-rays.com/ida-pro/
hevm:

Company Information

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

Alternatives

hevm:

Alternatives

Echidna

Echidna

Crytic
IDA Pro:
hevm:
IDA Pro:
TotalView

TotalView

Perforce
hevm:
Mayhem

Mayhem

ForAllSecure
IDA Pro:
CodeRush

CodeRush

DevExpress
hevm:
Tayt

Tayt

Crytic
IDA Pro:
CodeSonar

CodeSonar

CodeSecure
hevm:
Etheno

Etheno

Crytic
IDA Pro:

Categories

hevm:

Categories

Fuzz Testing Supported
IDA Pro:

Integrations

AWS Marketplace Supported
Devirt Supported
Ethereum Not Supported
Python Supported
Solidity Not Supported
hevm:

Integrations

AWS Marketplace Not Supported
Devirt Not Supported
Ethereum Supported
Python Not Supported
Solidity Supported
IDA Pro:
Claim IDA Pro and update features and information
Claim IDA Pro and update features and information
hevm:
Claim hevm and update features and information
Claim hevm and update features and information