前往Shuct.Net首页

Shudepb PB反编译专家长时间以来,为业内同类软件事实上的唯一选择.细节,彰显专业.态度,决定品质.

关于反编译的搜索

反编译中控制流重构与控制结构恢复技术研究--《解放军信息工程大学》2011年硕士论文 收藏本站 首页 期刊全文库 学位论文库 会议论文库 年鉴全文库 学术百科 工具书 CNKI学问 注册|登录|我的账户 基础科学|工程科技I辑|工程科技II辑|医药卫生科技|信息科技|农业科技|哲学与人文科学|社会科学I辑|社会科学II辑|经济管理 高级搜索:用" 反编译 中间语言 "到知网平台检索,点击这里搜索更多... 《解放军信息工程大学》 2011年 加入收藏 获取最新 反编译中控制流重构与控制结构恢复技术研究 刘絮颖 【摘要】:反编译一直以来是代码逆向分析领域的研究热点之一,在软件理解和维护方面有着重要作用。随着嵌入式系统在关键电子设备中应用的发展,代码逆向分析在保障系统的安全性和可用性方面作用显著,研究针对嵌入式系统代码的反编译技术具有重要意义。 论文针对反编译中的控制流重构与分析技术进行了探索和研究。 针对经典控制流重构方法中依赖特定编译模式和控制转移实现方式的问题,设计了以BRIL为基础的基于抽象解释的控制流重构框架,在该框架下采用同步进行控制流重构和数据流分析的方法解决间接转移指令目标地址的识别问题;构造了一个用来实例化该框架的高精度数据流抽象域;给出了“变量值约束”策略解决迭代计算过程中的路径爆炸问题;设计了该框架下的控制流重构算法。 在控制流分析方面,为了描述控制结构以及控制结构之间的关系,提出了结构语义树的表示方式;设计了基于“三次机会”策略的控制流图结构化算法,解决了非标准模式的控制结构识别问题;设计了一个基于结构语义树的高级控制结构恢复框架,解决了高级控制结构嵌套关系难以恢复的关键问题。 设计并实现了反编译工具中控制流重构模块和高级控制结构恢复模块,测试结果验证了上述方法的正确性与有效性,为代码分析的后续工作创造了良好的条件。 【关键词】:反编译 中间语言 抽象解释 控制流重构 结构语义树 高级控制结构恢复 【学位授予单位】:解放军信息工程大学【学位级别】:硕士【学位授予年份】:2011【分类号】:TP314【目录】: 目录4-7表目录7-8图目录8-10摘要10-11ABSTRACT11-12第一章 绪论12-18 1.1 研究背景及意义12-13 1.1.1 研究背景12-13 1.1.2 课题介绍13 1.2 国内外相关技术研究现状13-15 1.3 主要研究内容15-17 1.4 论文结构安排17-18第二章 反编译中涉及的主要关键技术18-26 2.1 二进制代码解析技术19-20 2.2 中间代码生成技术20-21 2.3 控制流重构技术21-23 2.3.1 问题的提出21-22 2.3.2 相关研究22-23 2.3.3 本文需要做的工作23 2.4 高级控制结构恢复技术23-25 2.4.1 问题的提出23 2.4.2 相关研究23-24 2.4.3 本文需要做的工作24-25 2.5 本章小结25-26第三章 基于抽象解释的控制流重构26-53 3.1 二进制逆向中间语言BRIL26-29 3.1.1 BRIL的语句集合26-28 3.1.2 BRIL的语义28-29 3.2 抽象解释理论29-34 3.2.1 抽象解释基本概念29-31 3.2.2 抽象解释框架31-32 3.2.3 基于抽象解释的控制流重构方法的提出32-34 3.3 基于抽象解释的控制流重构框架34-38 3.3.1 语句集合StaS#34-35 3.3.2 参数化的控制流重构框架35 3.3.3 转换函数35-37 3.3.4 约束系统37-38 3.4 数据流抽象域38-45 3.4.1 抽象内存模型38-39 3.4.2 抽象地址及抽象状态39-40 3.4.3 变量值约束(VVR)策略40-43 3.4.4 抽象语义43-45 3.5 控制流重构算法45-46 3.6 实例说明46-52 3.7 本章小结52-53第四章 基于结构语义树的高级控制结构恢复53-71 4.1 高级控制结构类型53-54 4.2 控制流图结构化54-60 4.2.1 相关知识54-55 4.2.2 三次机会(TCS)策略55-56 4.2.3 控制流图结构化算法56-58 4.2.4 算法分析与比较58-60 4.3 结构语义树及构建60-65 4.3.1 结构语义树60-61 4.3.2 控制结构节点的识别61-62 4.3.3 结构语义树的构建算法62-64 4.3.4 结构语义树示例64-65 4.4 高级控制结构恢复65-66 4.5 实例说明66-69 4.6 本章小结69-71第五章 测试与结论71-76 5.1 功能测试流程71-73 5.2 系统测试73-75 5.2.1 测试用例73 5.2.2 测试方法73-74 5.2.3 测试结果分析与结论74-75 5.3 本章小结75-76结束语76-78 一、工作总结76-77 二、研究展望77-78参考文献78-82附录A CtestExp测试用例集82-84作者简历 攻读硕士学位期间完成的主要工作84-85致谢85 下载全文 更多同类文献 团体订阅中心 CAJ全文下载 (如何获取全文? 欢迎:购买知网充值卡、在线充值、在线咨询) CAJViewer阅读器支持CAJ、PDF文件格式 【参考文献】 中国期刊全文数据库 前10条 1 李剑慧;马湘宁;朱传琪;;动态二进制翻译与优化技术研究[J];计算机研究与发展;2007年01期 2 陈龙;武成岗;谢海斌;崔慧敏;张兆庆;;二进制翻译中解析多目标分支语句的图匹配方法[J];计算机研究与发展;2008年10期 3 齐宁;赵荣彩;;IA-64二进制代码switch语句恢复技术研究[J];计算机工程与应用;2005年36期 4 候文永,陆纪权,史树民,傅铭;软件移植和理解工具——VAX-C反编译系统的研究和实现[J];计算机工程;1992年03期 5 陆纪权;C反编译控制流分析非结构化代码的处理[J];计算机工程;1992年06期 6 齐宁;赵荣彩;;IA-64代码翻译中的跳转表恢复技术[J];计算机工程;2006年23期 7 黄强;曾庆凯;;基于SSA中间表示的源代码信息流分析[J];计算机工程;2009年13期 8 赵蕾,王开铸;C反编译控制流恢复的形式描述及算法[J];计算机学报;1998年01期 9 张龙杰;谢晓方;袁胜智;李洪周;;IA-32反编译中的多分支语句恢复技术[J];计算机应用研究;2009年06期 10 李梦君;李舟军;陈火旺;;基于抽象解释理论的程序验证技术[J];软件学报;2008年01期 中国硕士学位论文全文数据库 前2条 1 周丽娜;ARM反编译中的类型分析技术研究[D];解放军信息工程大学;2010年 2 方霞;代码逆向分析中的语句恢复与算法识别技术研究[D];解放军信息工程大学;2009年 【共引文献】 中国期刊全文数据库 前10条 1 韦韬;毛剑;邹维;;反编译中的复合条件分支识别算法[J];北京大学学报(自然科学版);2008年01期 2 秦晓军;匡碧英;肖健;;软件脆弱性检测方法综述[J];保密科学技术;2012年05期 3 朱朝霞;;编译程序生成过程及方法在教学中的应用[J];长春教育学院学报;2010年01期 4 张立彪,刘磊;基于建构主义教学观的编译原理教学改革探索[J];吉林大学学报(信息科学版);2005年S2期 5 朱朝霞;周云才;;二义性文法的语法分析方法探讨[J];长江大学学报(自然科学版)理工卷;2008年04期 6 吴洁;丁晓明;;基于程序切片的测试用例集约简方法[J];重庆交通大学学报(自然科学版);2010年02期 7 许高阳;李必信;孙小兵;陶传奇;;一种基于层次切片的软件错误定位方法[J];东南大学学报(自然科学版);2010年04期 8 王雅文;宫云战;肖庆;杨朝红;;基于抽象解释的变量值范围分析及应用[J];电子学报;2011年02期 9 袁琼;;Simple C语言词法分析器的探讨与实践[J];福建电脑;2012年04期 10 华宁;高敬阳;;基于面向对象程序切片的软件度量[J];电子设计工程;2009年09期 中国重要会议论文全文数据库 前6条 1 陈凯明;钱海;张军;王煦法;;获取用户库函数接口及源代码[A];2005年“数字安徽”博士科技论坛论文集[C];2005年 2 祁鹏;宫云战;金大海;;面向故障的C++程序全局静态分析框架[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年 3 王磊;马建红;樊世燕;周华;辛政华;;基于程序切片的可达路径选择的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年 4 张立彪;刘磊;;基于建构主义教学观的编译原理教学改革探索[A];2005全国计算机程序设计类课程教学研讨会论文集[C];2005年 5 姚欣洪;宫云战;杨朝红;;一种基于代码静态分析的缓冲区溢出检测算法[A];第六届中国测试学术会议论文集[C];2010年 6 胡成杰;宫云战;金大海;;Java语言基于函数摘要的全局分析静态测试方法[A];第六届中国测试学术会议论文集[C];2010年 中国博士学位论文全文数据库 前10条 1 朱丹;基于时序等价性检查的电路软错误系统级可靠性分析方法研究[D];国防科学技术大学;2010年 2 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年 3 邢建英;程序验证关键技术研究[D];国防科学技术大学;2011年 4 赵天磊;微处理器Cache访问行为分析技术研究[D];国防科学技术大学;2011年 5 郭惠芳;面向多核的并行模式及编译优化技术研究[D];解放军信息工程大学;2011年 6 曾颖;基于抽象解释的软件保护相关问题研究[D];解放军信息工程大学;2011年 7 陈凯明;逆编译中几项关键技术研究[D];合肥工业大学;2004年 8 齐宁;静态二进制翻译中基于软件规范的函数识别及恢复技术研究[D];解放军信息工程大学;2006年 9 杨灿群;面向高效能计算的编译关键技术:精度、性能与功耗[D];国防科学技术大学;2007年 10 程绍银;需求驱动的软件安全缺陷自动测试生成[D];中国科学技术大学;2009年 中国硕士学位论文全文数据库 前10条 1 王舰艺;编程题自动评判中相关技术的研究与实现[D];哈尔滨工程大学;2010年 2 郑阳;基于华P语言的PLC核研究与设计[D];沈阳理工大学;2010年 3 周丽娜;ARM反编译中的类型分析技术研究[D];解放军信息工程大学;2010年 4 陈林;基于指令词的软件特征技术研究[D];解放军信息工程大学;2010年 5 方霞;代码逆向分析中的语句恢复与算法识别技术研究[D];解放军信息工程大学;2009年 6 白莉莉;多源二进制代码一体化翻译关键技术研究[D];解放军信息工程大学;2010年 7 殷文建;面向ARM体系结构的代码逆向分析关键技术研究[D];解放军信息工程大学;2010年 8 窦增杰;可信机制逆向分析平台的设计与实现[D];解放军信息工程大学;2010年 9 巩道福;基于Java的软件水印及其相关技术研究[D];解放军信息工程大学;2009年 10 谢裕敏;Windows应用程序关键函数的逆向定位技术研究[D];解放军信息工程大学;2009年 【二级参考文献】 中国期刊全文数据库 前10条 1 刘宗田;;68000C反编译程序的设计方法[J];计算机研究与发展;1986年06期 2 刘宗田;李力;;8086C逆编译数据类型恢复技术[J];计算机研究与发展;1992年04期 3 李剑慧;马湘宁;朱传琪;;动态二进制翻译与优化技术研究[J];计算机研究与发展;2007年01期 4 齐宁;赵荣彩;;IA-64代码翻译中的跳转表恢复技术[J];计算机工程;2006年23期 5 刘宗田,朱逸芬;符号执行技术在68000C反编译程序中的应用[J];计算机学报;1988年10期 6 赵蕾,王开铸;C反编译控制流恢复的形式描述及算法[J];计算机学报;1998年01期 7 李先通;李建中;高宏;;一种高效频繁子图挖掘算法[J];软件学报;2007年10期 8 陈凯明,刘宗田;非纯变量下标的数组类型恢复[J];计算机工程与设计;2001年05期 9 刘宗田;C语言反编译系统DECLER[J];微电子学与计算机;1997年05期 10 李宏芒,刘宗田,朱逸芬;PC逆编译系统的中间语言设计及实现[J];小型微型计算机系统;1991年02期 中国硕士学位论文全文数据库 前1条 1 夏靓;反编译中的数据类型恢复问题[D];东南大学;2005年 【相似文献】 中国期刊全文数据库 前10条 1 陈凯明;刘宗田;;反编译研究现状及其进展[J];计算机科学;2001年05期 2 石博慧,陈英;GCC代码优化技术的研究[J];微机发展;2004年08期 3 李远玲;陈华;刘丽;;Soot的Java程序控制流分析及图形化输出[J];计算机系统应用;2009年10期 4 陈福安,刘宗田,李力;8086 C语言反编译系统的设计及实现技术[J];小型微型计算机系统;1993年04期 5 刘宗田;C语言反编译系统DECLER[J];微电子学与计算机;1997年05期 6 王伟;韦韬;罗海宁;;基于流分析的可执行程序结构化表示工具[J];计算机工程与应用;2007年16期 7 梁洪波;慕晓冬;帅桂华;常瑞花;;软件密集型装备故障的静态检测[J];微计算机信息;2008年22期 8 梁婕;张淼;徐国爱;杨义先;;基于静态分析技术的源代码安全检测模型[J];计算机应用研究;2008年09期 9 张龙杰;谢晓方;袁胜智;李洪周;;逆编译中用户自定义库函数识别技术研究[J];现代电子技术;2009年14期 10 刘宗田;68000C反编译系统中的变量类型恢复[J];微计算机应用;1989年06期 中国重要会议论文全文数据库 前10条 1 蒋电明;权正学;欧云生;倪卫东;梁熙;;新型纳米羟基磷灰石复合人工椎板的初步临床应用[A];第十三届全国中西医结合骨伤科学术研讨会论文集[C];2005年 2 羊裔明;孟文彤;张开基;李健;邓承祺;刘霆;贾永前;刘志刚;黄杰;龚玉萍;;丹参酮ⅡA治疗急性早幼粒细胞白血病的研究[A];第12届全国实验血液学会议论文摘要[C];2009年 3 鲍得俊;牛朝诗;汪业汉;;急性硬膜下血肿快速消散现象及其机制分析[A];中华医学会神经外科学分会第九次学术会议论文汇编[C];2010年 4 欧国东;王永文;张民选;;基于线程的多路径数据预取技术研究[A];2010年第16届全国信息存储技术大会(IST2010)论文集[C];2010年 5 刘芳;朱豫;;自体静脉搭桥修复泪小管实验研究[A];中华医学会第十二届全国眼科学术大会论文汇编[C];2007年 6 何志勇;狄正林;陶崑;曾志敏;章军辉;吴海山;;全髋表面置换术和传统全髋置换术术后生物力学结构恢复的比较研究[A];浙江省医学会骨科学分会30年庆典暨2011年浙江省骨科学学术年会论文汇编[C];2011年 7 马量;倪一鸣;;全弓置换加支架象鼻术治疗Stanford A型主动脉夹层[A];2009年浙江省胸心外科学学术年会论文汇编[C];2009年 8 张冬敏;张立新;阳明书;丁艳芬;支树洁;霍连峰;张世民;王峰;姜保良;欧阳欣;李莉;;含蜡原油添加纳米材料改性处理后触变性及黏弹性研究[A];中国流变学研究进展(2010)[C];2010年 9 卢鼎厚;;骨骼肌损伤的病因和治疗与人体运动功能康复[A];中国康复医学会第三次康复治疗学术大会论文汇编[C];2002年 10 郝建斌;门玉明;汪班桥;;粘性土中锚杆应力传递特征及时间效应试验分析[A];第十四届海峡两岸及香港、澳门地区职业安全健康学术研讨会暨中国职业安全健康协会2006年学术年会论文集[C];2006年 中国重要报纸全文数据库 前10条 1 任宏;前门餐饮老字号8月7日重新亮相[N];北京商报;2008年 2 江苏 王新熙;DSR-PO190P摄像机应急操作经验三则[N];电子报;2007年 3 ;地铁二号线北大街站近期开工[N];西安日报;2007年 4 胡敬君;生命欲和生性本能的张扬[N];光明日报;2004年 5 石春红;文仪;美发现内耳毛细胞立体纤毛形成新机制[N];中国医药报;2005年 6 冯以啸;六部委发布外资并购新规 9月8日起施行[N];中国工业报;2006年 7 本报实习记者  俞靓 张楠;首次明确股权交换方式[N];中国证券报;2006年 8 陈冀渝;用凝胶法生产硅灰石质陶瓷颜料[N];广东建设报;2006年 9 姚综;外资并购境内企业将出新规[N];国际商报;2006年 10 记者 扬帆 沐滟;新规出台,企业境外上市“趋缓”[N];无锡日报;2006年 中国博士学位论文全文数据库 前9条 1 张红;可移动类进程代数及其静态分析技术在系统生物学领域中应用的研究[D];吉林大学;2008年 2 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年 3 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年 4 赵鹏;多处理器SoC应用映射关键技术研究[D];国防科学技术大学;2010年 5 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年 6 张立勇;软件源代码安全分析研究[D];西安电子科技大学;2011年 7 刘新忠;关联缺陷及其应用研究[D];吉林大学;2010年 8 彭苗;空间自锚式悬索桥非线性分析与成桥状态确定[D];武汉理工大学;2008年 9 周虎成;部分冗余消除优化的SSA算法研究[D];清华大学;2011年 中国硕士学位论文全文数据库 前10条 1 刘絮颖;反编译中控制流重构与控制结构恢复技术研究[D];解放军信息工程大学;2011年 2 赵楷;基于控制流平展化代码变形技术的研究[D];哈尔滨工业大学;2009年 3 王强;基于反编译的可疑行为标注技术的研究与实现[D];解放军信息工程大学;2009年 4 阳俊文;基于二进制可执行文件的控制流分析研究[D];北京邮电大学;2011年 5 邢锐;C++反编译技术研究及应用[D];南京大学;2012年 6 周丽娜;ARM反编译中的类型分析技术研究[D];解放军信息工程大学;2010年 7 王琳;基于并发语义的UML2.0顺序图控制流分析[D];吉林大学;2006年 8 皮维;基于异常的中间语言代码混淆器的设计与实现[D];电子科技大学;2012年 9 马伟;面向对象软件簇级测试用例自动生成方法与实现[D];西安理工大学;2005年 10 黎超;基于切片的二进制代码可视化分析的研究[D];广东工业大学;2011年 相关机构 >西安电子科技大学 >国防科学技术大学 >清华大学 >哈尔滨工程大学 >第一军医大学 >西安理工大学 >武汉理工大学 >北京邮电大学 >上海交通大学 >东南大学 相关作者 >张立勇 >马伟>胡章超 >赵鹏>王全来 >苏振>张红 >靳琪>刘新忠 >赵云山>吉晓梅 >郭昕>姜淑娟 >曹楠>夏靓 >彭苗>周虎成 >杨旸>冯斌 >王琳 快捷付款方式 订购知网充值卡 订购热线 帮助中心 银行卡 支付宝 神州行 知网卡 手机短信 更多>> 免费送卡上门 银行汇款购卡 邮局汇款购卡 400-819-9993 800-810-6613 010-62985026 常见问题 在线咨询 阅读器下载 广告服务 知网卡 关于知网 主办:中国知网 数字出版:《中国学术期刊(光盘版)》电子杂志社 地址:北京清华大学 84-48信箱 知识超市公司京ICP证040431号互联网出版许可证 新出网证(京)字008号 订购热线:400-819-9993 010-62982499 服务热线:800-810-6613 010-62791813 在线咨询:http://help.cnki.net 传真:010-62780361 北京市公安局海淀分局 备案号110 1081725