Php File Read Audit

---
name: php-file-read-audit
description: PHP Web 源码任意文件读取/路径穿越审计工具。识别文件读取 Sink，追踪路径来源与校验逻辑，输出可利用性分级、PoC 与修复建议（禁止省略）。
---

# PHP 任意文件读取审计（php-file-read-audit）

分析 PHP 项目源码，识别文件读取与包含执行风险：路径穿越导致任意文件读取、包含任意文件（include/require）导致信息泄露或代码执行（当包含的是可执行内容/或受流包装器影响）。

## 分级与编号
- 详见：`shared/SEVERITY_RATING.md`
- 漏洞编号：`{C/H/M/L}-FILE-{序号}`

## FILE Sink（必做）
识别以下函数/语法：
- 读取：`file_get_contents/readfile/fopen/stream_get_contents/file/Storage::get`
- 包含：`include/require/include_once/require_once`（路径拼接风险尤其高危）
- 压缩/归档：`ZipArchive->open`（若路径可控）
- 流包装/过滤：`php://filter`、`php://input`（若被作为文件内容读取/包含）
危险：当 `allow_url_fopen/allow_url_include` 或 wrapper 允许时，读取/包含可跨协议
危险模式：
- 读取/包含路径变量直接来自用户输入
- 路径拼接未做规范化与 basePath 校验
- 允许 `file://`、`php://`、`data://`、`zip://` 等流包装且未限制
- 在 include/require 场景存在 `allow_url_include=On` 或通过配置/封装间接开启网络/跨协议 include 的证据

## 路径穿越检测（必做）
必须分析并给出证据：
- 是否过滤 `../`、`..\\`、混合分隔符
- 是否做 `realpath/canonicalize` 并用 basePath 校验前缀
- 是否处理流包装器（wrapper）前缀：`php://`、`file://`、`phar://`、`zip://` 等（必须逐项证据化）
- 编码/双重编码/大小写/尾部空格/`\0`（旧版本 PHP）绕过可能性
- 是否对后缀/扩展名做白名单，并且白名单不易绕过

## 包含执行判定（强制：提升真阳性）
当检测到 `include/require*` 使用可控路径时，必须输出以下判定证据（不能跳过）：
1. **包含内容类型**：包含目标是否可能被当作 PHP 代码执行（例如扩展名/解析方式/执行路径证据）
2. **包含路径的最终解析结果**：wrapper 解析后是否仍指向可控资源
3. **执行面边界**：include/require 是否位于异常处理、return/throw 分支之后（即使能读也可能不执行）
4. **配置证据**：是否存在 `allow_url_include=On`、或 `auto_prepend_file/auto_append_file`、或自定义封装对 include 的放行点

## tracer 触发条件（必做）
- 路径经过多层函数/JSON 字段传递
- 存在分支：校验逻辑是否只在某路径分支生效

## 报告输出
输出到：
```
{output_path}/vuln_audit/file_{timestamp}.md
```

## 漏洞条目模板（强制）
必须包含：
- 位置证据
- 数据流链（Source→Sink，包含路径拼接与校验分支）
- 证据引用（来自 `php-route-tracer` 输出，必须逐项引用）：必须对应并引用 trace 的 `## 9) Sink Evidence Type Checklist`（FILE 行）中的证据要点
  - `EVID_FILE_WRAPPER_PREFIX`：wrapper/流包装前缀（如 `php://`/`phar://`/`zip://` 等）
  - `EVID_FILE_RESOLVED_TARGET`：final/resolved target（wrapper 解析后的最终目标）
  - `EVID_FILE_INCLUDE_REQUIRE_EXEC_BOUNDARY`：include/require 执行面边界（是否会执行 PHP 代码 vs 仅读取内容/报错；该证据点也可包含与 allow_url_include/封装放行相关的证据）
- 可利用前置条件（鉴权/输入可控性/触发条件）
- 可执行 PoC（HTTP 请求，含真实路由）
- 建议修复（basePath 校验 + 流包装禁用策略 + include/require 的安全替代要点 + 代码搜索语句）

## tracer 证据缺失处理（强制）
- 若 trace 的 `## 9) Sink Evidence Type Checklist`（FILE 行）中任一关键证据要点缺失或无法对应到本条漏洞：该条漏洞状态必须为 `⚠️待验证`（不得直接给出 `✅已确认可利用`）。