Menú
SQL 注入多策略综合检测——分诊布尔盲注 / 时间盲注 / 报错 / UNION，覆盖各主流 DBMS。 流量中参数值带引号触发响应突变、响应含数据库错误关键字、同参数二态可控、注入 SLEEP 耗时增加时使用。
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
白盒建模——一次深度建模产出五张共享模型：项目架构（技术栈/分层/框架自有封装/闭源依赖位置）、 入口点（路由/中间件信任边界）、认证与权限（会话/角色/多租户/归属字段）、业务（实体/流程状态机/ 业务不变量/高价值资产）、全局威胁（攻击面×漏洞类别的适用性映射，供下游逐一全测）。本能力不做漏洞判定，为后续 漏洞维度分析建立共享底图。
OS 命令注入综合检测——覆盖直接命令拼接 / shell 元字符 / 参数注入 / 间接 RCE，按回显 / 时间 / 带外通道分诊。 流量中参数值含主机名 / URL / 文件名 / 命令片段、响应里出现 shell 错误关键字（`/bin/sh` / `cmd.exe` / `command not found`）、注入 `sleep N` 耗时增加、上传后异步处理链路时使用。
文件上传多策略综合检测——覆盖扩展名 / MIME / 魔术数 / 解析漏洞 / 上传链组合（LFI / Zip Slip / SVG XSS / SVG XXE）。 流量含 multipart/form-data 上传、响应回显落盘路径、上传后文件可被 GET 解析、上传字段含 filename / path 可控时使用。
IDOR 水平越权检测 — 通过替换资源标识符（ID/UUID/路径）访问他人资源的风险；适用于用户资料、订单、文档、租户隔离场景。
检测路径穿越和本地文件包含（LFI）风险；当目标存在文件读取/下载/预览功能且含路径参数时触发；适用于文件下载、日志查看、模板加载等场景。
黑盒建模 — 迭代式攻击面建模，按站点级 / 页面级 / 功能级三粒度推进；进入新页面即触发一次页面级建模、切换新身份各刷新一次，产出端点账本与页面语义模型，为后续漏洞维度的适用性判断提供依据。
Basado en la clasificación ocupacional SOC
| name | sql-injection-comprehensive |
| description | SQL 注入多策略综合检测——分诊布尔盲注 / 时间盲注 / 报错 / UNION，覆盖各主流 DBMS。 流量中参数值带引号触发响应突变、响应含数据库错误关键字、同参数二态可控、注入 SLEEP 耗时增加时使用。 |
| when-to-use | 当存在 SQL 注入嫌疑、注入类型或数据库不明确，需要多策略分诊探测时 |
| allowed-tools | bash,read_file,list_files,rg |
| user-invocable | false |
以下是已知的 SQLi 触发线索，作为基线起点而非必检硬清单。结合流量与响应特征动态调整：
[x] done[-] n/a (原因)（原因要具体到响应特征）[+] added (来源)响应特征命中信号（漏洞-specific）：
SQL syntax / ORA- / PostgreSQL / Unclosed quotation）1=1 vs 1=2 响应可区分SLEEP(N) 耗时增加 N 秒入口类型粗筛（仅作类似场景示例 不限于此）：
业务命名只作粗筛——sink 语义相同就属此范围。JSON body 任一字段、header / cookie 任一字段都是 SQLi 候选，不限于"看起来像数据库"的字段名；具体参数位置由 HAR 实际请求推导，不在此预设清单。
source 是任何用户可控输入（query / body / header / cookie / 路径参数 / 已入库再回读的字段）。sink 是 SQL 上下文：WHERE / LIKE / ORDER BY / GROUP BY 子句、INSERT 值、UPDATE SET、JOIN ON、HAVING、LIMIT / OFFSET、任何拼接进 SQL 查询的字符串位置。
任何 source 未经参数化绑定就被拼接到 sink，即构成 SQL 注入——攻击者控制的字符串改变了 SQL 语法树。预编译参数（PreparedStatement / $1 $2 / ? 占位符）把数据和指令在协议层隔离开，是默认防御。
ORM 不是免疫层：所有 ORM 都有 Raw 通道（.raw() / .query() / Raw() / nativeQuery()），且字段名 / 表名 / 排序方向不可参数化（必须白名单）。
列出 SQLi 黑盒可观测的响应通道集合（observation-channel）——攻击效果可被黑盒探测的侧信道。输入位置（query / body / header / cookie / path）从 HAR 实际请求推导，本节不预设清单。
响应观察通道集合（observation-channel）：
error-echo：错误信息回显（数据库错误关键字 + 可控数据回显）union-echo：UNION 拼接列值直接渲染到响应boolean-diff：同参数二态稳定可区分（status / 内容 / 长度）time-sidechannel：耗时可控（SLEEP / WAITFOR / pg_sleep）oob-dns / oob-http：带外通道触发（DNS / HTTP 请求）secondary-readback：二阶注入在另一端点回读时触发| 类型 | 触发条件 | 响应特征 | 适用 DBMS |
|---|---|---|---|
| 布尔盲注（Boolean） | 响应内容随条件 true/false 二态变化 | ' AND 1=1 -- vs ' AND 1=2 -- 响应可区分 | 全部 |
| 时间盲注（Time-based） | 响应内容不可区分但耗时可控 | SLEEP(N) / WAITFOR DELAY / pg_sleep | MySQL / MSSQL / PG |
| 报错注入（Error-based） | 错误信息回显到响应 | updatexml() / extractvalue() / cast() | MySQL / MSSQL |
| UNION 注入 | 查询结果直接渲染到响应 | UNION SELECT NULL, NULL, ... 列数匹配后回显 | 全部 |
| 堆叠查询（Stacked） | 驱动允许 ; 分隔多语句 | ; DROP TABLE... 副作用 | MSSQL / PG（MySQL 默认禁） |
| 二阶注入 | 先入库后回读时触发 | source 入库不报错，回读拼接时触发 | 全部 |
| OOB（带外） | 无回显且无延时通道 | LOAD_FILE / xp_dirtree 触发 DNS / HTTP | MySQL / MSSQL |
按以下方式从侦察输出中筛 SQLi 候选：
从 HAR / 端点账本：
q / search / keyword / id / sort / order / filter / where / category / tag/api/search / /list / /page / /{id} / /query / /filter从业务场景（由页面级建模输出，见 {page}-page-model.md 语义节）：
从身份切换 HAR 对比：
通过响应（错误关键字 / header / 行为）推断后端 DBMS / 框架 / WAF，优化 payload 选择。
| 响应特征 | 推断 DBMS | payload 选择 |
|---|---|---|
You have an error in your SQL syntax / MySQL / SQLSTATE | MySQL / MariaDB | 用 SLEEP() / -- 注释 / 0x hex / /**/ 绕过 |
syntax error at or near / PostgreSQL | PostgreSQL | 用 pg_sleep() / -- 注释 / ` |
Unclosed quotation mark / ODBC / SQL Server / Microsoft | MSSQL | 用 WAITFOR DELAY / xp_cmdshell / 堆叠查询 |
ORA-00933 / Oracle | Oracle | 用 DBMS_PIPE.RECEIVE_MESSAGE 延时 / ` |
SQLite3.OperationalError / near | SQLite | 限制：无 SLEEP、无堆叠、无 xp_cmdshell |
| 响应特征 | 推断框架 | 优化方向 |
|---|---|---|
X-Powered-By: Express / Set-Cookie: connect.sid | Express (Node.js) | 大概率 Sequelize 或 mysql2，常见拼接形态 |
Set-Cookie: PHPSESSID / X-Powered-By: PHP/... | PHP | mysqli / PDO 拼接 |
Server: nginx + JSESSIONID cookie | Java / Spring | JdbcTemplate / MyBatis ${} |
Server: gunicorn / Python traceback | Django / Flask | .raw() / .extra() |
X-Aspnet-Version | ASP.NET | ADO.NET / EF Raw |
| 响应特征 | WAF | 绕过方向 |
|---|---|---|
cf-ray header / Cloudflare 拦截页 | Cloudflare | 编码绕过 / chunked / 大小写混用 |
request blocked + 阿里云 LOGO | 阿里云 WAF | URL 编码 / 注释截断 |
imunify360 | Imunify360 | 同上 |
| 自定义 403 + 安全狗签名 | 安全狗 | 同上 |
响应指纹仅作辅助判断——真实的 sink 验证仍需在 §9 闭环要求章节定义的可观测效果证据。
加载本 skill 时按这些问题思考：
?sort= / ?order_by=）？这类不能参数化，必须看白名单。参数末尾追加 ' / " / ) / --，观察响应突变 / 报错。不要全打，按 sink 语义选 2-3 个候选试：
' 或 "，看是否出现新的语法错误特征或响应突变) / ))，观察从"错误→正常"或"正常→错误"的可复现翻转-- / #；其他 -- / ;输出：候选上下文集合（numeric / string + quote + paren_close + comment）。
按 §6 响应指纹表识别 DBMS 与框架。结论标注置信度（high / medium / low）。
有错误回显且语法错误可触发？ → 报错注入（信息量最高）
查询结果直接渲染到响应？ → UNION 注入
响应内容差异稳定（TRUE/FALSE）？ → 布尔盲注
响应不可区分但耗时可控？ → 时间盲注（速度最慢）
无回显无延时？ → OOB / 堆叠（仅 MSSQL/PG）
/**/ / 等价函数（SUBSTRING ↔ SUBSTR / SLEEP ↔ BENCHMARK）0x... 十六进制编码 / CHAR(0x...) / 宽字节 %bf%27（GBK / 旧版本 MySQL）/**/ / + / %0a / %0b / (...)?sort=(case when 1=1 then created_at else id end)闭环判定（confirmed / suspected / not_vulnerable）以
common/closure-verification.md为准。下面只列本漏洞特有的可观测信号。
confirmed（必须挂可观测效果证据）：
' AND 1=1 -- vs ' AND 1=2 -- 响应可区分，重复 3 次稳定，差异点可指认SLEEP(3) 耗时 > 基线 + 2.5s，重复 3 次稳定，且无延时参数耗时回到基线updatexml 报错带 @@version / database() / 表名）suspected（落 status=needs_review）：
not_vulnerable（落 status=not_vulnerable）：
禁止仅凭"响应 500""执行无异常""绕过了某黑名单"判 confirmed——这些只到 suspected。
why：反例义务属于交付契约——"该子系统无 SQLi"或"已防护"结论是覆盖完整性产物声明，缺失反向验证清单会让下游误信"该维度全站安全"。
写"未发现 SQLi"或"已防护"前，产物必须包含：
清单不完整 → 结论降级为 partial-coverage 并显式声明未覆盖范围。
反例 1：响应突变源于 WAF 拦截，不是 SQL 报错
request blocked / security violation 字样cf-ray / Server: imunify360 等可识别 WAF-- 是否被替换 / 拦截反例 2：错误 500 不带 SQL 关键字
{"error": "internal"}，无数据库关键字SQL / query / database / DBMS 名字反例 3：MySQL LIMIT 后参数化失败的旧版拼接不一定是注入
LIMIT ? 占位曾不支持，开发者用拼接SELECT ... LIMIT + pageSize反例 4：字段名拼接（无引号不报错）
ORDER BY / GROUP BY 后接的字段名不能用引号包裹，参数化对它无效?sort=created_at → 后端拼接 ORDER BY；改成 ?sort=invalid_column 报错 unknown column?sort / ?order_by 参数 + 改成无效字段名报错 unknown column?sort=(case when 1=1 then created_at else id end) 看是否可控字段顺序；或 ?sort=if(1=1,id,name)反例 5：二阶注入（入库时不报错，回读时触发）
'，入库正常；后台 admin 页面以邮箱查日志，回读时拼接进新查询反例 6：JSON body 字段被忽略的 SQLi 候选
/api/users 的 body 含 {"sortBy": "id", "filter": "..."}，filter 字段被拼到 WHERE反例 7：跨子系统隐式推广（漏报高发模式）
破坏性 / 不可逆动作的闭环边界以
common/closure-verification.md《破坏性 / 不可逆动作的闭环边界》节为准。下面只列 SQLi 特有的破坏点。
禁止对真实业务数据执行以下动作来"挂可观测效果"：
; DROP TABLE / ; TRUNCATE / ; DELETE FROM <real_table>（堆叠查询场景）UPDATE ... SET ... WHERE 1=1（无 WHERE 限定的更新）LOAD_FILE 读取系统文件后回写、或 INTO OUTFILE 写入文件系统的动作xp_cmdshell / sys_exec / COPY ... FROM PROGRAM 触发 OS 命令的动作允许的非破坏验证手段：
sastx_sentinel_），仅对哨兵执行可破坏操作WHERE col = (CASE WHEN ... THEN col ELSE col END) 类构造测试逻辑可控性，不改变查询语义? / $N 占位 + 单独传 args#{} 而非 ${}（${} 仅限明确可信白名单内的字段名 / 表名）where: {col: val} / db.Where("col = ?", val)，禁止字符串拼接进 Raw 通道FILE 权限）