arXiv:2604.27319cs.CRcs.LG2026-04被引 1

构建首个公平可复现的二进制逆向工程评测集,专用于评估大模型在函数名、变量名和类型推断上的能力。

REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version)

  • 基于知识库生成字节级栈信息,确保任务难度真实保留
  • 覆盖数亿行代码与多架构、多优化级别的二进制文件
  • 适合研究大模型在逆向工程中的实际表现,尤其关注复杂任务

近年来,大语言模型(LLMs)在多个领域取得显著进展,尤其在计算机安全领域的逆向工程中被广泛应用于函数名、变量名恢复及类型推断等关键任务。然而,由于缺乏标准化数据集,现有研究依赖于分散的数据集、预处理流程和评估指标,导致方法间难以公平比较,也模糊了对模型实际能力的认知。为此,我们提出REBench,一个面向二进制逆向工程任务的综合性基准数据集。REBench整合了现有数据集的超集,包含数亿行源代码和多种架构、优化级别的二进制样本。其采用基于知识库的方法,存储字节级栈信息以生成真值,确保任务难度不失真,同时具备通用性。该设计支持跨任务公平评估,避免简化带来的偏差。作为应用案例,我们使用REBench衡量了不同大模型在逆向工程任务中的表现,结果表明在复杂任务上仍面临显著挑战。

原文摘要 · Abstract (English)

Large Language Models (LLMs) have achieved remarkable progress in recent years, driving their adoption across a wide range of domains, including computer security. In reverse engineering, LLMs are increasingly applied to critical tasks such as function and variable name recovery and type inference. However, despite the rapid growth of research in this area, progress has been hindered by the absence of a standardized dataset. Existing studies rely on disparate datasets, preprocessing pipelines, and evaluation metrics, making fair comparisons between approaches difficult and obscuring a clear understanding of LLM capabilities in binary analysis. To address these challenges, we present REBench, a comprehensive benchmark dataset for evaluating LLMs on binary reverse engineering tasks. REBench consolidates a superset of existing datasets, comprising hundreds of millions of lines of source code and a diverse collection of binaries spanning multiple architectures and optimization levels. REBench adopts a knowledge-base-driven methodology that stores byte-level stack information to generate ground truth, ensuring that task difficulty is preserved while maintaining universal applicability. This design enables fair evaluation across tasks while avoiding simplifications that could bias results. As a use case, we apply REBench to measure the reverse engineering performance of LLMs and the result demonstrates difficulties in complex tasks.

逆向工程大模型评估二进制分析公平评测

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。