污点路径审计 Charles950311/taintlens-code-audit

taintlens-code-audit(免费版)

给编码 Agent 用的开源安全审计技能,MIT 许可——Claude Code、DeepSeek
Harness(dsh)、Codex 类 CLI、Cursor,一切能读
SKILL.md 格式的 Agent 都能用。

它像攻击者一样读代码:找入口点、跟踪攻击者可控的数据、落到危险函数——只有路径真实可达才报漏洞,并且附上证明它的最小请求。

[SEV-High 8] SQLi — orders/api.py:57 Entry point : GET /orders/<id> Taint path : request.view_args["id"] -> f-string -> cursor.execute() Sanitizer : none (string interpolation, not parameter binding) Authz : session user checked, but row ownership not (IDOR also open) PoC : GET /orders/1%20OR%201=1 with session cookie of user B Fix : cursor.execute("... WHERE id=%s AND owner=%s", (id, session.user))

路径走不通的一律进 Hardening(加固)附录——绝不夸大成"漏洞"。这条诚实规则就是整个方法的意义:不能指导行动的审计只是噪音。

技能里有什么

- 七遍法:入口点 → source → sink → 污点路径 → 逐对象授权 → 秘密 → 依赖
- 0–10 分级评分细则(含明确的调整规则),两次运行结果可比
- Python / JS-TS / Java / Go / PHP 的高信号 sink 速查表
- 严格的输出契约:file:line、污点路径、净化判定、授权判定、最小 PoC、最小修复

安装

把这个文件夹拷进你的 Agent 的技能目录:

- Claude Code:~/.claude/skills/taintlens-code-audit/
- DeepSeek Harness:拷贝(或 Junction)到 %USERPROFILE%\.dsh\skills\
- 其它:把目录指给你的 Agent,让它读 SKILL.md

零依赖、没有要执行的脚本、什么都不上传——它是写下来的方法,不是程序。

两分钟试用

1. 按上面装好技能。
2. 让 Agent 审计 examples/vulnerable/ 里的小应用。
3. 对照 examples/expected-report.md 看报告形状。

技能本身也要安检

装第三方技能是一次供应链决策。装本技能或任何技能之前,先用静态闸门扫一遍: skill-firewall ——
python firewall.py scan ./taintlens-code-audit——零依赖,本仓库配置为自扫干净。

技能不够的时候

AI 过一遍是初筛,不是审计。如果这个仓库面对真实攻击者——客户数据、支付、生产流量——发现仍需要人为它负责的人来确认。本技能就生长自那项服务:

TaintLens Studio —
污点分析初筛(小时级)× 人工复核,每条发现都有 PoC,给需要"能落地的审计"的团队。

相关项目

- dsh-plugin-hub — DeepSeek Harness 插件与技能总控台
- skill-firewall — Agent 技能装前安检门

MIT 许可,见 LICENSE。