逆编译中几项关键技术研究

《逆编译中几项关键技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、合肥工业大学博士学位论文逆编译中几项关键技术研究姓名：陈凯明申请学位级别：博士专业：计算机应用技术指导教师：刘宗田20031201法。识别程序使用这些模板，识别开关结构引导区类型，获取相关信息。恢复程序可以根据这些信息将不同开关结构转换成统一格式的中闾代码形式。使用该方法可以很容易地针对新编译器或新版本，在逆编译系统中增添新模板。3．改进类型恢复方法，提出按特征恢复数据类型。逆编译中数据类型恢复是最困难的部分。文中针对数据类型恢复的困难提出了一种从中间语言代码中提取各种特征信息，并量化表示。然后按照特征进行分析和综合的数据类型恢复方法。该方法不仅表达方便，易于

2、维护和移植，而且还能在一定程度上发现数据类型恢复的错误。文中给出了部分类型的规则表，以实例显示了该方法的实际使用效果，并对数组和结构恢复的可能情况作了有益的探讨。该方法已在基于知识的逆编译系统DECLER中被实现。4．定义一种面向用户阅读、理解、修改和编程的中间语言并探讨了其编译器的实现方法和技术。当恢复的数据类型不明确时，利用现有技术和工具重新编译几乎不可能。为此从许多不同中间结果中抽取了一种类型无关的中间格式，并进行适当规范，命名为1c语言。通过该语言的语法和语义描述可以看出，该语言具有很多特点：类型说明缺省，控制结构简单，其某些形式类似于汇编语言，但又包

3、含诸如函数名，条件语句等许多符号信息。针对缺少数据类型说明的特点，研究设计和实现相应编译器框架，存储分配和语法制导的语义子程序翻译，将汇编代码翻译为可执行程序和在自定义的代码中连接库函数等一序列方法和技术。关键词：逆编译关键技术中间语言用户库函数数据类型开关结构ABSTRACTAsanimportantpartofthesoftwarereverseengineering,decompilationisplayingakeyroleinsupportoftheexecutablecodeanalyzingandmaintaining．Theresearchst

4、artedin1960，whenthedecompilertoolsweredevelopedforsoftwaretransportation，whichwasaimingatthespecifiedsoftwareforaspecialpurpose．Wjt}lthedevelopmentofthesoftwaretechnology,itincreasinglybecomesmoreimportamf。fstudying，understanding，altering,maintainingandreusingoftheexistingsoftware．I

5、nthecaseofnotinvadingthecopyright(orhavingbeenlicensed)，ithasgoodandwideprospectsindigesting，absorbingandlocalizingofthoseintroducingsoftware．Nowadayssoftware-reusingtechnologyiswidelyadoptedwithagreatdealofthird-partycomponentandmid-ware，anditwouldpotentiallythreatenthosect_iticals

6、ecuritysystems．DecompilationsystemwillfindOUtanewapplicationarea．Decompilationistherecognitionprocessofhigh-degreeintelligenceandtheinferenceprocessfromincompleteinformation．Tileresearchofitbeganearly,butnooneCanbuildasystemictheoryandmethodbynOW．Besides，thetargetanditscontentarecha

7、ngingwiththedevelopmentofcomputerscienceandtechnology．Especiallyinthosesecurityarea,suchaSWarindustryandaerospacescience．someimportantsoftwaremustbeconsistentbyverifyingwimsourcefileandbinarycode．bythewayofde—compiling．Baseduponabovereason，theauthorhasbeenexploringandresearchingonth

8、etheories，methodsan