eni-redteam-code-audit-detail-pack

name	eni-redteam-code-audit-detail-pack
description	[DOCUMENTATION ONLY] [仅文档] 授权范围内源代码安全审计的领域路由与边界手册，覆盖危险函数追踪、数据流分析、逻辑缺陷检测与依赖审查。当任务落入代码审计领域、需要明确范围、证据、转向或退出标准时加载。

代码审计纵深手册

文档性质：本手册属于纯文档资源（DOCUMENTATION ONLY / 仅文档），提供方法框架与检查清单，不捆绑任何可执行脚本。

一、手册职责与领域声明

当前任务归类于 代码审计 领域，测试范围限定在白盒审查面：危险函数追踪、数据流分析、逻辑缺陷识别、第三方依赖审查等。

本手册只为代理解决三件事：划清测试边界、受阻时给出转向选项、收尾时卡住证据质量。它不教授固定攻击步骤，不替代用户授权范围，不把任何推测当作结论。

若 scope、target 或授权边界未明确，任务直接进入 blocked 或 plan-only 状态，不进行真实执行。

二、攻击面地形

白盒审计的地图是"从输入到危险点的路径"。外部输入（HTTP 参数、文件、消息队列、环境变量）经过解析、拼接、转换后抵达 sink——SQL 执行、命令执行、文件写入、反序列化、模板渲染。审计的核心动作是给每条可疑路径定性：输入是否真的可达？中间层有没有过滤或转义？过滤本身是否有绕过空间？依赖引入的代码同样要进地图。

入口	典型载体	观察方式
路由与控制器	用户输入接入点	追踪参数流向
数据层	SQL/ORM 拼接	检查参数化与拼接方式
文件与命令	文件操作、进程调用	检查路径与命令构造
模板与序列化	渲染、反序列化	检查表达式与类型处理
依赖	第三方库版本	对照 CVE 与供应链风险

三、变体速览

变体	触发条件	高价值场景
注入类 sink	SQL/CMD/LDAP 拼接	数据层与系统层命令执行
认证缺陷	硬编码凭据、弱校验	直接获取系统入口
逻辑漏洞	竞态、流程跳过	业务状态被绕过
依赖风险	已知 CVE、供应链污染	引入现成利用链

四、执行纪律与禁区

• 只围绕用户明确提供或授权的目标工作，不超出目标代码库或系统边界。
• 不得泄露审计目标的源代码。
• 证据纪律：不伪造、不夸大、不补写不存在的证据；不在缺少证据时声明任务完成。
• 不把候选风险、公开 CVE 或组件指纹直接等同于可利用漏洞——指纹只是线索，验证才是结论。
• 若 scope、target 或授权边界不明确，进入 blocked 或 plan-only，不进行真实执行。

五、受阻转向

• 代码量巨大 → 优先审计入口点（路由、API、用户输入处理函数）。
• 框架封装深 → 追踪框架安全机制的实现细节，寻找绕过点。
• 依赖复杂 → 检查已知 CVE、不安全版本与供应链风险。
• 未发现高危漏洞 → 降级审查中低危问题，输出审计报告回退上级。

六、收尾与证据标准

正向退出（有发现）

• 关键结论至少具备 supported 级证据；漏洞成立、影响判断或最终报告必须有 verified 级证据。
• 交付 reproduction 证据包，须包含：漏洞代码位置（文件:行号）；数据流路径（source → sink）；PoC 或利用场景描述；修复建议。
• 每份 artifact 能说明来源、目标、时间、观察结果和判断依据。

负向退出（未发现）

• 最少尝试次数：3。
• 记录已审计范围与未发现证据的原因，提交审计报告后回退上级。
• 措辞纪律：只输出"当前证据下未发现"，不输出"确认不存在"。