软件学报

作者：李玉璋，张熙，徐涛

单位：李玉璋，北京邮电大学 网络空间安全学院, 北京 10087611,张熙，北京邮电大学 网络空间安全学院, 北京 10087602,徐涛，清华大学 计算机科学与技术系, 北京 10008403

关键词：反编译;大语言模型;符号执行

反编译是软件逆向工程中的基础技术, 其目标是从面向硬件的二进制代码中恢复出高级语言代码, 以支持人工阅读、分析或重工程任务. 尽管该技术已得到广泛研究, 但传统基于规则的反编译器所生成的反编译代码往往可读性较差, 且难以复用. 此外, 由于传统反编译器的开发周期较长, 其对RISC-V等新兴指令集架构的支持通常较为滞后. 在当前大语言模型(large language model, LLM)技术广泛应用于自动化软件工程任务并取得显著成效的背景下, 面向RISC-V架构的反编译需求, 提出了一种结合LLM与符号执行的反编译方法BinDec. 该方法通过LLM生成与符号执行验证的交替迭代, 充分利用LLM的代码理解与生成能力, 以产生更易于理解与重用的反编译代码; 同时借助符号执行的代码分析与验证能力, 确保生成结果的可靠性. 通过一系列实验对BinDec的有效性进行了评估, 实验结果表明, 该方法在达到与传统反编译器相近的语义准确性的同时显著提升了代码的可读性.

来源：2026年第6期

《软件学报》期刊编辑部

查看软件学报杂志2026年第6期