paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Instruction Alignment for Binary Code Representation Learning

二进制代码表示学习中的指令对齐
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 2/10 · 论文关注二进制代码表示学习与函数级相似性检索,属于代码表示/逆向工程中的机器学习应用,与用户核心方向(静态分析、LLM/Agent 改进程序分析、浮点程序分析、贝叶斯程序分析)没有直接交集。其指令对齐辅助训练目标虽涉及程序语言与机器学习交叉,但并非面向静态分析或形式化验证。引用 1 inbox
Huaijin Wang, Shuai Wang
crossref: 2026-10-09

AI 速览

一句话:提出将指令对齐作为辅助训练目标,利用编译器调试信息提升二进制代码表示学习,改善函数级相似性检索与判别性。

现有二进制代码表示学习多学习函数级嵌入,能捕捉函数间粗粒度语义关系,却忽略细粒度指令级对应,也未充分利用编译器调试信息中的监督信号。本文先发现:在函数级二进制代码相似性任务上微调后的模型,其指令对齐能力显著优于预训练模型,说明指令对齐与函数级嵌入质量强相关。受此启发,作者设计一种训练方法,将指令对齐显式作为辅助训练目标,与函数级表示学习联合优化。实验表明,该训练方式提高了检索准确率,并使模型在相似性判断上具有更强的判别性。

问题
现有二进制代码表示学习主要依赖函数级嵌入,忽略指令级对应关系,难以利用编译器调试信息提供的细粒度监督,导致表示精度和可解释性受限。
方法
提出将指令对齐知识引入训练,显式加入指令对齐辅助目标,与函数级相似性学习联合优化,以提升二进制代码表示。
评估
通过二进制代码相似性/检索实验评估,结果显示指令对齐训练提高检索准确率,并为相似性判断提供更具判别性的信号。
原文摘要(Abstract)

Binary code representation learning is a fundamental problem in software security and reverse engineering. Existing methods mainly learn function-level embeddings that capture coarse-grained semantic relationships between binary functions, but they largely ignore fine-grained instruction-level correspondences. This limitation misses valuable supervision signals available from compiler debug information, which can support the learning of more accurate and interpretable binary code representations. We propose to leverage instruction alignment knowledge to further improve binary code representation learning. Our preliminary study reveals that models finetuned for function-level binary code similarity exhibit substantially better instruction alignment than their pre-trained model, suggesting a strong correlation between instruction alignment and function-level embedding quality. Motivated by this observation, we design a training approach that explicitly incorporates instruction alignment as an auxiliary training objective. Our experiments show that instruction alignment training improves retrieval accuracy and provides more discriminative signal for the model's similarity judgments.

链接与引用

DOI 原文 · arXiv ·

BibTeX
@inproceedings{paperbot12276,
  title = {Instruction Alignment for Binary Code Representation Learning},
  author = {Huaijin Wang and Shuai Wang},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3837516}
}