Slither
Solidity/Vyper静态分析框架。本页按0.11.6官方代码解读已有detector JSON、扫描配置和callgraph，帮助区分告警、运行失败与未覆盖范围。
官方资料核验
访问官方入口 ↗https://github.com/crytic/slither
适合做什么
- 解释success与detector告警
- 核对impact/confidence和源码位置
- 排查过滤/编译版本/旧报告
- 从printer callgraph定位静态调用
- 网络与生态
- 具体支持网络见官方文档
- 登录与钱包权限
- 官方源码与文档公开；本地分析依编译framework/solc，0.11.6 README要求Python3.10+。本页只阅读本人已有报告/源码快照，不安装或运行工具；远程地址编译/查询不是本页任务。
- 费用
- 官方0.11.6 README列AGPLv3许可，许可例外联系作者；未取得当前统一商业服务/审计价格。解读已有文件无链费，实际本地编译资源、外部取源码/RPC/工具服务费用另核，不把开源等同所有服务免费。
局限与核对事项
- 按官方发布0.11.6固定tag源码，当前Wiki含历史例子；其他版本/编译器/插件/扫描配置可改变输出，未安装实测。
- 静态框架按编译语言/项目分析，network数组为空不表示全链在线服务；不宣称支持所有EVM部署或真实链上状态。
- success=true只是输出无运行错误；检测器结果缺项可能因导出类型、printer模式、过滤或适用条件；无告警不等审计通过。
- impact和confidence不是同一评级，也不是获利/攻击概率；人工需要核定具体源码上下文、权限与运行条件。
- 0.11.6 printer分支不运行detectors；callgraph仅静态已分析内部/高层调用，低层/动态目标与未编译依赖不保证覆盖。
- 未运行编译/安装/分析、访问RPC/账户或恶意目标；仅documentation，不能验收项目安全或全部构建范围。