cyberstars / tools / slither
Slither
—Solidity / Vyper static analyzer.
View on GitHub
PythonAGPL-3.0
Trail of Bits' static analyzer for Solidity and Vyper. 80+ vulnerability detectors, summarizers and contract printers for auditing smart contracts.