paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis

通过语义驱动的指令去强调改进二进制代码相似性 Transformer 模型
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 4/10 · 该论文处于机器学习与程序分析交叉领域,研究二进制代码相似性 Transformer 模型的指令分布偏差修复,与“AI 用于程序分析”有一定关联;但它不涉及用户核心关注的静态分析在 ML/Agentic 系统中的应用、LLM/Agent 改进静态分析、浮点程序分析或贝叶斯程序分析,且未使用 LLM/Agent。引用 32 inbox
Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang
crossref: 2026-09-12

AI 速览

一句话:提出语义驱动的指令去强调技术,检测并修复二进制代码相似性 Transformer 模型中的指令分布偏差,在分布外场景下提升性能最高 14.4%。

二进制代码相似性分析旨在从大量候选函数中找出相似函数,广泛应用于恶意软件检测、代码克隆检测和自动软件补丁等。当前最优方法采用 Transformer 等复杂深度学习模型,但这些模型会因特定编译器约定而产生不良的指令分布偏差。本文提出一种新技术,通过深度学习模型分析与程序分析的协同,检测此类偏差,并从数据集中移除相应指令后微调模型来修复偏差。结果表明,在测试数据可能超出训练分布的极端困难场景下,该方法可将最优模型的性能显著提升最高 14.4%。

问题
二进制代码相似性分析中,基于 Transformer 的深度模型因编译器约定产生指令分布偏差,导致在分布外数据上性能下降。
方法
提出语义驱动的指令去强调技术,结合深度学习模型分析与程序分析,检测偏差并移除相应指令,再微调模型。
评估
在最具挑战性的分布外测试场景下评估,相比最优基线模型性能提升最高 14.4%。
原文摘要(Abstract)

Given a function in the binary executable form, binary code similarity analysis determines a set of similar functions from a large pool of candidate functions. These similar functions are usually compiled from the same source code with different compilation setups. Such analysis has a large number of applications, such as malware detection, code clone detection, and automatic software patching. The state-of-the art methods utilize complex Deep Learning models such as Transformer models. We observe that these models suffer from undesirable instruction distribution biases caused by specific compiler conventions. We develop a novel technique to detect such biases and repair them by removing the corresponding instructions from the dataset and finetuning the models. This entails synergy between Deep Learning model analysis and program analysis. Our results show that we can substantially improve the state-of-the-art models’ performance by up to 14.4% in the most challenging cases where test data may be out of the distributions of training data.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot8049,
  title = {Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis},
  author = {Xiangzhe Xu and Shiwei Feng and Yapeng Ye and Guangyu Shen and Zian Su and Siyuan Cheng and Guanhong Tao and Qingkai Shi and Zhuo Zhang and Xiangyu Zhang},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3598121}
}