A data dependency-aware hybrid fuzzer for Ethereum smart contracts. Our paper can be found here.
A container with the dependencies set up can be found here.
To open the container, install docker and run:
docker pull christoftorres/confuzzius && docker run -i -t christoftorres/confuzzius
To evaluate a simple contract inside the container, run:
python3 fuzzer/main.py -s examples/TokenSale/contracts/TokenSale.sol -c TokenSale --solc v0.4.26 --evm byzantium -t 10
and you are done!
docker build -t confuzzius .
docker run -it confuzzius:latest
sudo add-apt-repository ppa:ethereum/ethereum
sudo apt-get update
sudo apt-get install solc
Download the source code of version z3-4.8.5
Install z3 using Python bindings
python scripts/mk_make.py --python
cd build
make
sudo make install
cd fuzzer
pip install -r requirements.txt
python3 fuzzer/main.py -s examples/RemiCoin/contracts/RemiCoin.sol -c RemiCoin --solc v0.4.26 --evm byzantium -g 20
python3 fuzzer/main.py -a examples/RemiCoin/abi.json -c 0x7dc4f41294697a7903c4027f6ac528c5d14cd7eb -b 5752250 --evm byzantium -g 20 --rpc-host <RPC-HOST> --rpc-port <RPC-PORT>