CTF Flag 验证方法论
核心原则
LLM 无法可靠地数 hex 字符或拼接长字符串。 所有 flag 的提取、拼接、验证必须用程序（Python）完成，绝不手动拼接。
强制验证流程
1.1 提取 flag 时优先使用程序化方法
SQL 注入（EXTRACTVALUE/UPDATEXML 分段提取）：
- ❌ 不要手动复制各段然后在思考中拼接
- ✅ 写 Python 脚本自动发请求、自动分段、自动拼接（参考 sql-injection-methodology 中的 Python 模板）
- ✅ 优先用 UNION SELECT（无截断限制，一次拿完整 flag）
命令执行（RCE / 命令注入）：
- ⚠️
cat /flag.txt输出可能含 trailing newline → 用flag.strip()去除 - ⚠️ 命令输出可能被 HTML 编码（
<→<）→ 用 Pythonhtml.unescape()解码 - ⚠️ 如果回显被截断，改用
base64 /flag.txt再解码
文件读取（LFI / 任意文件读取）：
- ⚠️ PHP
file_get_contents可能返回 base64 → 先解码 - ⚠️ 通过 php://filter 读取时：
php://filter/convert.base64-encode/resource=flag→ 必须 base64 解码 - ⚠️ 路径大小写敏感：
/flag.txt≠/Flag.txt≠/FLAG.txt
Web 页面解析：
- Flag 可能在 HTML 注释
<!-- flag{...} -->中 - Flag 可能在 HTML 属性
data-flag="flag{...}"中 - Flag 可能在 JavaScript 变量
var flag = "flag{...}"中 - 用 Python
re.search(r'flag\{[a-fA-F0-9_-]+\}', html_text)提取
1.2 长度验证
如果你通过 SQL LENGTH() 或其他方式获知了 flag 的预期长度，用 Python 验证：
pythonflag = "flag{...extracted...}" expected_length = 70 # 从 LENGTH() 获得 assert len(flag) == expected_length, f"MISMATCH! {len(flag)} != {expected_length}"
1.3 格式验证
pythonimport re flag = "flag{...}" assert re.match(r'^flag\{[a-fA-F0-9_-]+\}$', flag), f"Invalid format: {flag}" assert flag.endswith('}'), "Missing } — flag 可能被截断"
1.4 验证失败的处理
- 长度不匹配 → 重新提取。EXTRACTVALUE 改用 Python 自动脚本或 UNION SELECT
- 格式不对 → 检查 HTML 编码、base64 编码、trailing whitespace
- 多次失败 → 切换提取方法（EXTRACTVALUE → UNION → 盲注 → sqlmap --dump）
1.5 常见错误模式
| 错误 | 原因 | 解决 |
|---|---|---|
| Flag 少 1-2 字符 | EXTRACTVALUE 32 字符截断 + 手动拼接 | Python 自动提取脚本 |
| Flag 多 1-2 字符 | SUBSTRING 起始位置重叠 | 检查 SUBSTRING 参数 |
| Flag 中间有错字符 | LLM 误读 hex 字符 | Python re.search 提取 |
| Flag 含 HTML 实体 | & 未解码 | html.unescape() |
| Flag 有换行/空格 | 命令输出含 whitespace | .strip() |
| Flag 格式不对 | 提取了错误数据 | 重新确认表名/文件路径 |
1.6 字符级验证问题
- Flag 中间丢失字符时，检查位置 29-32 区域，可能存在偏移错误导致遗漏字符
- HTML 实体还原：
<变成<，&变成&，网页显示与源码不同，需解码还原 - 示例：
flag{a3b<c5d&e7f}— 渲染后不同于源码，解码后才是正确 flag
