paperbot · PL 论文追踪

全部论文 待读 收藏

P2 FunProbe: Probing Functions from Binary Code through Probabilistic Analysis

FunProbe:通过概率分析从二进制代码中探测函数
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 4/10 · 该论文属于程序分析中的二进制函数识别,采用概率推断融合线索,与用户对贝叶斯/概率程序分析的兴趣有弱关联;但核心方向是传统二进制分析,不涉及 LLM/Agent、ML 系统静态分析或浮点程序分析,也未与 LLM 交叉。引用 12 inbox
Soomin Kim, Hyungseok Kim, Sang Kil Cha
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出 FunProbe,利用概率推断融合 16 个架构无关线索,高效准确地从二进制中识别函数。

现有函数识别技术大多针对特定 CPU 架构编译的二进制,而近期深度学习方法虽理论上有跨架构能力,却需要大量训练与推理计算资源,且缺乏可解释性。本文提出 FunProbe,一个基于概率推断的高效二进制函数识别系统。作者识别出 16 个架构无关的函数识别线索,并设计了一种有效方法在概率框架下将它们组合起来。评估在包含 19,872 个真实世界二进制、覆盖六种主流 CPU 架构的大型数据集上进行。结果表明,FunProbe 在准确率上优于所测试的五个当前最优工具,且平均仅需 6 秒即可分析一个二进制。特别地,FunProbe 识别函数的平均速度比在推理阶段使用 GPU 的当前最优深度学习工具 XDA 快 6 倍。

问题
现有函数识别方法多局限于特定 CPU 架构的二进制,而深度学习方法虽可跨架构,却计算开销大且缺乏可解释性。
方法
提出 FunProbe,识别 16 个架构中立线索,并在概率框架下有效组合这些线索以推断函数边界。
评估
在 19,872 个真实世界二进制(六种主流 CPU 架构)上与五个当前最优工具对比,准确率最佳且平均单个二进制分析仅 6 秒,比 GPU 加速的 XDA 快 6 倍。
原文摘要(Abstract)

Current function identification techniques have been mostly focused on a specific set of binaries compiled for a specific CPU architecture. While recent deep-learning-based approaches theoretically can handle binaries from different architectures, they require significant computation resources for training and inference, making their use less practical. Furthermore, due to the lack of interpretability of such models, it is fundamentally difficult to gain insight from them. Hence, in this paper, we propose FunProbe, an efficient system for identifying functions from binaries using probabilistic inference. In particular, we identify 16 architecture-neutral hints for function identification, and devise an effective method to combine them in a probabilistic framework. We evaluate our tool on a large dataset consisting of 19,872 real-world binaries compiled for six major CPU architectures. The results are promising. FunProbe shows the best accuracy compared to five state-of-the-art tools we tested, while it takes only 6 seconds on average to analyze a single binary. Notably, FunProbe is 6× faster on average in identifying functions than XDA, a state-of-the-art deep-learning tool that leverages GPU in its inference phase.

链接与引用

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

BibTeX
@inproceedings{00020C23,
  title = {FunProbe: Probing Functions from Binary Code through Probabilistic Analysis},
  author = {Soomin Kim and Hyungseok Kim and Sang Kil Cha},
  booktitle = {FSE},
  year = {2023},
  doi = {10.1145/3611643.3616366}
}