Skip to content
forked from fgsect/NeoDiff

Differential fuzzing for Smart Contract VMs

License

Notifications You must be signed in to change notification settings

Alleysira/NeoDiff

 
 

Repository files navigation

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.

About

Differential fuzzing for Smart Contract VMs

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 98.9%
  • Shell 1.1%