CAJ | 학술논문

反编译技术将二进制程序或汇编程序转换成可读性较好的高级语言代码，在代码理解、代码维护和代码安全验证等方面具有重要作用。文中介绍了一种基于PowerPC汇编程序的反编译软件框架及其关键技术。该软件框架主要包括由汇编程序加载、指令系统的语义描述和汇编指令的解码所组成的前端，由数据流分析、类型分析和控制流分析所组成的中间端以及负责代码生成的后端。采用的关键技术有switch语句翻译，代码复制消除goto语句和指令习语( instruction idi-om)翻译等。实验结果表明，反编译生成的高级语言程序在结构、可读性等方面都有所增强，对于辅助代码理解有指导意义。
반편역기술장이진제정서혹회편정서전환성가독성교호적고급어언대마，재대마리해、대마유호화대마안전험증등방면구유중요작용。문중개소료일충기우PowerPC회편정서적반편역연건광가급기관건기술。해연건광가주요포괄유회편정서가재、지령계통적어의묘술화회편지령적해마소조성적전단，유수거류분석、류형분석화공제류분석소조성적중간단이급부책대마생성적후단。채용적관건기술유switch어구번역，대마복제소제goto어구화지령습어( instruction idi-om)번역등。실험결과표명，반편역생성적고급어언정서재결구、가독성등방면도유소증강，대우보조대마리해유지도의의。
Decompilation is the process of converting binary program or assembly program into high level code with good readability, which plays a vital role in code understanding,code maintenance and code safety verification. In this paper,introduce a decompilation framework based on PowerPC assembly program and its main techniques. The framework consists of the frontend, which includes the loading of the assembly programs,the semantic description and the decoding of the instruction set,the middle end,which includes data flow analysis,type analysis and control flow analysis,and the back end,which is responsible for code generation. The main techniques consist of translation of switch sentence,goto sentence of elimination by code duplication and translation of instruction idiom. Experimen-tal results show that the generated high level code improves in both structure and readability,there’ s a guiding significance in code under-standing.