# ReSym：利用大语言模型恢复去符号二进制中的变量与数据结构符号

> 结合两个微调语言模型与基于 Prolog 的跨函数推理，从去符号二进制的反编译结果中推断局部变量符号及用户自定义数据结构。

- 作者：Danning Xie; Zhuo Zhang; Nan Jiang; Xiangzhe Xu; Lin Tan; Xiangyu Zhang
- 原标题：ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries
- 发表载体：ACM CCS 2024
- 发表状态：会议论文
- 出版／提交日期：2024 年 12 月 2 日
- 日期依据：采用 ACM 在 Crossref 登记的印刷出版日期；不将 CCS 2024 于 10 月 14—18 日举行的会议周作为出版日期。
- DOI：10.1145/3658644.3670340
- 来源复核于：2026-10-17
- 收录于：2026-10-16
- 原始论文：<https://doi.org/10.1145/3658644.3670340>
- PDF：<https://www.cs.purdue.edu/homes/lintan/publications/resym-ccs24.pdf>
- 代码：<https://github.com/lt-asset/resym>
- BibTeX：<https://awesomerea.org/papers/citations/paper-resym.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-resym/>
- 记录 JSON：<https://awesomerea.org/papers/paper-resym/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-resym/index.md)

## 研究范围与局限

该方法依赖底层反编译结果及针对 C/C++ 数据学习的预测。交叉检查可减少预测冲突，但不能证明恢复的名称或布局与缺失源码完全一致。公开研究产物包含模型、处理后的数据与评估代码。

## 与本合集的关联

展示如何结合程序分析，为 LLM 生成的逆向工程注释提供依据。

## 发表与复核说明

ACM 元数据记载印刷出版于 2024-12-02，在线出版于 2024-12-09，页码为 4554–4568。作者托管的正式 PDF 标注 CCS ’24 于 2024 年 10 月 14—18 日在盐湖城举行，该日期仅为会议举办时间。DOI、标题、六位作者及会议均与出版方记录和官方作者研究产物一致。

## 一手来源

1. <https://doi.org/10.1145/3658644.3670340>
2. <https://api.crossref.org/works/10.1145/3658644.3670340>
3. <https://www.cs.purdue.edu/homes/lintan/publications/resym-ccs24.pdf>
4. <https://github.com/lt-asset/resym>
5. <https://github.com/lt-asset/resym/blob/437b4acac21a5a60edecf0c4423f7172f991271f/README.md>
6. <https://dnxie.github.io/>
7. <https://zenodo.org/records/13917253>

## 相关条目

- [ReSym（CCS 2024）](https://awesomerea.org/zh/resources/resym-paper/index.md) · 精选资源

## 关于此条目

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