Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests - View it on GitHub