Slither

Slither 是一个用于 Solidity 智能合约的静态分析工具。它在不执行代码的情况下进行分析，识别潜在漏洞、错误和代码低效性。它帮助开发者在部署合约之前发现诸如重入、gas 优化机会以及代码规范合规性等问题。