# 先定位再推理：剥离符号二进制中的端到端补丁存在性测试

> 结合指令对齐检索及调用者／被调用者上下文，在剥离符号的二进制中定位补丁相关代码，再由 LLM 筛选候选匹配并对照漏洞版与修复版参考程序判断补丁特定行为。

- 作者：Huaijin Wang; Tongda Wang; Zhibo Liu; Yue Zhang; Shuai Wang; Pengfei Hu; Jianzhong Liu; Fangtian Zhong; Shaohua Wang
- 原标题：Locate, Then Reason: End-to-End Patch Presence Testing in Stripped Binaries
- 发表载体：arXiv
- 发表状态：预印本
- 出版／提交日期：2026 年 10 月 18 日
- 日期依据：采用 arXiv v1 首次提交日期；未核实正式会议或期刊出版。
- arXiv 首次提交：2026 年 10 月 18 日
- arXiv：2610.25071
- 已复核的 arXiv 版本：v1
- DOI：10.48550/arxiv.2610.25071
- 来源复核于：2026-10-20
- 收录于：2026-10-20
- 原始论文：<https://arxiv.org/abs/2610.25071>
- PDF：<https://arxiv.org/pdf/2610.25071v1>
- BibTeX：<https://awesomerea.org/papers/citations/paper-patchalign.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-patchalign/>
- 记录 JSON：<https://awesomerea.org/papers/paper-patchalign/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-patchalign/index.md)

## 研究范围与局限

需要已知源码补丁以及漏洞版／修复版参考二进制，并非源码恢复或未公开漏洞发现。评测覆盖四个 C/C++ 项目的 62 个 CVE、124 个参考二进制及 496 个目标二进制，限于 x86-64、指定 GCC／Clang 配置和一个报告的推理模型。标签平衡不代表实际部署分布；公开补丁可能出现在训练数据中。不确定与定位失败结果虽单独报告，但二分类指标分别将其计为仍有漏洞的正类及负类；选定子集准确率则排除两者。

## 与本合集的关联

研究由证据引导的二进制代码定位与语义比较，并展示反编译器推断类型在判断小规模修复时的局限。

## 发表与复核说明

已审阅九位作者的 v1 摘要与全文。文章采用 arXiv 非独占许可。数据可用性部分承诺在出版时发布代码、模型、数据及说明；所审阅全文和定向检索未核实论文专属公开产物或其许可，引用的基线工具不等于 PatchAlign 发布。DataCite 于 2026-10-20 登记匹配的 arXiv DOI，尽管摘要页仍标为待注册。

## 一手来源

1. <https://arxiv.org/abs/2610.25071>
2. <https://arxiv.org/html/2610.25071v1>
3. <https://api.datacite.org/dois/10.48550/arxiv.2610.25071>

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。