To help speed up the process of evaluating the tool, please make sure to include the following information (the more information you include, the more beneficial it will for us):

• [Name] - The name of the tool
• [Version] - What version of the tool should be added?
  --- If it uses source control (such as git), please make sure there is a release to match (e.g. git tag)
• [Homepage] - Where can the tool be found online? Where to go to get more information?
• [Download] - Where to go to get the tool? either a download page or a link to the latest version
• [Author] - Who made the tool?
• [Licence] - How is the software distributed? What conditions does it come with?
• [Description] - What is the tool about? What does it do?
• [Dependencies] - What is needed for the tool to work?
• [Similar tools] - What other tools are out there?
• [Activity] - When did the project start? Is is still actively being deployed?
• [How to install] - How do you compile it?
  --- Note, using source code to acquire (e.g. git clone/svn checkout) can't be used - Also downloading from the head. Please use a "tag" or "release" version.
• [How to use] - What are some basic commands/functions to demonstrate it?

Tool Name: Mythril
Version: 0.18.7
Release: 1b84ae98ffab9173a79659b8d333d6fc3d3252dc
Homepage: https://github.com/ConsenSys/mythril
Download: https://github.com/ConsenSys/mythril/archive/v0.18.7.zip
Author(s): Bernhard Mueller, ConsenSys Diligence
License: MIT
Description: Mythril is a vulnerability discovery and analysis tool for smart contracts running on the Ethereum blockchain. It has an efficient command-line interface, with an exhaustive state tree graphing function and comprehensive vulnerability warning system.

Dependencies:

• APT -
  python 3.6
  python3-pip
  libssl-dev
  nodejs

• PIP3 -
  configparser>=3.5.0
  coverage
  eth_abi>=1.0.0
  eth-account>=0.1.0a2
  ethereum>=2.3.0
  eth-hash>=0.1.0
  eth-keyfile>=0.5.1
  eth-keys>=0.2.0b3
  eth-rlp>=0.1.0
  eth-tester>=0.1.0b21
  eth-utils>=1.0.1
  jinja2>=2.9
  mock
  persistent>=4.2.0
  plyvel
  py-flags
  py-solc
  pytest>=3.6.0
  pytest-cov
  pytest_mock
  requests
  rlp<1.0.0
  z3-solver>=4.5

• NPM -
  solc

Similar Tools: Any static analyzer or linter.

Activity: Currently under development.

How to Install:
1) Unzip "mythril-0.18.7.zip" from the download above
2) sudo apt install nodejs libssl-dev, python3.6, python3-pip
3) pip3 install -r requirements.txt
4) sudo python3 setup.py install
5) To get the Solidity compiler (Solc) which is necessary for Mythril to operate, do one of the following:
[npm install -g solc] OR
[snap install solc] OR
[docker run ethereum/solc:stable solc --version]
depending on your preferred method.

How to Use:
1) ./myth --help
[view help menu]
2) ./myth -x solidity_examples/weak_random.sol
[prints vulnerability analysis of the "weak_random.sol" contract.]
3) ./myth --graph graph.html solidity_examples/weak_random.sol
[creates an exhaustive state transition diagram of the "weak_random.sol" contract in the file graph.html]

Related Tools:

Oyente: https://github.com/melonproject/oyente
Securify: https://securify.ch

Installing the "solc" (Solidity Compiler) dependency proved to be especially difficult on Kali as NPM, snap, apt-add-repository, and docker all encountered multiple errors during or immediately after the base installation.

For that reason, I'm removing NPM and nodejs from the dependencies list. That method has too much friction to really be worth implementing on Kali. As a temporary fix, download "solc-static-linux" from here: https://github.com/ethereum/solidity/releases -- rename it to "solc" and add it to the PATH. This will get Mythril up and running much quicker.

Soon Mythril will have an API that will reduce the need for most of these above dependencies. That can be perhaps be loaded into a shell program written in C that will make it easier to add to Kali. Perhaps it would be best to close this tool request for now and re-open once our API is out.

This doesn't really relate to pentesting