代码 Bug 分析助手

解决什么问题

在迭代周期里，很多缺陷并不是因为业务逻辑写错，而是由边界条件、异步竞态、空值处理或资源释放遗漏引起的。等到测试环境跑通再去排查，往往要翻几百行代码，甚至读多个文件才能找到真正的触发点。

这个技能的作用是把代码中的 bug 和潜在风险按严重程度整理出来。它不负责直接修改代码，而是像一次带工具的人工 code review：先定位可能出错的分支、循环、并发调用和输入处理处，再结合上下文和需求，判断在什么条件下会触发异常，并给出一个可直接落地的修复方向。

核心能力与执行流程

• 上下文理解：确认分析范围（单个文件、片段或整个目录），识别技术栈、运行环境和关键依赖。
• 静态扫描与高风险定位：使用 Read、Glob、Grep 读取目标代码，并优先调用 GetProblems 获取语法或类型错误。扫描时重点关注条件分支、异步代码、空值使用、数组越界、资源释放、外部数据入口和权限安全逻辑。
• 逻辑与边界分析：对每个可疑点判断正常流程是否成立，异常输入或边界值下是否成立，是否存在竞态、时序问题或资源泄漏，并检查是否违背业务规则。
• 分级缺陷报告：最终输出包含位置、问题描述、触发条件、影响范围和修复建议。严重程度分为 Critical（崩溃/数据丢失/安全漏洞）、High（多数场景触发）、Medium（边界条件触发）和 Low（潜在风险与可维护性问题）。

详细检查清单覆盖以下维度：

• 语法 / 类型 / 编译错误
• 空指针 / 未定义值使用
• 数组 / 集合越界
• 条件判断遗漏或逻辑反转
• 循环终止条件错误
• 异步回调 / Promise / async-await 错误
• 并发 / 竞态条件
• 资源未释放（定时器、监听、连接、锁）
• 数值计算溢出或精度问题
• 字符串 / 日期 / 时区处理错误
• 输入校验缺失
• 安全漏洞（注入、XSS、越权、敏感信息泄露）
• 业务规则违背
• 错误处理缺失或不当
• 性能隐患（死循环、重复计算、大数据量处理）

适用边界与注意点

• 默认只分析不修改，除非用户明确要求重构或修复。
• 不确定的问题会标注为潜在风险，不臆测不存在的上下文。
• 优先关注实际 bug，而不是风格、格式化等非阻塞项。
• 涉及多文件时，先定位核心文件，再逐步扩展到相关模块。