# Slither

整理：链小知（AI 辅助）
资料核对日期：2026-10-12
引用地址：https://lianxiaozhi.com/tools/slither

Solidity/Vyper静态分析框架。本页按0.11.6官方代码解读已有detector JSON、扫描配置和callgraph，帮助区分告警、运行失败与未覆盖范围。

官方入口：https://github.com/crytic/slither
类别：权限与安全
网络：具体支持网络见官方文档
访问条件：官方源码与文档公开；本地分析依编译framework/solc，0.11.6 README要求Python3.10+。本页只阅读本人已有报告/源码快照，不安装或运行工具；远程地址编译/查询不是本页任务。
费用：官方0.11.6 README列AGPLv3许可，许可例外联系作者；未取得当前统一商业服务/审计价格。解读已有文件无链费，实际本地编译资源、外部取源码/RPC/工具服务费用另核，不把开源等同所有服务免费。

## 用途
- 解释success与detector告警
- 核对impact/confidence和源码位置
- 排查过滤/编译版本/旧报告
- 从printer callgraph定位静态调用

## 使用边界
- 按官方发布0.11.6固定tag源码，当前Wiki含历史例子；其他版本/编译器/插件/扫描配置可改变输出，未安装实测。
- 静态框架按编译语言/项目分析，network数组为空不表示全链在线服务；不宣称支持所有EVM部署或真实链上状态。
- success=true只是输出无运行错误；检测器结果缺项可能因导出类型、printer模式、过滤或适用条件；无告警不等审计通过。
- impact和confidence不是同一评级，也不是获利/攻击概率；人工需要核定具体源码上下文、权限与运行条件。
- 0.11.6 printer分支不运行detectors；callgraph仅静态已分析内部/高层调用，低层/动态目标与未编译依赖不保证覆盖。
- 未运行编译/安装/分析、访问RPC/账户或恶意目标；仅documentation，不能验收项目安全或全部构建范围。

## 操作教程
- [Slither 有High告警或空结果：核对运行、规则范围与源码位置](https://lianxiaozhi.com/tools/guides/slither-saved-detector-json-scope-triage)：从本人已有JSON和日志解读impact/confidence、过滤及编译版本，整理人工排错依据，不把运行成功或零结果当安全审计。
- [Slither 调用图漏了边：核对printer输出、重载函数与分析范围](https://lianxiaozhi.com/tools/guides/slither-saved-callgraph-printer-boundaries)：从本人已有call-graph DOT/JSON找caller、callee与覆盖边界，区分静态图、控制流图和真实执行。

## 相关知识
- [合约代码已验证，为什么仍不能直接判断安全？](https://lianxiaozhi.com/learn/verified-contract-boundaries)
- [原始、解码和整理后的链上数据有什么区别？](https://lianxiaozhi.com/learn/raw-decoded-curated-data)
- [把数据上链，与只保存数据哈希有什么区别？](https://lianxiaozhi.com/learn/data-onchain-vs-offchain)

## 官方依据
- [Slither 0.11.6 官方发布说明](https://github.com/crytic/slither/releases/tag/0.11.6)
- [Slither 0.11.6 产品与安装边界](https://raw.githubusercontent.com/crytic/slither/0.11.6/README.md)
- [Slither 0.11.6 配置与抑制规则](https://raw.githubusercontent.com/crytic/slither/0.11.6/docs/src/Usage.md)
- [Slither 0.11.6 CLI 执行/导出分支](https://raw.githubusercontent.com/crytic/slither/0.11.6/slither/__main__.py)
- [Slither 0.11.6 call-graph 固定源码](https://raw.githubusercontent.com/crytic/slither/0.11.6/slither/printers/call/call_graph.py)
- [Slither 0.11.6 detector输出与适用条件](https://raw.githubusercontent.com/crytic/slither/0.11.6/slither/detectors/abstract_detector.py)
- [Slither 0.11.6 JSON envelope与输出文件](https://raw.githubusercontent.com/crytic/slither/0.11.6/slither/utils/output.py)
- [Slither 官方JSON字段文档](https://github.com/crytic/slither/wiki/JSON-output)
- [Slither 官方Printers文档](https://github.com/crytic/slither/wiki/Printer-documentation)
- [Slither 官方Detector规则文档](https://github.com/crytic/slither/wiki/Detector-Documentation)