Slither is a Solidity and Vyper static analysis framework written in Python 3.
pip install slither-analyzer