用途：面向以太坊智能合约的部署前安全分析。合约不可篡改且持有真实资产，需在发布前排查漏洞。
主要能力：Slither 通过中间表示做快速静态分析，内置 90 多个检测器，可在数秒内发现漏洞模式、优化点与代码质量问题；Mythril 使用符号执行与 SMT 求解，探索执行路径，发现重入、未检查的外部调用和算术类等路径敏感漏洞。输出为 JSON 报告，含 SWC 标识、严重性评级、受影响函数与修复建议。
使用方式：需 Python 3.10+ 与 pip；安装 Slither（pip install slither-analyzer）和 solc 编译器；安装 Mythril（pip install mythril）并用 solc-select 管理编译器版本；准备 Solidity 源码或编译后的字节码；可选 Foundry 或 Hardhat 做项目级分析。流程为：先运行 Slither 静态分析，再运行 Mythril 深度分析，然后合并结果、去重、按可利用性与资金影响评估严重性并过滤误报，最后生成结构化审计报告。
适用场景：DeFi 协议及各类 Solidity 合约的预部署审计与代码审查。
限制：工具基于规则与符号执行，可能产生误报漏报；报告准确性依赖输入源码与编译器版本；其他具体限制暂未提供。