分析以太坊智能合约漏洞 是做什么的？
概述
智能合约漏洞已导致DeFi协议损失数十亿美元。与传统软件不同，已部署的智能合约不可变且处理真实金融资产，因此部署前的安全分析至关重要。Slither通过中间表示（IR）执行快速静态分析，能在数秒内检测超过90种漏洞模式；而Mythril则利用符号执行与SMT求解技术，发现重入攻击、整数溢出等复杂执行路径漏洞。本技能涵盖对Solidity合约运行这两种工具、解读结果、按严重性对发现进行分类以及生成审计报告的全流程。
使用时机
- 当需要分析以太坊智能合约漏洞以调查安全事件时
- 当为此领域构建检测规则或威胁狩猎查询时
- 当SOC分析师需要针对此分析类型的结构化流程时
- 当验证相关攻击技术的安全监控覆盖范围时
前置条件
- Python 3.10+ 及 pip
- Slither（pip install slither-analyzer）和 solc 编译器
- Mythril（pip install mythril）及用于编译器版本管理的 solc-select
- Solidity 源代码或已编译的合约字节码
- Foundry 或 Hardhat 开发框架（可选，用于项目级分析）
步骤
步骤 1：运行 Slither 静态分析
对合约代码库执行 Slither，利用其90多个内置检测器识别漏洞模式、优化机会和代码质量问题。
步骤 2：运行 Mythril 符号执行
运行 Mythril 深度分析以探索执行路径，发现需要路径敏感分析的重入攻击、未检查的外部调用和算术漏洞。
步骤 3：分类与关联发现
合并两个工具的结果，去重，根据可利用性和财务影响评估严重性，并过滤误报。
步骤 4：生成审计报告
生成结构化的审计报告，包含漏洞描述、受影响的代码位置、利用场景和修复建议。
预期输出
JSON 格式的报告，列出漏洞及其SWC（智能合约弱点分类）标识符、严重性评级、受影响的函数以及建议的修复方案。