用途：对代码变更做安全审查，重点不是查找可疑字符串，而是推理该变更如何改变系统的信任边界，判断攻击者因此能做什么。适用于代码评审、合并前安全把关等场景。
主要能力：先读取变更声明的意图，映射其跨越的信任边界（不可信到可信的输入、认证与授权判断、密钥令牌、各类汇点、加密、服务间调用等）；随后跨函数追踪污点流，从源到汇点沿调用图检查，而非只看 diff 中的改动行；针对不同语言校准常见陷阱（如 Python 的 pickle/yaml.load/eval、JS/TS 的原型污染、Java 的不安全反序列化与 XXE、Go 的模板与 SSRF、SQL 字符串拼接等，细节见附带的 references/language-quirks.md）；最后应用误报过滤，只保留可触达且有具体影响的发现。
使用方式：若仓库已配置 Semgrep（.semgrep.yml 等）或 CodeQL，先运行扫描器并对其输出做推理：命中仅是线索而非结论，需确认可达性；未命中也不代表安全。若无扫描器则说明情况后手工审查。当心 grep 式“正则表演”、只看 diff 的隧道视野、误报泛滥、把不可达问题当阻断项、盲信扫描器、假设上游已有校验等陷阱。
限制与边界：报告需含严重度、汇点位置、源到汇点的路径、具体影响与修复草稿；无路径或无具体影响的问题应剔除。不在此处编写修复、不自行给出合并结论，风格与正确性问题应交由普通评审。若仓库未配置扫描器，不要虚构不受支持的 semgrep 调用。部分细节资料暂未提供。