收藏本站
《解放军信息工程大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

ARM反编译中的类型分析技术研究

周丽娜  
【摘要】:以ARM微处理器为核心的嵌入式系统在国防、通信等领域的关键电子设备中得到普遍应用,利用逆向工程技术对其代码的结构和功能进行分析理解具有十分重要的意义,类型分析技术是代码反编译的关键步骤之一。 本文在分析ARM汇编指令语义信息的基础上,结合类型变量的定义,归纳总结了类型特征的提取规则,实现了ARM汇编指令类型特征的提取;结合中间语言的特性,设计了中间语言语句的类型属性生成方法,重点阐述了针对中间语言语句表达式中不同种类运算符的处理方法,为原始的未包含类型信息的中间语言添加了类型属性;利用中间语言的类型属性,提出了基于双向数据流分析的类型传播方法,解决了类型信息精确化的问题;分析了存储单元寻址表达式之间的关系特性,设计了数组及结构类型的重构方法;设计并实现了用于ARM反编译的类型分析原型工具。 通过大量实例验证了基本类型和复合类型分析方法的正确性,对ARM反编译中的类型分析问题讨论地比较全面、实现简单,具有较强的实用性和可推广性。
【学位授予单位】:解放军信息工程大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP368.1

手机知网App
【参考文献】
中国期刊全文数据库 前2条
1 刘宗田;李力;;8086C逆编译数据类型恢复技术[J];计算机研究与发展;1992年04期
2 陈凯明,刘宗田;非纯变量下标的数组类型恢复[J];计算机工程与设计;2001年05期
中国硕士学位论文全文数据库 前1条
1 夏靓;反编译中的数据类型恢复问题[D];东南大学;2005年
【共引文献】
中国期刊全文数据库 前10条
1 张立彪,刘磊;基于建构主义教学观的编译原理教学改革探索[J];吉林大学学报(信息科学版);2005年S2期
2 程俊;张维勇;聂丽平;;基于XML的Web服务及关键技术[J];电脑知识与技术;2006年02期
3 陈鹏,孟令奎,宋杨;基于XML的地图专题分层及发布[J];地理空间信息;2005年02期
4 刘建华;WebServices体系结构与实现机制[J];福建电脑;2004年09期
5 杨新伦,唐培和,刘浩;ASP.NET对XML文档的支持与处理方式[J];广西工学院学报;2003年01期
6 刘蔚萍,贾武;布尔元在软代数中的应用[J];湖北工学院学报;1997年04期
7 姚卫,路玲霞,李生刚;内部算子与闭包算子的若干性质[J];河北师范大学学报(自然科学版);2004年03期
8 路玲霞,姚卫,李生刚;内部算子及闭包算子与伴随的一些关系[J];河北师范大学学报(自然科学版);2004年05期
9 杨小雨,刘月兰;解析XML文本[J];信息技术;2005年06期
10 姜保庆;李建;徐扬;;布尔关联规则集的结构[J];河南大学学报(自然科学版);2006年01期
中国重要会议论文全文数据库 前3条
1 易小华;;XSLT技术在JavaWeb开发中的应用[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
2 张立彪;刘磊;;基于建构主义教学观的编译原理教学改革探索[A];2005全国计算机程序设计类课程教学研讨会论文集[C];2005年
3 韩江洪;张亚琼;魏正佳;;脚本语言词法分析器的状态转移图构造[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年
2 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
3 董鹏;分布式空间信息的高效查询与分析系统研究[D];中国科学院研究生院(遥感应用研究所);2003年
4 陈凯明;逆编译中几项关键技术研究[D];合肥工业大学;2004年
5 秦昆;基于形式概念分析的图像数据挖掘研究[D];武汉大学;2004年
6 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
7 杨建宇;基于组件的分布式地理信息服务研究[D];中国科学院研究生院(遥感应用研究所);2005年
8 陈树伟;基于格蕴涵代数的格值一阶逻辑L_(vfl)中的不确定性推理研究[D];西南交通大学;2006年
9 赵颖慧;大兴安岭示范区数字林业应用技术的研究[D];东北林业大学;2006年
10 齐宁;静态二进制翻译中基于软件规范的函数识别及恢复技术研究[D];解放军信息工程大学;2006年
中国硕士学位论文全文数据库 前10条
1 卢林;树上随机场的若干极限性质[D];河北工业大学;2002年
2 张可铭;L-拓扑空间的完全正规分离性和L-Fuzzy代数中若干结构的研究[D];首都师范大学;2003年
3 张颖;利用有限域上n阶幂等阵构造几何格[D];东北师范大学;2003年
4 金坚信;基于XML的B/S结构企业应用平台初探[D];西南交通大学;2003年
5 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年
6 赵会兵;XML及其在电子商务中的应用[D];西南交通大学;2003年
7 邢文峰;RISC/DSP系统仿真器的研究[D];浙江大学;2004年
8 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年
9 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年
10 王明霞;基于Web服务的保护地蔬菜栽培专家系统[D];河北农业大学;2004年
【同被引文献】
中国期刊全文数据库 前5条
1 刘宗田;李力;;8086C逆编译数据类型恢复技术[J];计算机研究与发展;1992年04期
2 陈凯明,刘宗田;非纯变量下标的数组类型恢复[J];计算机工程与设计;2001年05期
3 赵蕾,王开铸;C反编译控制流恢复的形式描述及算法[J];计算机学报;1998年01期
4 刘宗田;C语言反编译系统DECLER[J];微电子学与计算机;1997年05期
5 陈凯明,刘宗田,任传胜;逆编译中面向用户的中间语言设计和实现[J];小型微型计算机系统;2002年10期
中国硕士学位论文全文数据库 前3条
1 熊东平;多维数据存储及聚集优化策略的研究[D];中南大学;2005年
2 夏靓;反编译中的数据类型恢复问题[D];东南大学;2005年
3 孙维新;静态二进制翻译中基本数据类型分析的研究与实现[D];解放军信息工程大学;2007年
【二级参考文献】
中国期刊全文数据库 前5条
1 赵蕾,王开铸;C 反编译库函数特点及识别[J];哈尔滨工业大学学报;1997年05期
2 刘宗田;李力;;8086C逆编译数据类型恢复技术[J];计算机研究与发展;1992年04期
3 刘宗田;程序变换的一种规范说明方法[J];计算机研究与发展;1998年01期
4 陈凯明,刘宗田;非纯变量下标的数组类型恢复[J];计算机工程与设计;2001年05期
5 刘宗田;68000C反编译系统中的变量类型恢复[J];微计算机应用;1989年06期
【相似文献】
中国期刊全文数据库 前10条
1 张涛;李艳宁;丁丽丽;;基于自适应模糊PID控制的导热系数测定仪[J];仪表技术与传感器;2008年04期
2 庄坚菱;郑崇苏;;基于ARM的微型热敏打印机设计[J];电子元器件应用;2009年12期
3 来卫国;ARM内核的中断技术[J];单片机与嵌入式系统应用;2002年05期
4 李明;μC/OS-II在ARM上的移植[J];电子设计应用;2003年04期
5 赵勐,陈朔鹰,马忠梅;Armboot在EV40评估板上的移植[J];单片机与嵌入式系统应用;2004年01期
6 何磊,庞小红,吴智铭;基于Intel IQ80310平台的嵌入式Linux开发环境配置[J];微型电脑应用;2004年01期
7 武文权,杨根庆;基于ARM微控制器配置FPGA的实现[J];计算机应用;2004年08期
8 胡延霖;苏永振;陈晖;;基于ARM的无人机飞行控制系统的硬件实现[J];战术导弹技术;2006年01期
9 张威;徐勇;;基于嵌入式系统的手机启动引导程序实现[J];青岛职业技术学院学报;2006年03期
10 崔世钢;廉正光;邴志刚;董锦旗;;基于ARM的新型远程脑服务机器人控制系统设计[J];天津工业大学学报;2006年04期
中国重要会议论文全文数据库 前10条
1 丁庆振;王书茂;陈度;杨景利;徐鸿斌;;基于ARM与FPGA的机械手控制设计[A];2007'中国仪器仪表与测控技术交流大会论文集(二)[C];2007年
2 龚兆岗;;基于ARM处理器的LED可变情报板嵌入式控制器[A];2006年全国LED显示技术应用及产业发展研讨会论文集[C];2006年
3 康明才;赵西平;;电力电容器微机保护系统的研究与设计[A];2008中国电力系统保护与控制学术研讨会论文集[C];2008年
4 李和平;;基于ARM的固态记录器控制模块的设计[A];第三届全国嵌入式技术和信息处理联合学术会议论文集[C];2009年
5 夏文岳;袁海文;弥寒光;郭鑫;;基于ARM的有源滤波器测控系统设计[A];2010航空试验测试技术学术交流会论文集[C];2010年
6 曾翠荣;李斌;佘曼桂;;基于ARM的多协议转换系统及其路由设计[A];2010年通信理论与信号处理学术年会论文集[C];2010年
7 侯立亚;李艳峥;吴水才;张松;白燕萍;;基于ARM的心电采集系统的设计[A];中国仪器仪表学会2005年学术年会医疗仪器学术会议暨中国仪器仪表学会医疗仪器分会第三届第二次理事会论文汇编[C];2005年
8 高得力;高聪哲;;基于ARM的断路器在线监测装置的研制[A];2010电工测试技术学术交流会论文集[C];2010年
9 阮航;许榕生;;嵌入式SMS通信模块的设计与实现[A];第十三届全国核电子学与核探测技术学术年会论文集(下册)[C];2006年
10 王俊;刘缠牢;赵丁;;基于嵌入式系统的激光粒度仪电路设计[A];2010年西部光子学学术会议摘要集[C];2010年
中国重要报纸全文数据库 前10条
1 柴小瑞;ARM的另类生存[N];文汇报;2002年
2 本报记者 周源;ARM能成为真正的挑战者吗?[N];网络世界;2010年
3 本报记者 赵艳秋;英特尔与ARM谁将最终获胜?[N];中国电子报;2010年
4 许磊;苹果大可不必买ARM[N];计算机世界;2010年
5 胡祝;ARM电脑,越走越近[N];电脑报;2011年
6 本报记者 王然;联想选择ARM 英特尔阵营惊现裂痕[N];经济观察报;2009年
7 王如晨;ARM总裁:将进入小尺寸笔记本市场[N];第一财经日报;2008年
8 本报记者 刘学习;ARM与软件企业合作提供先进IP[N];计算机世界;2008年
9 总编 孙定;新鲜ARM本不妨关注[N];计算机世界;2009年
10 本报记者 郑迪;ARM试与Intel分天下[N];21世纪经济报道;2009年
中国博士学位论文全文数据库 前8条
1 张红兵;基于ARM的双丝脉冲MIG高速焊分布式控制系统的研究[D];华南理工大学;2010年
2 张志丰;桥路型高温超导限流器的研究[D];中国科学院研究生院(电工研究所);2006年
3 陈东良;仿生机器蟹两栖步行机理与控制方法研究[D];哈尔滨工程大学;2006年
4 王秀芳;基于ARM和WLAN的油田配电网终端数据远传关键技术研究[D];大庆石油学院;2008年
5 李外云;基于ARM架构的嵌入式人脸识别技术研究[D];华东师范大学;2008年
6 竺乐庆;基于手部特征的多模态生物识别算法研究与系统实现[D];浙江大学;2008年
7 王利霞;基于处方图的变量喷药系统研究[D];吉林大学;2010年
8 吴伟峰;静态二进制翻译完备性及代码分析研究[D];解放军信息工程大学;2012年
中国硕士学位论文全文数据库 前10条
1 周丽娜;ARM反编译中的类型分析技术研究[D];解放军信息工程大学;2010年
2 熊新;基于ARM的二级倒立摆控制的研究[D];昆明理工大学;2008年
3 王楠;基于ARM的嵌入式车载导航系统的设计与研究[D];哈尔滨理工大学;2010年
4 石舒;基于ARM平台嵌入式数据传输通信软件的设计[D];电子科技大学;2010年
5 张磊;基于ARM的矿用监测分站[D];山东科技大学;2010年
6 黄杰;基于ARM嵌入式系统综合血压检测系统的研究与设计[D];湖北工业大学;2010年
7 阎连龙;基于ARM的嵌入式网关多协议转换的研究[D];河南理工大学;2008年
8 李光;基于ARM的火焰识别系统的设计[D];东北大学;2008年
9 张志刚;基于ARM控制器的物料色选系统研究[D];浙江大学;2010年
10 刘凯凯;基于ARM结构体系的无线传感器网络平台设计[D];上海交通大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026