用途:对代码库和配置做白盒静态安全审查,定位风险、给出可复现证据与对应修复建议。只读运行,报告发现项和所需整改,绝不直接改代码;扫描器、npm audit、依赖解析等主动步骤需单独授权,默认仅做被动的源码与配置阅读。
主要能力:覆盖十大类检查——注入(SQL/命令/XSS/SSRF/路径穿越等)、密钥与凭据、认证与授权(IDOR、多租户、TOCTOU)、敏感数据、依赖 CVE 与供应链、配置与部署、LLM/AI 集成、业务逻辑滥用、CI/CD 与构建流水线、加密误用。先映射攻击面与信任边界,再按清单逐项审查,用 source→sink 污点链验证,按置信度分级,只报告同时确认漏洞模式与攻击者可控输入的问题。
使用方式:用户请求“安全审查/漏洞检查”时激活;先确认范围与授权,再检测技术栈,按攻击面地图、被动 HTTP/配置分析、认证授权模型、对象归属边界、业务逻辑滥用的顺序推进。扫描为主动步骤,需先确认工具存在(如 semgrep --version 退出码为 0),获批后运行;扫描输出仅作线索,仍需人工按代码确认。发现项按矩阵加详情格式输出,包含位置、问题、前置条件、影响、证据、复现、缓解措施与修复建议,可选 CWE、OWASP、SOC2 等映射。
适用场景:发布前或新增认证、支付、敏感数据处理后审查;审查新增或变更的接口、文件处理、配置;新增依赖或外部集成后;审查 PR 差异。
限制:仅覆盖静态白盒审查,动态与运行时问题不在范围内;不能声称“安全”,只能说“已审范围内未见明显问题”;测试目录中的不安全模式与假凭据单独归类;模板代码、元编程、ORM 等路径的解析器可能漏报,需手工阅读;子代理不得运行扫描器或访问包注册表,主动步骤统一由父级授权执行。具体命令与规则配方需参考随附的 static-analysis 与 checklists 文件。