القائمة
文件上传多策略综合检测——覆盖扩展名 / MIME / 魔术数 / 解析漏洞 / 上传链组合（LFI / Zip Slip / SVG XSS / SVG XXE）。 流量含 multipart/form-data 上传、响应回显落盘路径、上传后文件可被 GET 解析、上传字段含 filename / path 可控时使用。
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
白盒建模——一次深度建模产出五张共享模型：项目架构（技术栈/分层/框架自有封装/闭源依赖位置）、 入口点（路由/中间件信任边界）、认证与权限（会话/角色/多租户/归属字段）、业务（实体/流程状态机/ 业务不变量/高价值资产）、全局威胁（攻击面×漏洞类别的适用性映射，供下游逐一全测）。本能力不做漏洞判定，为后续 漏洞维度分析建立共享底图。
OS 命令注入综合检测——覆盖直接命令拼接 / shell 元字符 / 参数注入 / 间接 RCE，按回显 / 时间 / 带外通道分诊。 流量中参数值含主机名 / URL / 文件名 / 命令片段、响应里出现 shell 错误关键字（`/bin/sh` / `cmd.exe` / `command not found`）、注入 `sleep N` 耗时增加、上传后异步处理链路时使用。
IDOR 水平越权检测 — 通过替换资源标识符（ID/UUID/路径）访问他人资源的风险；适用于用户资料、订单、文档、租户隔离场景。
检测路径穿越和本地文件包含（LFI）风险；当目标存在文件读取/下载/预览功能且含路径参数时触发；适用于文件下载、日志查看、模板加载等场景。
黑盒建模 — 迭代式攻击面建模，按站点级 / 页面级 / 功能级三粒度推进；进入新页面即触发一次页面级建模、切换新身份各刷新一次，产出端点账本与页面语义模型，为后续漏洞维度的适用性判断提供依据。
敏感信息泄露检测 — 检测 API 响应、错误回显、日志、响应头、备份/元数据文件中是否暴露未脱敏的 PII / 凭证 / 内部地址 / 系统配置；适用于所有返回业务数据或错误信息的端点。
| name | file-upload |
| description | 文件上传多策略综合检测——覆盖扩展名 / MIME / 魔术数 / 解析漏洞 / 上传链组合（LFI / Zip Slip / SVG XSS / SVG XXE）。 流量含 multipart/form-data 上传、响应回显落盘路径、上传后文件可被 GET 解析、上传字段含 filename / path 可控时使用。 |
| when-to-use | 当目标存在文件上传功能、上传链路与防护未知，需要综合绕过与效果验证测试时 |
| allowed-tools | bash,read_file,list_files,rg |
| user-invocable | false |
以下是已知的文件上传触发线索，作为基线起点而非必检硬清单。结合流量与响应特征动态调整：
[x] done[-] n/a (原因)（原因要具体到响应特征）[+] added (来源)响应特征命中信号（漏洞-specific）：
/uploads/<hash>.<ext> / /static/<userid>/<filename> / S3 预签名 URL）Invalid file type / File extension not allowed / Magic number mismatch）multer / formidable / commons-fileupload / Spring MultipartFile）入口类型粗筛（仅作类似场景示例 不限于此）：
Content-Type: multipart/form-data 端点（典型 file part）fileContent / data / base64）upload 子端点）filename / path / dir / subPath / targetDir业务命名（如 avatar / attachment / import）只作粗筛——sink 语义相同就属此范围。JSON body 任意 base64 / file 字段都是候选；具体参数位置由 HAR 实际请求推导，不在此预设清单。
source 是用户上传的整套文件元素：文件内容字节流、文件名（含扩展名）、Content-Type、multipart part header、JSON 中的路径 / 文件名字段。sink 是文件存储 + 后续消费链：磁盘 / 对象存储的写入位置、web 服务器对该路径的解析行为、业务后续二次解析（OCR / 缩略图 / 转码 / 解压 / 文档导入 / 预览渲染）、跨身份回读通道。
文件类型 / 魔术数 / 扩展名 / 落点路径 / 解析器配置任一缺失校验，即构成文件上传漏洞——攻击者可让服务端把"用户提交的字节流"识别为可执行脚本或可越权读取的资源。仅扩展名白名单不够（Content-Type / 文件名双扩展 / 解析器多扩展回退都可绕过），仅魔术数校验不够（SVG / PDF / Office 文档都是合法格式但内嵌可执行内容），仅落盘成功不构成漏洞（必须看后续如何消费）。
中间件解析行为是放大器：Apache 旧版 mod_mime 按文件名后缀链解析、Nginx %00 截断历史漏洞、IIS 短文件名 / 分号解析、Tomcat PUT / JSP 解析差异——同一份上传产物在不同中间件下的危害天差地别。
列出文件上传黑盒可观测的响应通道集合（observation-channel）——攻击效果可被黑盒探测的侧信道。输入位置（multipart 文件字节流 / filename / Content-Type / JSON base64 / 路径字段 / archive entry / 嵌入式 payload 等本漏洞典型 source）从 HAR 实际请求推导，本节不预设清单。
响应观察通道集合（observation-channel）：
path-echo：响应直接回显落盘路径 / URL / 对象存储 Keydirect-parse：GET 上传后的 URL，响应被服务端解析为脚本（如 PHP 输出 / JSP 输出）oob-callback：上传文件被解析后触发带外回连（DNS / HTTP）secondary-trigger：业务预览 / OCR / 缩略图 / 转码 / 解压链触发后产生可观测效果cross-identity-read：未登录 / 其他用户能 GET 到上传文件overwrite-diff：路径可控时覆盖已有文件，前后回读差异可见error-fingerprint：错误响应回显文件类型校验逻辑（库名 / 行号 / 校验链）| 类型 | 触发条件 | 响应特征 | 适用环境 |
|---|---|---|---|
| 扩展名绕过 | 扩展名白名单校验不严 | 上传 .phtml / .phar / .pht / .php5 / .shtml / .jspx / .cer / .cdx 通过 | Apache / Tomcat / IIS |
| 双扩展名 | 多扩展回退解析 | shell.php.jpg 落盘后被 Apache 解析为 PHP | Apache 旧版 mod_mime |
| MIME 类型绕过 | 仅校验 Content-Type | 文件内容 PHP，但 part header Content-Type: image/jpeg 通过 | 全部 |
| 魔术数 + payload 拼接 | 仅校验文件头 | GIF89a 头 + PHP payload 双格式文件 | 全部（依赖落点解析） |
.htaccess 上传 | 上传目录允许 .htaccess 生效 | 上传 .htaccess 改写 AddType 让任意扩展解析为 PHP | Apache |
.user.ini 上传 | PHP-FPM 启用 user.ini | auto_prepend_file 包含已上传图片马 | Nginx + PHP-FPM |
web.config 上传 | IIS 上传目录覆盖 handler | web.config 改写 handler 让 .jpg 解析为 ASPX | IIS |
| Nginx %00 截断 | Nginx + PHP 旧版本 | shell.jpg%00.php 解析为 PHP | Nginx < 0.8.41 历史 |
| IIS 短文件名 / 分号 | IIS 解析差异 | shell.asp;.jpg 被解析为 ASP | IIS 6 |
| SVG XSS | SVG 直接挂 web 预览 | SVG 内 <script> 触发存储型 XSS | 全部（依赖渲染） |
| SVG XXE | SVG 进 XML 解析器 | SVG 内含外部实体读 /etc/passwd | 服务端 XML 解析未禁 DTD |
| Office / Excel XXE | docx / xlsx 进 XML 解析 | XLSX [Content_Types].xml 含外部实体 | POI / 老 OpenXML |
| xlsm 宏 / xlsx 公式注入 | 业务下载 Excel 给用户 | `=cmd | '/C calc'!A1` 公式 / VBA 宏 |
| Zip Slip | 解压时不校验 entry 路径 | zip 内 entry 名 ../../../webroot/shell.php | 全部含解压链 |
| 解压炸弹 | 解压不限大小 | 10KB zip 解压 4GB | 全部含解压链 |
| 路径穿越覆盖 | filename / path 字段不规范化 | filename=../../webroot/index.jsp 覆盖 | 全部 |
| 上传 + LFI 组合 | 上传可达但目录不解析 + 存在 LFI sink | 上传图片马 + LFI include 该图片 | LFI 链存在时 |
按以下方式从侦察输出中筛文件上传候选：
从 HAR / 端点账本：
Content-Type: multipart/form-data 端点（直接定位 file part）file / upload / attach / avatar / cover / image / photo / doc / resume / import / backup / template/upload / /file / /attachment / /import / /avatar / /media>10KB 的字符串字段是候选）/uploads/<hash>.<ext> / https://*.oss-cn-*.aliyuncs.com/<key> / s3.amazonaws.com/<bucket>/<key>）/ueditor/controller / /ckeditor/upload 等子端点从业务场景（由页面级建模输出，见 {page}-page-model.md 语义节）：
下列业务场景仅作类似场景示例 不限于此；以页面级模型实际输出为准。
从身份切换 HAR 对比：
业务命名只作粗筛——sink 语义相同就是候选，JSON body 任一 base64 字段 / 任一含 filename 子字段都是候选。
通过响应（Server / X-Powered-By / 错误回显 / 落盘 URL 格式）推断后端中间件 / 解析器 / 存储链路，优化 payload 选择。
| 响应特征 | 推断中间件 | payload 选择 |
|---|---|---|
Server: Apache/2.x + X-Powered-By: PHP/... | Apache + PHP | 优先 shell.php.jpg（mod_mime 多扩展）/ .phtml / .phar / .htaccess 上传 |
Server: nginx + X-Powered-By: PHP/... | Nginx + PHP-FPM | .user.ini 上传 / 老版本 %00 截断 / shell.jpg/x.php 路径解析 |
Server: nginx + Set-Cookie: JSESSIONID | Nginx 反代 Tomcat | .jsp / .jspx / .jspf / .war 上传 |
Server: Microsoft-IIS/... + X-AspNet-Version | IIS + ASP.NET | .aspx / .cer / .cdx / web.config 上传 / 短文件名 shell.asp;.jpg |
Server: Apache-Coyote / Server: Apache Tomcat | Tomcat | .jsp / .jspx / 大小写 .JSP / PUT 方法 |
Server: gunicorn + Set-Cookie: sessionid | Django / Flask | 通常 RCE 链弱，关注 SVG XSS / XXE / Zip Slip |
| 响应特征 | 推断库 | 优化方向 |
|---|---|---|
错误回显 MulterError / LIMIT_FILE_SIZE | Node.js multer | 检查 fileFilter 是否仅校验扩展名 / mimetype（皆可伪造） |
错误回显 Formidable / 路径含 /tmp/upload_xxx | Node.js formidable | 检查 keepExtensions 与 hash filename |
错误回显 FileUploadException / commons-fileupload | Java commons-fileupload | 关注历史 CVE（CVE-2023-24998 拒绝服务等） |
错误回显 MultipartException / MaxUploadSizeExceeded | Spring MultipartFile | 检查 @RequestParam 后是否仅看 getOriginalFilename() 后缀 |
错误回显 werkzeug.formparser | Flask | 检查 secure_filename 是否调用 |
错误回显 django.core.files | Django | 检查 FileSystemStorage 的 path / name 是否规范化 |
| 落盘路径格式 | 推断存储链 | 风险点 |
|---|---|---|
/uploads/<uuid>.<ext> / /static/<hash>.<ext> | 本地磁盘 + UUID 重命名 | 重命名 ≠ 安全，看目录是否解析脚本 |
/uploads/<userid>/<original_filename> | 本地磁盘 + 保留原名 | 原名保留即扩展名可控 + 路径穿越候选 |
https://<bucket>.oss-cn-*.aliyuncs.com/<key> | 阿里云 OSS | 关注公开读 / 跨租户 key 猜测 / 预签名 URL 泄露 |
https://<bucket>.s3.amazonaws.com/<key> / s3.<region>.amazonaws.com | AWS S3 | 同上 + 关注 bucket policy |
/files/download?id=<num> | DB 存储 + 下载端点 | 关注 IDOR + 跨身份回读 |
| 响应文案 | 推断校验层 | 绕过方向 |
|---|---|---|
Invalid file extension / File type not allowed | 仅扩展名白名单 | 双扩展 / 大写 / .phtml / .phar 等冷门后缀 |
Invalid MIME type / Content-Type not supported | 仅 Content-Type 校验 | 改 part header Content-Type: image/jpeg |
Magic number mismatch / Invalid file header | 魔术数校验 | 文件头 GIF89a / \xFF\xD8\xFF + payload 拼接 |
Image processing failed / ImageMagick error | 真实解析校验 | polyglot 文件 / ImageTragick CVE / SVG XXE |
| 无任何文案，直接落盘成功 | 仅检查文件存在 | 任意扩展尝试，按中间件解析行为命中 |
指纹仅作辅助判断——真实的 sink 验证仍需在 §9 闭环要求章节定义的可观测效果证据。
加载本 skill 时按这些问题思考：
filepath.Join 决定落点？能不能跨目录覆盖已有文件？.htaccess / web.config / 分号截断）？baseline.jpg 含真实 JPEG 头），记录：响应结构 / 落盘 URL / 命名规则 / 是否触发异步处理（缩略图 / OCR / 转码）accept 属性、后端报错文案、大小限制按 §6 响应指纹表识别中间件 + 文件处理库 + 存储链 + 校验机制。结论标注置信度（high / medium / low）。
落点是本地磁盘 + web 可执行目录？
→ 优先：扩展名绕过 + 中间件解析（按指纹选 .htaccess / .user.ini / web.config / 双扩展）
落点是本地磁盘 + 静态目录（不解析脚本）？
→ 优先：SVG XSS / 路径穿越覆盖 / 上传 + LFI 组合
落点是对象存储（OSS / S3）？
→ 优先：跨租户 key 猜测 + 公开读 + 预签名 URL 泄露 + 覆盖
入口含解压链（zip / tar / rar）？
→ 必测：Zip Slip / 解压炸弹（小样本） / 同名覆盖 / 软链穿越
入口是 Office / Excel 导入？
→ 必测：XXE（docx / xlsx [Content_Types].xml 含外部实体） / 公式注入
入口含 filename / path 控制字段？
→ 必测：路径穿越覆盖
| 维度 | payload 范式 |
|---|---|
| 扩展名 fuzzing | .php .phtml .pht .phar .php5 .php7 .php8 .jsp .jspx .jspf .asp .aspx .cer .cdx .shtml |
| 大小写 | .PHP / .PhP / .JSP / .AsPx |
| 双扩展 | shell.php.jpg / shell.jpg.php / shell.php.xxx |
| 尾随字符 | shell.php. / shell.php / shell.php/. |
| 空字节 / URL 编码 | shell.php%00.jpg / shell%2ephp / shell.ph%70 |
| MIME 伪造 | 文件内容 PHP + part header Content-Type: image/jpeg |
| part header 不一致 | multipart filename 与外层 form 字段 filename 不一致 |
| 魔术数 + payload | 前缀 GIF89a / \xFF\xD8\xFF + PHP / JSP payload |
| Polyglot | 同时是有效 JPEG + 有效 PHP（用 jhead / exiftool 注释段） |
.htaccess | AddType application/x-httpd-php .jpg（Apache） |
.user.ini | auto_prepend_file=shell.jpg（PHP-FPM） |
web.config | 改写 IIS handler 让 .jpg 解析为 ASPX |
| SVG XSS | SVG 内 <script>alert('sastx_sentinel')</script> |
| SVG XXE | SVG 内 <!ENTITY xxe SYSTEM "file:///etc/hostname"> |
| Office XXE | docx / xlsx 解包改 [Content_Types].xml 加 DTD |
| Zip Slip | zip entry 名 ../../sastx_sentinel.txt 或 ../../webroot/sastx.jsp |
| 路径控制字段 | JSON {"filename":"../../sastx_sentinel.txt"} / {"path":"/tmp/sastx_test/"} |
按落点选择验证通道：
../ 的 zip 后检查解压目标是否越界（找哨兵文件落点）php / jsp）→ 改大小写 / 冷门扩展（.phtml / .jspx）/ part header 注入.htaccess / .user.ini / web.config）闭环判定（confirmed / suspected / not_vulnerable）以
common/closure-verification.md为准。下面只列本漏洞特有的可观测信号。
confirmed（必须挂可观测效果证据）：
<script>，截图或 DOM 证据可复核sastx_sentinel_<ts>.txt 落在越界目录，且前后回读对比可见include 该图片，LFI 端点返回图片马 payload 执行结果suspected（落 status=needs_review）：
.htaccess / web.config）上传成功但未观察到改写后的解析行为.phtml 通过），但落点目录不解析脚本not_vulnerable（落 status=not_vulnerable）：
禁止仅凭"上传成功 + 返回 URL / 对象存储 key / 落盘"判 confirmed——这些只到 suspected，必须叠加后续消费链的可观测效果证据。
why：反例义务属于交付契约——"该子系统无文件上传风险"或"已防护"结论是覆盖完整性的产物声明，缺失反向验证清单会让下游误信"该维度全站安全"。文件上传入口分散（头像 / 附件 / 简历 / 富文本 / 导入 / 备份 / 解压），逐入口失败漏报最高发。
写"未发现上传风险"或"已防护"前，产物必须包含：
清单不完整 → 结论降级为 partial-coverage 并显式声明未覆盖范围。
反例 1：上传成功 + 落盘 URL 回显，但 GET 返回原始字节流
shell.php 成功，响应回显 /uploads/abc.php，GET 该 URL 返回 200 + 原 PHP 源码Content-Type: text/plain 或 application/octet-stream，body 是 <?php ...?> 原文php_admin_flag engine off 或被静态文件服务器代理，不解析 PHP；判 suspected，深挖能否通过 .htaccess / LFI 绕过反例 2：上传 .phtml / .phar 通过校验，但落点目录不解析任何脚本
shell.phtml 上传成功，GET 返回原文.htaccess 上传也无效（被拒）反例 3：响应 500 但无解析迹象
<?php 的图片，响应 500 通用错误页反例 4：上传成功无回显路径，但路径可猜
{"success": true}，但落点是 /uploads/<userid>/<original_filename> 这类可推断格式/profile 详情接口）看是否返回上传文件 URL，再回头 GET 验证反例 5：SVG 上传到 CDN 不解析 PHP，但业务预览渲染触发 XSS
/preview?file=<key> 直接把 SVG 内嵌入 <object> 渲染<script>alert('sastx_sentinel')</script>，在预览页面看是否触发反例 6：JSON body base64 字段被忽略的候选
POST /api/avatar body {"image": "<base64>", "filename": "x.png"}，后端 base64 解码后落盘>10KB 的 base64 字符串字段../ 或 .php，按上传变体测反例 7：跨子系统隐式推广（漏报高发模式）
反例 8：路径穿越 filename 字段，但服务端做了 filepath.Clean 规范化
../ ≠ 路径穿越生效{"filename": "../../etc/passwd"}，响应回显 /uploads/etc/passwd（.. 被规范化掉）../ 被吃掉%2e%2e%2f / ..%2f / ..%5c）+ 看是否覆盖已有同名文件破坏性 / 不可逆动作的闭环边界以
common/closure-verification.md《破坏性 / 不可逆动作的闭环边界》节为准。下面只列文件上传特有的破坏点。
禁止对真实业务环境执行以下动作来"挂可观测效果"：
system($_GET['cmd']) / Runtime.exec 的 shell）index.php / web.xml / 真实业务模板）.htaccess / web.config 改写生产解析规则后未还原允许的非破坏验证手段：
sastx_sentinel_<ts>_，payload 只做无害自证：
<?php echo 'sastx_sentinel_' . time(); ?> / <% out.println("sastx_sentinel_" + System.currentTimeMillis()); %> —— 仅 echo 时间戳，不执行命令<svg><script>document.title='sastx_sentinel_'+Date.now()</script></svg> —— 仅改 titlesastx-sentinel-<token>.dnslog.cn）+ 读无害资源（如 file:///etc/hostname 而非 /etc/shadow）../../sastx_sentinel_<ts>.txt，内容是无害文本；越界后清理../../sastx_sentinel_<ts>.txt，内容无害；解压后回收测试结束必须主动清理：删除所有 sastx_sentinel_* 哨兵文件、回滚覆盖、清理 .htaccess / .user.ini / web.config 等持久化配置。
location ~ \.(php|jsp|asp|aspx)$ { deny all; }），或落对象存储php_admin_flag engine off 或 <FilesMatch> 禁脚本解析location 禁所有动态 handler.htaccess / .user.ini / web.config 生效（AllowOverride None / user_ini.filename=""）Content-Disposition: attachment 强制下载，避免内联渲染setFeature("http://apache.org/xml/features/disallow-doctype-decl", true)），或转栅格图后存储disallow-doctype-declfilepath.Rel(dst, target) 校验在目标目录内；限制解压大小（如 100MB）、文件数（如 10000）、嵌套层数（如 3）..、空字节、URL 编码绕过