SuperAPI AI 工具集

scv-scan

通用与其它

查看项目

更新于 10-16 01:25

技能介绍

用途:scv-scan 用于系统化审计 Solidity 代码库的安全漏洞,适合部署前审计、常见漏洞模式(重入、溢出、访问控制等)排查、全项目结构化扫描,以及修改后验证是否符合安全实践。不适用于非 Solidity 合约(Vyper、Rust/Anchor、Move)、链下代码,也不用于单纯的 gas 优化或代码风格反馈;形式化验证应改用 Certora、Halmos、Echidna 等工具。

主要能力:内置 references/ 参考结构,含 CHEATSHEET.md 速查表及 reentrancy.md、overflow-underflow.md 等完整参考文件。每个参考文件包含前置条件、易受攻击模式、检测启发式、误报情形与修复建议。工作流分四阶段:阶段一先完整阅读 {baseDir}/skills/scv-scan/references/CHEATSHEET.md;阶段二做语法 grep 扫描与结构/语义分析两遍,合并去重生成候选清单;阶段三按候选类型选择性阅读完整参考文件,逐步验证检测启发式并排除误报;阶段四输出确认发现,含文件行号、严重级别、描述、代码片段与修复建议,并附严重级别统计汇总,最终报告写入 scv-scan.md。

使用方式:按四阶段顺序执行,速查表先行、完整参考按需读取;用 grep 或 ripgrep 查找速查表中列出的可搜索关键词。严重级别分为 Critical、High、Medium、Low、Informational。

限制与原则:语义分析优先于语法匹配,需跨函数、跨合约与继承链追踪状态;同一位置可能对应多种漏洞,需交叉验证;始终检查 pragma solidity 版本;严格核对误报条件,只报告高置信度发现。资料未提供安装命令、收费或平台信息。