Repository navigation
CTF-RE-TOOL v1.3.14(2026-10-14 汇总)
CTF-RE-TOOL v1.3.14 — 2026-10-14 当日汇总
本 Release 汇总 2026-10-14 当天的全部更新。当天原按里程碑分成了 v1.3.6 ~ v1.3.14 多次发布,现合并为一个版本,统一保留本页说明;其余同日 Release 已下线(仅保留最新安装包)。
下载即用最新构建,无需逐个版本看。
一、解题结构根治(v1.3.13 / v1.3.14)
"三件套"收口为单一入口 finalizeSolve()
过去"验证闭环"和"经验沉淀"是两步、散落在 9 个求解流程里各写一遍,于是反复出现"某条路径漏接"。现已收口:finalizeSolve(text, {source}) 一步内含「验证闭环 → 失败自动枚举 → 登记 flag → 解题成功则经验自动入库」,9 处全部改调它 —— 从结构上让"漏接"不可能发生。
5 类"只会指路"的入口改为真正解题
审计发现 .dex / .jar / .class / Mach-O / .luac 的处理器只有 15~24 行,只启动外部工具或打印一段指引,AI 完全不参与:
| 类型 | 旧行为 | 新行为 |
|---|---|---|
| DEX | 只启动 jadx | JEB MCP 采集类列表 + 关键类反编译 → AI 求解 → 验证闭环 |
| JAR / .class | 只启动 jadx | 同上(JEB 优先,不可用时降级 jadx 并明确告知) |
| Mach-O | 只打印文字 | IDA MCP 采集 → 二进制求解闭环 |
| .luac | 只打印文字 | 扫描明文串/长hex/base64/常量 → AI 求解 → 验证闭环 |
分流表 12/12 全部路由到真实求解器(ZIP 除外,其本就不是题目文件)。
修复跨文件 MCP 缓存泄漏(v1.3.14 复审发现)
analyzeJavaLike未清缓存 → 连解多题时上一题的类代码混进本次提示词;现入口先clearMcpCache()。state._keyClassesByContent(APK 内容命中筛查产物,用于把高价值类置顶)从不重置 → 会把上一题的类强行排到本题最前,挤掉真正的关键类;现并入clearMcpCache()重置。
二、经验与知识库"真正帮到解题"(v1.3.11 / v1.3.12)
经验机制:从"只暂存、要手动保存"改为解题成功自动入库;去重从"按整行(含日期)比对、换日必重复"改为与日期无关的内容级去重(精确 + 二元组相似度≥0.78 + 子串判定,阈值经真实样本双向校准,不误合并不同题);经验注入补全到所有求解路径。
题库攻略不再"存了没用":修复 wiki_search 解析 YAML meta 的正则 bug(m 标志令 $ 匹配行尾)—— 列表写法的 attack_chain/failed_attempts 曾被解析为空,43 篇题库仅 13 篇解法链可用。修复后 13 → 38 篇,检索摘要升级为 要点 + 解法链 + 避坑(失败教训)。
主路径自动预取:新增 prefetchKnowledge(),从已采集代码里探测算法/工具/混淆特征词,调用 AI 前主动检索题库并把攻略摘要内联进提示词(禁止调工具的固定清单路径由此也能拿到题库)。已覆盖 APK/PE/ELF、PYC、Web/JS、DEX/JAR、Lua。
三、PYC 逆向从"无解"到可用(v1.3.8)
- 多后端自动回退:配置的 pycdc → xdis/pydisasm → 原生 marshal+dis → 纯字节串扫描(永不空手)。
- 内置零依赖助手
electron/pyc_decompile.py:判定 Python 版本(3.4~3.13)、递归 dump 反汇编与常量、单列CONSTS表。 - 求解器兼容 PYC 高频写法:
xor单字节整数密钥(xor_key=199,此前被当b"199"三字节必解不出)、custom返回str/list[int]归一化。
四、验证闭环与动态 Hook 通用性(v1.3.6 / v1.3.7)
- 修复 IDA 采集 0 反编译(最严重):
window.electronApi拼写错 → TypeError 被空 catch 吞掉 → 一个 native 函数都拿不到;改正后实测反编译 0 → 19 个。 - 验证闭环不再"没契约就放弃":新增
synthesizeHypotheses()自合成候选矩阵(≤24 组)。 - AES/DES-CBC 缺 IV/给错 IV 不再必然失败(枚举全零/首块/前置 IV + 回退 ECB);口令 key 自动派生(MD5/SHA-256/零填充)。
- 动态 Hook 修复"抓到输出却报 0 条关键数据"、手动 Hook 自动驱动界面、枚举失败改按 PID attach、
String.equals降噪。 - 多候选密文交叉校验 + 自动裁决(IDA
xrefs_to判"哪条被校验函数引用"),防"变种题"陷阱。
五、重构引入问题的修复(v1.3.9 / v1.3.10)
- v1.3.9:验证闭环 7 处复制粘贴收敛为
verifyAndRecord()(纯重构,行为不变)。 - v1.3.10:修复该重构遗漏 ——
autoSolveFlag/autoSolveBinaryFlag只解构verifiedFlags却仍引用裸flags,导致ReferenceError: flags is not defined(AI 明明分析成功却报异常)。
下载:CTF-RE-TOOL.exe(Windows 便携单文件,双击即用)
适用范围:CTF 竞赛、授权渗透测试、自有系统的安全研究。