Ethereum Cookbook

How to do it...

1. One of the popular static analysis tools in the Ethereum ecosystem is Mythril. It is a security analysis tool that uses concolic analysis, taint analysis, and a control flow checking to detect a variety of security vulnerabilities.

2. Mythril is based on Python and you need a working installation of Python v3 with pip3 installed. Once you have those ready, run the following command to install Mythril:

pip3 install mythril

Concolic analysis is a hybrid code analysis technique that performs symbolic execution. It considers the program variables as symbolic variables along a concrete execution path. Symbolic execution is used in conjunction with new test cases to maximize code coverage. The main focus of this technique is to ...