paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Leveraging Artificial Intelligence on Binary Code Comprehension

利用人工智能进行二进制代码理解
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 3/10 · 论文关注用AI辅助二进制代码理解,属于机器学习与程序语言交叉,但未涉及静态分析、Agentic程序、形式化验证、浮点程序分析或贝叶斯程序分析等核心方向,也未体现LLM/Agent作为工具改进程序分析。引用 3 inbox
Yifan Zhang
crossref: 2026-09-12

AI 速览

一句话:提出利用源端知识构建AI模型,以辅助人类理解二进制代码并设计理解度评估指标。

二进制代码理解在逆向工程、恶意软件分析与编译优化中至关重要,但二进制缺乏语义信息,人类理解困难。该研究提出构建人工智能模型以辅助人类理解二进制代码,其核心是从大规模源代码语料中引入领域知识(如变量名、注释)来学习可泛化的二进制代码表示。作者还计划研究评估指标,并通过人类理解研究来检验模型性能,从而推动二进制理解从纯人工分析走向AI辅助。

问题
二进制代码缺乏语义信息,使逆向工程、恶意软件分析和编译优化中的人工理解十分困难。
方法
从大规模源代码语料中引入变量名、注释等领域知识,训练能够学习可泛化二进制表示的AI模型,并研究面向理解任务的评估指标。
评估
计划通过人类理解研究评估这些AI模型对二进制代码理解性能的提升。
原文摘要(Abstract)

Understanding binary code is an essential but complex software engineering task for reverse engineering, malware analysis, and compiler optimization. Unlike source code, binary code has limited semantic information, which makes it challenging for human comprehension. At the same time, compiling source to binary code, or transpiling among different programming languages (PLs) can provide a way to introduce external knowledge into binary comprehension. We propose to develop Artificial Intelligence (AI) models that aid human comprehension of binary code. Specifically, we propose to incorporate domain knowledge from large corpora of source code (e.g., variable names, comments) to build AI models that capture a generalizable representation of binary code. Lastly, we will investigate metrics to assess the performance of models that apply to binary code by using human studies of comprehension.

链接与引用

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

BibTeX
@inproceedings{paperbot7172,
  title = {Leveraging Artificial Intelligence on Binary Code Comprehension},
  author = {Yifan Zhang},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3559564}
}