Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests

The code in this repository is a part of the Ethereum Developer Program. Kindly check the wiki to access the course content.