pentest-exploit-validation

渗透测试漏洞利用验证

目的

使用 Shannon 的 4 级证据系统，通过基于证明的漏洞利用来验证漏洞发现结果。处理白盒代码审查生成的漏洞利用队列，尝试通过穷尽绕过方式进行结构化漏洞利用，按漏洞类型收集必需证据，并将每项发现归类为 EXPLOITED、POTENTIAL 或 FALSE_POSITIVE。

前提条件

授权要求

• 书面授权，明确规定主动漏洞利用测试的范围
• 漏洞利用队列 JSON，由 pentest-whitebox-code-review 输出
• 测试账户，用于多个权限级别的授权测试
• 数据外传许可——确认可接受的概念验证范围
• 回滚计划，用于处理任何会修改数据的漏洞利用

环境设置

• sqlmap，用于自动化 SQL 注入漏洞利用
• Burp Suite Professional，配备 Repeater、Intruder 和 Turbo Intruder
• curl，用于手动构造 HTTP 请求
• Playwright，用于基于浏览器的漏洞利用（XSS、CSRF）
• nuclei，配合自定义模板进行自动化验证
• 隔离的测试环境，或明确的生产环境测试许可

核心工作流

1. 队列接入：解析漏洞利用队列 JSON，验证架构，根据置信度分数和影响严重性确定优先级。按漏洞类型对发现结果分组，以便并行开展漏洞利用。
2. 注入漏洞利用：确认可注入参数 → 识别后端（数据库类型、操作系统）→ 枚举数据库/表 → 以最小影响证明数据外传。
3. XSS 漏洞利用：从来源 → 处理 → 清理 → 接收点进行图遍历。构造适合上下文的载荷，展示会话劫持或 DOM 操纵。
4. 认证漏洞利用：攻击认证弱点 → 通过凭据填充、令牌伪造或会话劫持展示账户接管。
5. 授权漏洞利用：水平越权（跨用户数据）→ 垂直提权（管理员功能）→ 工作流绕过（状态操纵）。
6. SSRF 漏洞利用：访问内部服务 → 获取云元数据（169.254.169.254）→ 侦察内部网络。
7. 穷尽绕过尝试：针对每项发现，先尝试 3 个初始载荷 → 如果被拦截，则增加到 8-10 种绕过变体 → 如果仍被拦截，则部署自动化工具变体。
8. 影响升级：将概念验证升级为实际影响演示——数据外传、会话劫持或远程代码执行。
9. 证据收集：使用各漏洞类型的检查清单，收集该类型必需的证据。
10. 分类：根据 4 级证明系统，分配最终分类——EXPLOITED、POTENTIAL 或 FALSE_POSITIVE。

4 级证明系统

级别	描述	分类
L1	在代码中发现弱点，但尚未确认其可被利用	POTENTIAL
L2	部分绕过成功，但尚未展示完整漏洞利用	POTENTIAL
L3	漏洞已通过可复现证据得到确认	EXPLOITED
L4	已展示严重影响（数据外传、RCE、账户接管）	EXPLOITED CRITICAL

分类标准

分类	标准
EXPLOITED	有证据支持的可复现证明：HTTP 请求/响应、提取的数据或已展示的影响
POTENTIAL	已确认存在代码级弱点，但漏洞利用受到纵深防御或环境限制的阻碍
FALSE_POSITIVE	污点分析标记了问题，但人工审查确认清理有效，或代码路径不可达

工具类别

类别	工具	用途
SQL 注入	sqlmap、手动载荷	自动化和手动 SQLi 漏洞利用
请求构造	Burp Repeater、curl	手动操纵 HTTP 请求
模糊测试	Burp Intruder、Turbo Intruder	载荷变体和绕过测试
浏览器漏洞利用	Playwright	演示 XSS、劫持会话
自动化	nuclei、自定义脚本	基于模板验证漏洞
证据采集	Burp Logger、截图工具	记录请求/响应并提供证明

参考资料

• references/tools.md - 工具函数签名和参数
• references/workflows.md - 漏洞利用工作流、证据检查清单和分类树