slither

Slither，智能合约静态分析器 加入 Empire Hacking Slack - 讨论与支持 Slither 是一个用 Python3 编写的 Solidity 和 Vyper 静态分析框架。它运行一套漏洞检测器，打印合约细节的可视化信息，并提供 API 以轻松编写自定义分析。Slither 使开发者能够发现漏洞，增强代码理解，并快速原型化自定义分析。 功能 使用 安装方法 使用 uv（推荐） 使用 Pip 使用 Git 使用 Docker 集成 Detectors Printers 快速审查 Printers 深度审查 Printers 工具 API 文档 获取帮助 常见问题...