Slither

Slither 是一个针对 Solidity 智能合约的静态分析工具。它无需执行代码即可进行分析，从而识别潜在的漏洞、缺陷和低效代码。它能帮助开发者在部署合约之前发现重入漏洞、gas 优化机会以及编码规范合规性等问题。