Auto Bug Finder — 代码安全扫描器

面向生产环境代码的迭代式、受大语言模型（LLM）启发的漏洞检测与修复系统。当前支持 Solidity（基于 Hardhat + Slither）。可扩展至 Node.js、Python 及其他技术栈。设计灵感源自 Andrej Karpathy 的方法论：分析 → 发现 → 修复 → 测试 → 循环，直至代码“洁净”。

功能说明

以迭代冲刺（sprint）方式运行多工具安全扫描：

1. 扫描（Scan） — 编译项目、运行测试、执行静态分析（Solidity 使用 Slither）、检查测试覆盖率
2. 分析（Analyze） — 将所有工具输出解析为结构化发现项（按严重性分级：Critical / High / Medium / Low / Info）
3. 修复（Fix） — 针对每项发现生成补丁，并附带修复依据说明文档
4. 验证（Verify） — 重新编译、重新运行测试、重新扫描，确认修复生效
5. 循环（Loop） — 持续迭代，直至 Critical / High / Medium 类型发现全部归零，或达到最多 10 轮冲刺上限

适用场景

• 在将任意 Solidity 合约标记为“完成”之前（依据 Netrix 政策为强制要求）
• 在主网上线（mainnet deployment）之前 — 在测试网（testnet）低成本捕获问题
• 在重大重构（major refactors）之后 — 验证无回归缺陷
• 作为 CI/CD 流水线的一部分 — 自动化安全门禁（security gate）

使用方法

快速开始

# 将技能脚本复制到你的合约项目中
cp skills/auto-bug-finder/auto-bug-finder.js projects/my-contract/auto-bug-finder.js

# 在项目根目录下运行（即 hardhat.config.js 所在路径）
cd projects/my-contract
node auto-bug-finder.js

前置依赖

• Node.js 18+
• 已配置测试用例的 Hardhat 项目
• Slither（pip install slither-analyzer）
• Solidity 0.8.x 版本合约

输出内容

脚本将在 auto-bug-finder/ 目录下生成以下文件：

• FINAL-REPORT.md — 包含全部发现项的概要报告（Executive Summary）
• sprint-results.json — 每轮冲刺的详细数据记录
• patches/patch-N.md — 每项发现对应的修复说明文档（含修复逻辑与依据）

自定义配置

编辑 auto-bug-finder.js 文件顶部的配置对象：

const CONFIG = {
  contractDir: 'contracts',      // Solidity 源码目录路径
  testFile: 'test/AgentEscrow.test.js',  // 待执行的测试文件路径
  maxSprints: 10,                // 安全上限：最大冲刺轮数
  severityGate: ['Critical', 'High', 'Medium'],  // 当这些级别发现数均为 0 时停止
  heuristics: true,              // 启用自定义启发式检查
};

启发式检查（超越 Slither 的能力）

• 敏感参数缺失零地址（zero-address）校验
• 状态变更时缺失事件（event）触发
• 存在自托管（self-escrow）或自交互（self-interaction）风险
• 枚举（enum）类型中存在不可达的状态值
• 状态迁移逻辑不完整（state transition incompleteness）
• 访问控制（access control）存在缺口

自动审计政策（MANDATORY — 全量代码）

• 所有最终代码（智能合约、API、服务端、前端）在标记为“完成”前，必须通过 Auto Bug Finder 扫描
• 准入门限（Gate）： Critical、High、Medium 类别发现数必须均为 0
• 最大冲刺轮数： 10 轮（安全限制）
• 输出要求： 项目 auto-bug-finder/ 目录下须存在 FINAL-REPORT.md
• 项目经理（PM）通过 cron 任务检查 FINAL-REPORT.md 是否存在，仅当该文件存在时才允许标记为完成

首次运行：Agent Escrow（2026-03-16）

结果： ✅ 低风险 — 已应用 2 项改进（移除了未使用的 Status.Created，新增了 SelfEscrow 校验）