Smart Contract Analysis Tools

Smart contracts are self-executing contracts with the terms of the agreement between buyer and seller being directly written into lines of code. The code and the agreements contained therein are stored and replicated on a blockchain network.

As smart contracts gained popularity, analysis tools were developed to secure them. Here are some tools that can help secure your smart contracts:

Mythril

Mythril is a security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis, and control flow checking to detect a variety of security vulnerabilities.

Installation and setup

Get it with Docker:

$ docker pull mythril/myth

Install from Pypi (Python 3.6–3.9):

$ pip3 install mythril

Github: https://github.com/ConsenSys/mythril

Oyente

Oyente is a security analysis tool for Ethereum smart contracts. It uses symbolic execution to detect vulnerabilities such as reentrancy attacks and transaction-ordering dependence.

Installation

Execute a python virtualenv

python -m virtualenv env
source env/bin/activate