A static analyzer for Solidity, built upon regex and ASTs. - View it on GitHub