https://blog.trailofbits.com/2020/06/05/breaking-the-solidity-compiler-with-a-fuzzer/