crytic/slither

Here's a brief summary of the open-source project crytic/slither: crytic/slither is a static analyzer for Solidity and Vyper, enabling developers to inspect and