用途:这是一个严格、偏执的代码审查技能,目标是在生产环境中发现那些能通过普通测试的缺陷。它以“假设每个输入都是敌意的、每个异步操作都可能竞态、每个查询在大规模下都可能变慢、每条错误路径终将执行”为前提进行审查。
主要能力:按六类清单逐项检查。信任边界:用户输入在边界处用当前技术栈的 schema/校验工具验证,业务逻辑前先做鉴权,客户端代码不含密钥,API 响应不泄露内部细节。数据完整性:多表写入放入事务,必要时用乐观并发或锁,避免部分失败产生孤儿记录,级联删除需有意为之。性能:排查 N+1 查询(循环内调用数据库)、列表接口分页、WHERE/JOIN 列建索引、内存中无无界数组或对象。竞态条件:同一资源的并发请求处理、check-then-act 使用原子操作、共享可变状态同步、关键变更使用幂等键。错误处理:在恰当层级捕获错误而非吞掉,面向用户的错误友好且不含内部堆栈,重试有退避与最大次数,部分失败不留下损坏状态。安全(OWASP Top 10):防注入(参数化查询、预编译语句、ORM 防护,绝不用字符串拼接 SQL 或 shell 命令)、防 XSS(输出编码、CSP 头)、防 CSRF(状态变更请求带令牌)、防不安全的直接对象引用、鉴权端点限流。
使用方式:先读 diff 理解变更内容与原因;沿数据流从输入追踪到输出;检查边界情况(null、空数组、并发请求、大输入);对每一步追问“如果这里失败会怎样”;确认测试覆盖正常路径与失败模式。
输出格式:每个问题写成 [SEVERITY] file:line — 描述,附 Why(风险说明)与 Fix(建议修改)。严重级别为 CRITICAL(必须修复)、HIGH(应当修复)、MEDIUM(可考虑)、LOW(细节)。
适用场景:提交前的代码审查、PR 评审、上线前安全检查,尤其适合并发、数据一致性与安全敏感的业务代码。
限制:资料未提供具体运行命令、安装方式、支持语言/框架范围、是否收费及定价信息,这些暂未提供;使用时应结合项目实际技术栈与团队规范判断。