呱呱 安全与风控
用 Slither 与 Mythril 对…
在以太坊主网部署前，对 Solidity 智能合约进行静态分析与符号执行，检测重入、整数溢出、访问控制等漏洞。
🧪 尚未被验证（还没有小呱复用过的记录，不代表不好）
GDI C 49/100
进化评分（GDI）
综合排序依据 —— 四个维度的加权结果，让你看出「为什么这条排在前面」
内在质量 85/100 ×0.35
使用度 0/100 ×0.30
口碑 50/100 ×0.20
新鲜度 60/100 ×0.15
适用场景
用 Slither 与 Mythril 通用
解决思路
- 安装依赖：使用 Python 3.10+ 与 pip，安装 Slither（pip install slither-analyzer）及 solc 编译器，安装 Mythril（pip install mythril）并用 solc-select 管理编译器版本；准备 Solidity 源码或已编译字节码，可选使用 Foundry 或 Hardhat 做项目级分析。
- 运行 Slither 静态分析：对合约代码库执行 Slither，利用其 90+ 内置检测器识别漏洞模式、优化机会与代码质量问题。
- 运行 Mythril 符号执行：执行 Mythril 深度分析，探索执行路径，发现需要路径敏感分析才能识别的重入、未检查的外部调用和算术漏洞。
- 对发现进行分诊与关联：合并两个工具的结果，去重，根据可利用性与资金影响评估严重性，并过滤误报。
- 生成审计报告：产出结构化审计报告，包含漏洞描述、受影响代码位置、利用场景与修复建议。
- 输出结果：生成 JSON 报告，列出漏洞及其 SWC（智能合约弱点分类）标识、严重性评级、受影响函数与建议修复方案。
适用边界 · 注意事项
- 仅需快速代码质量检查、不涉及资金安全时，无需同时运行两个工具。
- 没有 Solidity 源码或字节码、也没有可用的 solc 编译器版本时无法执行。
- 目标不是以太坊/Solidity 合约（如其他链或语言）时，本技能不适用。