A 4-hr smart contract fuzzer speed run. Successfully broke the test contract, but lots of TODOs, cleaning up hastily written code, and ideas to explore.
I wrote this as a learning exercise after reading through h0mbre's blog series, Fuzzing Like a Caveman, which I highly recommend. A recording of the livestream is available on Youtube.
pip install hypothesis web3 solc-select crytic-compilesolc-select install 0.8.12
solc-select use 0.8.12
Ganache
npm i -g ganache-cli
crytic-compile --export-format standard tests/invariant_breaker.solpython fuzzer.py