Static Analyzer for Solidity and Vyper
GitHub
blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/