反编译器自动评与中间代码生成研究.pdfVIP

摘要 摘要 反编泽是将较为低级的程序代码翻泽成与之等价的、更为高级和抽象的程序语言表示 的过程。作为软件逆向工程的霞要组成部分，反编译在软件移植、恶意代码柃测、程序凋 试以及软件维护与理解等方面起着十分重要的作用。虽然很早就开始了与反编译相关的研 究(1960年)，并且未曾中断，然而一直以来都还没有形成一套系统的理沦和方法，并且随 着程序设计语言理论和编洋器技术的发展，反编泽的研究内容和对象也在不断变化。 本文在已有的反编译研究的基础之上，针对现有的c语言反编译器提出了一个基于抽 象语法树的反编译器自动评测方法，用于帮助改进现有反编译器的设计，并在CIL系统的 C语言反编译器的反编译效果的评测表明该方法能有效地对反编译器的反编译效果进行自 动评测，同时也揭示了反编泽技术随着时间的推移在不断进步和发展。 此外，本文还描述了一个基于栈空间分析的反编译中问代码牛成系统Rene，．与传统基 于模式匹配的方法不同的是，Rene通过分析函数中各点的当前栈偏移来恢复局部变量和函 数参数，并以此处理函数调用语句。该方法克服了模式匹6L通用性差的缺点，并且能够减 少函数内无关的操作语句，从而能够牛成更为简洁的中问代码。 关键词：反编译抽象语法树自动评测中问代码牛成栈空问分析 Abstract ABSTRACT ismereVerse of aimstoconvert into Decompilationprocess low—levelcodes compilation．n the aIld codes．Asan ofthesoRwarereverse equiV“emhi曲·1eVellaIlguage importampan acriticalr01ein as engineerin岛decompilation plays manyareas，such maliciouscodes maintenancea工ldso detection，programdebugging，sofhvare researchof and canbetracedbackto1960sne、7erhasbeen decompilation neVerbeen andmethodsof are systematictheo巧has built．Besides，the goals decornpiIation a王l出etimewit|1the of t11eoriesa11d changing developmentprograIIlminglanguage compiler tec}mology． Basedon researchesof tbesishaS an for existing decompilation，thispresentedapproach a11d a automaIicallyt11e of of C quickIy