slither-analyzer (pypi): Slither is a Solidity static analysis framework written in Python 3.
Keywords: ethereum|solidity|static-analysis