crytic/slither: Static Analyzer for Solidity and Vyper
Category: crypto
Language: Python
Topics: ethereum, solidity, static-analysis, vyper
Homepage: https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/