I built this project to explore how stateful fuzzing can be used to automatically discover accounting vulnerabilities in DeFi smart contracts. The project is a generic ABI-driven stateful fuzzer ...