菜单
从 Preauth 路由入口正向追踪调用链。读取 preauth-routes.json，对每个无需鉴权的路由使用 JetBrains 工具逐层追踪方法调用，匹配 Sink 模式，分析参数可控性。用于：Preauth 漏洞发现、正向污点分析。触发词：trace preauth、正向追踪、preauth 分析、未授权追踪、Phase 5。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Java 项目鉴权分析。Step 1 使用 JetBrains 工具查找所有 Filter、Interceptor 及安全框架配置，分析作用范围和执行顺序。Step 2 逐个分析路由端点的鉴权状态，按 preauth/postauth 分类输出。用于：鉴权架构分析、未授权端点发现。触发词：analyze auth、鉴权分析、认证分析、filter interceptor、Phase 2。
漏洞深度验证。对 trace-sink 和 trace-preauth 发现的调用链进行二次验证，确认调用链完整性和漏洞成立条件，生成 HTTP PoC，按利用效果和前置条件进行漏洞评分。用于：漏洞确认、PoC 生成、漏洞评级。触发词：deep verify、深度验证、漏洞验证、PoC 生成、Phase 6。
Java 项目路由端点发现。使用 JetBrains 工具查找所有 Controller、Servlet、JSP、RPC 服务、JAX-RS、WebSocket 端点，输出路由类清单 JSON。用于：Java 审计路由发现、攻击面枚举。触发词：find route、路由发现、路由搜索、endpoint discovery、Phase 1。
Java 项目漏洞 Sink 点搜索。在代码库中系统性搜索 12 类漏洞的 Sink 点（反序列化、JNDI注入、表达式注入、命令注入、SQL注入、任意类实例化、不安全反射、JDBC攻击、文件上传、ZipSlip、任意文件读取、硬编码敏感信息），确认利用条件后输出 Sink 清单。触发词：find sink、漏洞搜索、sink 分析、sink search、Phase 3。
Java 代码审计标准化报告生成。汇总 Phase 0-6 所有中间产物（recon.md、routes.json、auth-analysis.md、sinks.md、trace-sink.md、trace-preauth.md、vulnerabilities.json、deep-verify.md），生成结构化的最终审计报告。用于：审计报告输出、漏洞汇总。触发词：gen report、生成报告、审计报告、report generation、Phase 7。
Java 代码安全审计主编排器。执行 Phase 0 项目侦察（激活项目、架构分析、框架识别、攻击面识别），声明反幻觉铁律，然后按序调度子 skill 完成完整审计流程。用于：Java 安全审计、代码审计、漏洞挖掘。触发词：java audit、代码审计、安全审计、java 安全分析。
| name | trace-preauth |
| description | 从 Preauth 路由入口正向追踪调用链。读取 preauth-routes.json，对每个无需鉴权的路由使用 JetBrains 工具逐层追踪方法调用，匹配 Sink 模式，分析参数可控性。用于：Preauth 漏洞发现、正向污点分析。触发词：trace preauth、正向追踪、preauth 分析、未授权追踪、Phase 5。 |
java-audit Phase 5 被调度执行analyze-authtrace-sink.audit/preauth-routes.json 已存在（由 analyze-auth 生成）.audit/sinks.json 已存在（可选，用于交叉比对）1. 方法体必须通过 jet_brains_find_symbol(include_body=true) 实际读取
2. 每一跳必须标注 文件路径:行号
3. 参数传递关系必须从代码确认，不得推测
4. 无法确认的链路标记为 [Hypothesis]
读取 .audit/preauth-routes.json，获取所有无需鉴权的路由端点。
对每个 preauth 路由执行：
获取入口方法
jet_brains_find_symbol(method_name, include_body=true) 获取方法完整代码@RequestParam、@PathVariable、@RequestBody、@RequestHeader、HttpServletRequest 等）正向追踪调用链
jet_brains_find_symbol(include_body=true) 获取实现Sink 模式匹配
在追踪过程中检查是否调用了危险 API（参考 find-sink 的漏洞模式库）：
交叉验证
.audit/sinks.json 交叉比对参数可控性分析 在每一跳中检查：
输出 .audit/trace-preauth.md：
# Preauth 正向追踪报告
## Route: GET /api/public/download
**入口**: `PublicController.download()` at `PublicController.java:15`
**参数**: `@RequestParam("file") String filename` — 完全由 HTTP 参数控制
**追踪路径**:
1. `PublicController.download(filename)` at `PublicController.java:15`
- 调用 `FileService.getFile(filename)`
↓
2. `FileService.getFile(filename)` at `FileService.java:30`
- 参数传递: `filename` → `filename` (直接传递)
- 调用 `new FileInputStream(basePath + filename)`
↓
3. [SINK] `new FileInputStream(basePath + filename)` at `FileService.java:35`
- 路径拼接无校验
**漏洞**: 任意文件读取 (arbitrary_file_read)
**参数可控性**: filename 完全由 HTTP 参数控制，无过滤
**防护措施**: 无路径遍历校验
**鉴权状态**: Preauth — 无需任何认证
**风险**: Preauth + 任意文件读取 = 严重
**状态**: [Confirmed]
---
@PathVariable Long id 天然限制了注入面，但 String 类型参数需重点关注@RequestBody UserDTO user），需追踪对象各字段的使用