Security App — Deep SAST (Taint / Dataflow)

1. Mission

orchestrator 现有的 SAST 是 pattern/lint 级（semgrep 规则匹配单点代码形状）——能抓"用了 eval"，但抓不住"这个 HTTP 参数经过三个函数最终拼进 SQL"。后者要 taint / dataflow / inter-procedural 分析：从不可信 source（请求参数、body、header、文件、外部 API）出发，跨函数、跨文件追踪数据，看它是否未经 sanitizer 就到达危险 sink（SQL exec、shell、文件路径、模板、反序列化、SSRF 目标）。

本 skill 把 SAST 从"单点模式匹配"升级到"source→sink 流分析"，并明确何时用哪个引擎（许可证边界是关键决策点）。

职责边界：

• owns: taint/dataflow 引擎选型（决策树）+ source/sink/sanitizer 建模 + CLI 包装 + 流确认 + triage → §9 finding
• handoff to: security-remediation（确认的 taint flow → fix + 回归）；与 security-app-fuzzing 互喂（fuzz crash 点 → taint sink 假设；taint 不可达 → 降 fuzz crash 优先级）
• 不做: 不跑应用、不 active scan、不 exploit；不替代 pattern-SAST（是它的深度补充，不是替代——见 §8）；read-only（allowed-tools 无 Write/Edit，findings 只经 appsec-sdk）

2. Activation Triggers