用途：对代码库做白盒/灰盒安全审计，系统化追踪不可信数据流，评估净化函数绕过可能，检验信任边界假设。该技能本身是路由，深度内容在 references/，各技术簇由 scripts/ 中可运行工具支撑。
主要能力：污点分析（源/汇/净化建模）；编排 CodeQL、Semgrep、Joern 并将结果合并为排序清单；覆盖 SQL 注入、OS 命令/参数注入、SSTI、路径遍历、SSRF、整数溢出、UAF/双重释放、越界拷贝、反序列化与原型污染链、硬编码密钥、弱加密、越权(IDOR/BOLA)、TOCTOU、依赖 CVE 与恶意包/仿冒包；发现变体（由一个确认问题泛化到全库同类模式）；路径可行性判定与证据验证。
使用方式：先做快速分诊，按未净化源到汇流排序文件： python3 scripts/taint_trace.py trace ./src --lang py,js,php,java --json triage.json 再驱动真实引擎并合并： python3 scripts/sast_runner.py semgrep --src ./src --config p/owasp-top-ten --pro --out sg.sarif python3 scripts/sast_runner.py merge sg.sarif cq.sarif joern.json --out merged.json --top 50 随后做类专项扫描与可利用性门禁，并用 evidence_kit.py、validate_findings.py、variant_hunt.py、path_conditions.py 等验证证据、清扫变体、剪枝误报。
适用场景：安全审计、漏洞挖掘、供应链依赖审查、变体狩猎与发现验证。
限制：官方未提供具体收费、平台支持范围与效果数据；使用需遵循授权范围，运行时验证（如密钥核验、运行时插桩）会产生外部行为，须在合规范围内进行。