Implementation of a differential fuzzer for Ethereum Virtual Machines - View it on GitHub