Skip to content

Latest commit

 

History

History
20 lines (13 loc) · 1.07 KB

README.md

File metadata and controls

20 lines (13 loc) · 1.07 KB

NeoDiff

NeoDiff paper

This repository contains the source code for NeoDiff, a framework for differential fuzzing of Smart-Contract VMs, introduced by "Uncovering Smart Contract VM Bugs Via Differential Fuzzing". It will mutate smart contract byte code and look for differences in the VM state, leading to potential chain splits.

Getting started

To get started, run setup.sh. The script will check out Ethereum VMs in go (go-ethereum) and rust (openethereum), and install the needed python virtual env for NeoDiff. then, source the virtualenv using . .env/bin/activate and run ./utils/EVMrun.sh 1 or ./utils/EVMscale.sh [proc_count] to start fuzzing.

Going from here

Apart from EVM, NeoDiff has been tested on Neo VMs and should be trivial to port to other VMs. Check out NeoVMFuzz.py and NeoSemanticDiffFuzzer.py for other examples.

After a run, the results will be generated in ../RESULTS. ./utils contains some helpful scripts for evaulation.