crytic / slither

Static Analyzer for Solidity and Vyper
5,246Updated this week

Related projects: