2024 · 会议论文
ReSym：利用大语言模型恢复去符号二进制中的变量与数据结构符号
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries
结合两个微调语言模型与基于 Prolog 的跨函数推理，从去符号二进制的反编译结果中推断局部变量符号及用户自定义数据结构。
研究范围与局限
该方法依赖底层反编译结果及针对 C/C++ 数据学习的预测。交叉检查可减少预测冲突，但不能证明恢复的名称或布局与缺失源码完全一致。公开研究产物包含模型、处理后的数据与评估代码。
与本合集的关联
展示如何结合程序分析，为 LLM 生成的逆向工程注释提供依据。
发表与核查详情
- 发表载体
- ACM CCS 2024
- 发表状态
- 会议论文
- 出版／提交日期
- 2024 年 12 月 2 日
- 日期依据
- 采用 ACM 在 Crossref 登记的印刷出版日期；不将 CCS 2024 于 10 月 14—18 日举行的会议周作为出版日期。
- DOI
- 10.1145/3658644.3670340
ACM 元数据记载印刷出版于 2024-12-02，在线出版于 2024-12-09，页码为 4554–4568。作者托管的正式 PDF 标注 CCS ’24 于 2024 年 10 月 14—18 日在盐湖城举行，该日期仅为会议举办时间。DOI、标题、六位作者及会议均与出版方记录和官方作者研究产物一致。
来源核查于
本合集仅核对来源，未重新运行论文实验。请通过原始论文或 BibTeX 引用原作者。