Code_Audit_Skills

维护者：n0tepad
仓库：n0tepad-pro/Code_Audit_Skills

---

背景

大模型技术快速演进，正在改变 CTF 与代码审计的传统工作方式。当前模型对源码的理解能力已经相当成熟，不少团队已将 LLM 引入 CTF 解题、Web 代码审计与漏洞挖掘流程。

但实践中有一个明显缺口：仅靠「Skill + 丢一段代码给模型」远远不够。

常见问题在于：

1. 上下文不足：真实项目的路由、调用链、配置、过滤逻辑无法在一次对话里完整呈现。
2. 误报泛滥：静态规则或模型往往只盯「危险函数」，忽略路由是否可达、前置过滤是否生效、参数是否可控。
3. 缺少可验证结论：审计报告里写「可能存在 SQL 注入」与「存在可稳定利用的 PoC」是两回事。CTF 与实战都需要后者。

因此，本项目探索的是一种 「经典审计方法论 + 规则引擎 + 调用链 + LLM Skill」 的组合路径：先缩小范围，再精准确认，最后产出 真实可利用的 PoC。

---

核心思路

路由 / 入口构图  →  规则扫描可疑点  →  链路分析与可达性判断  →  LLM Skill 编写 PoC  →  本地验证

设计原则：规则负责 Recall（找 suspects），链路负责 Precision（筛 reachable），Skill + PoC 负责 Confirm（证 exploitable）。

---

技术方案

本仓库按语言选用不同的静态分析基座。CodeQL 官方不支持 PHP，因此 PHP 与其他语言采用不同组合：

PHP：  路由构图 → Semgrep 规则 → Psalm 污点 → Skill 写 PoC → 验证
其他：  路由构图 → CodeQL 查询 → 链路分析 → Skill 写 PoC → 验证

---

仓库结构

按 语言模块 组织，每种语言自包含规则、Skill 与漏洞样例：

Code_Audit_Skills/
├── README.md
│
├── php_code_audit/
│   ├── semgrep_rules/       # Semgrep YAML 规则
│   ├── psalm_rules/         # Psalm 污点分析配置
│   ├── code_audit_skills/   # LLM Agent Skills（PoC 生成、链路分析等）
│   └── vuln_examples/       # 可运行漏洞样例（正样本）
│
├── java_code_audit/
│   ├── codeql_rules/
│   ├── code_audit_skills/
│   └── vuln_examples/
│
├── python_code_audit/
│   ├── codeql_rules/
│   ├── code_audit_skills/
│   └── vuln_examples/
│
├── go_code_audit/
│   ├── codeql_rules/
│   ├── code_audit_skills/
│   └── vuln_examples/
│
└── c_cpp_code_audit/
    ├── codeql_rules/
    ├── code_audit_skills/
    └── vuln_examples/

每个 vuln_examples/ 条目 ideally 配套：

• 对应 *_rules/ 中的检测规则（应命中）
• 可选 *_chain.md（路由与调用链，与样例同目录或同编号）
• 对应 code_audit_skills/ 中的 Skill（指导 LLM 写 PoC）

详见各语言目录下的 README.md。

---

当前内容（Phase 0 · PHP）

php_code_audit/vuln_examples/ 下已有 18 道 PHP Web 审计样例（由历史 CTF 题目整理），用作 Semgrep / Psalm 规则与 Skill 开发的 正样本基准。

本地运行

php -S 127.0.0.1:8080 -t .
# 示例：http://127.0.0.1:8080/php_code_audit/vuln_examples/01_lfi.php

样例索引

辅助文件：Y29uZmln.php、class.php、f1aG.php、flag.txt 等（均在 vuln_examples/）。

首个端到端样板（计划中 · 01_lfi）

---

PoC 验证

---

贡献与路线图

• [x] 按语言模块搭建目录骨架（PHP / Java / Python / Go / C++）
• [x] PHP 样例迁入 php_code_audit/vuln_examples/
• [ ] GitHub 仓库更名为 Code_Audit_Skills
• [ ] 完成 01_lfi 全链路样板（semgrep + psalm + skill + chain）
• [ ] Java / Python 各 1 个 CodeQL 样板
• [ ] CI：规则对 vuln_examples 命中，干净代码不误报

欢迎提交规则、样例、Skill 与已验证 PoC。

---

声明

• 样例代码来源于 CTF 平台或公开改编，仅供安全学习与审计研究。
• 请勿将本题代码或 PoC 用于未授权测试或生产环境。