EasyFlow is a prototype of overflow detection tool for Ethereum smart contracts.
This tool is developed based on the official evm
tool in go-ethereum .
A brief introduction video has been uploaded to Youtube.
(Typically these commands must be run as root or through sudo
.)
Install latest distribution of Go(v1.10.3):
wget https://dl.google.com/go/go1.10.3.linux-amd64.tar.gz
tar -C /usr/local -xzf go1.10.3.linux-amd64.tar.gz
Add /usr/local/go/bin
to the PATH
environment variable. You can do this by adding this line to /etc/profile
:
export PATH=$PATH:/usr/local/go/bin
Apply the changes in /etc/profile
immediately:
source /etc/profile
Install C compilers:
apt-get install -y build-essential
Clone the repository to a directory of your choosing build:
git clone [email protected]:Jianbo-Gao/EasyFlow.git
Finally, build EasyFlow core module using the following command.
cd EasyFlow
make evm
You can now run python run.py
in taint_scripts
to use EasyFlow.
Examples can be accessed in taint_scripts/cmd.sh
Examples can be accessed in taint_contracts/cmd.sh