xFuzz

Quick Start

A container with the dependencies set up can be found here. To open the container, install docker and run:

docker pull weizhang789/xfuzz_tool:v1 && docker run -it weizhang789/xfuzz_tool:v1 bash

To evaluate smart contracts in contracts/ inside the container, run:

python3 ./model_prediction/main.py && bash fuzzing_script

and you are done!

Installation Instructions

Solidity Compiler

sudo add-apt-repository ppa:ethereum/ethereum
sudo apt-get update
sudo apt-get install solc

fuzzing engine

The installation guide of fuzzing engine can be found at this.

static analysis tool

We build our static analysis upon Slither. We suggest users install our customized Slither on this.

Start fuzzing using the command:

python3 ./model_prediction/main.py && bash fuzzing_script