analyzing-ethereum-smart-contract-vulnerabilities
本技能介绍如何对以太坊 Solidity 智能合约进行静态分析与符号执行，以检测重入、整数溢出、访问控制等安全漏洞。它覆盖 Slither 与 Mythril 两款工具的使用流程：先用 Slither 快速静态分析，利用中间表示在数秒内匹配 90 多种漏洞模式；再用 Mythril 进行符号执行与 SMT 求解，发现重入、未检查的外部调用、算术问题等路径敏感型漏洞。流程还包括对两工具结果去重、按可利用性与资金影响评估严重程度、过滤误报，最终生成结构化审计报告。报告以 JSON 输出，列出漏洞、SWC（智能合约弱点分类）标识、严重等级、受影响函数与修复建议。适用于安全事件调查、检测规则与威胁狩猎查询构建、SOC 分析人员结构化流程、以及验证相关攻击技术的安全监控覆盖。需 Python 3.10+ 与 pip、Slither（pip install slither-analyzer）与 solc 编译器、Mythril（pip install mythril）与 solc-select，以及 Solidity 源码或编译字节码，Foundry 或 Hardhat 为可选。