paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Cross-Inlining Binary Function Similarity Detection

跨内联的二进制函数相似性检测
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10 · 论文属于二进制函数相似性检测与程序分析/安全领域，但未涉及用户核心关注的 PL 与 LLM/Agent 交叉、ML 系统静态分析、浮点程序分析或贝叶斯程序分析，仅有宽泛的程序分析关联。引用 16 inbox
Ang Jia, Ming Fan, Xi Xu, Wuxia Jin, Haijun Wang, Ting Liu
程序分析与抽象解释安全与隐私
crossref: 2026-09-12

AI 速览

一句话：针对函数内联导致语义映射复杂的问题，提出跨内联的二进制函数相似性检测方法。

二进制函数相似性检测在安全领域应用广泛。现有方法通常假设查询函数与目标函数语义完全对等，通过比较完整语义来计算相似度。然而，作者发现实际函数映射关系更为复杂，尤其当函数内联发生时，一个函数可能部分地嵌入另一个函数，导致语义对应不再是整体对整体，现有基于完整语义比较的方法因此面临挑战。为此，论文提出跨内联（cross-inlining）的二进制函数相似性检测方法，以处理内联引起的部分语义对应问题。摘要未具体说明所采用的技术细节与实验设置。

问题
现有二进制函数相似性检测假设查询函数与目标函数语义完全对等，但函数内联使函数映射关系更复杂，完整语义比较不再适用。
方法
提出跨内联的二进制函数相似性检测方法，以应对内联造成的部分语义对应；摘要未展开具体技术细节。
评估
摘要未提供评估方式与实验结果的具体信息。
原文摘要（Abstract）

Binary function similarity detection plays an important role in a wide range of security applications. Existing works usually assume that the query function and target function share equal semantics and compare their full semantics to obtain the similarity. However, we find that the function mapping is more complex, especially when function inlining happens.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot11297,
  title = {Cross-Inlining Binary Function Similarity Detection},
  author = {Ang Jia and Ming Fan and Xi Xu and Wuxia Jin and Haijun Wang and Ting Liu},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639080}
}