crytic / slither Python 6.4K 1.2K Static Analyzer for Solidity and Vyper solidity ethereum static-analysis vyper