Skip to content

Implementation of a differential fuzzer for Ethereum Virtual Machines

License

Notifications You must be signed in to change notification settings

rkhadem4/FuzzyVM

 
 

Repository files navigation

FuzzyVM [fuzz​ɛvm]

A framework to fuzz Ethereum Virtual Machine implementations. FuzzyVM creates state tests that can be used to differential fuzz EVM implementations against each other. It only focus on the test generation part, the test execution is handled by goevmlab.

Environment

You need to have golang and go-ethereum installed

Install instructions

# Clone the repo to a place of your liking using
git clone [email protected]:MariusVanDerWijden/FuzzyVM.git
# Enter the repo
cd FuzzyVM
# Build the binary
go build
# Create an initial corpus
./FuzzyVM corpus --count 100  
# Run the fuzzer
./FuzzyVM run

Corpus

It makes sense to create an initial corpus in order to improve the efficiency of the fuzzer. You can generate corpus elements with ./FuzzyVM corpus --count N, which will generate N corpus elements.

You might create corpus that is to big, you can minimize your corpus with ./FuzzyVM minCorpus.

Bench

You can run a benchmark with ./FuzzyVM bench.

About

Implementation of a differential fuzzer for Ethereum Virtual Machines

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Go 100.0%