收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

面向ARM体系结构的代码逆向分析关键技术研究

殷文建  
【摘要】:ARM微处理器广泛运用于嵌入式系统中,针对ARM二进制代码的逆向分析对于以ARM为核心的嵌入式设备的解剖和安全缺陷分析具有重要意义。本文着重研究面向ARM体系结构的代码逆向分析的关键技术。 论文提出了一种基于代码语义属性分析的二进制解析模型,针对ARM指令系统特点和程序编译后代码特征,从指令和指令序列两种粒度级别分别讨论了代码语义属性分析方法;设计了一种基于静态单一赋值(SSA)的中间语言BRIL,给出了中间语言BRIL的指称语义;针对从汇编表示到中间表示的代码语义抽象问题,通过分析影响ARM指令语义的因素,构建了指令语义字典描述模型,设计了基于语义字典的代码变换算法;针对中间表示中的代码冗余问题,提出了基于SSA表示的表达式传播、死代码删除和表达式代数化简三种代码变换方法;设计并实现了二进制代码逆向分析原型工具CodeSemantics Frontier。 测试结果表明,CodeSemantics Frontier能够快速有效地生成脱离ARM指令集的BRIL中间代码表示,为目标代码在高级语义抽象层次上的分析利用提供良好的支撑。


知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 潘宁;邓燕妮;;基于S3C44B0X的嵌入式机器视觉系统设计[J];机械与电子;2006年10期
12 王志辉;李明捷;;基于ARM微控制器的缠绕机控制系统研究[J];电子测量技术;2006年06期
13 费太勇;董鹏曙;金江;费小燕;;分布式网络雷达抗ARM摧毁可行性分析[J];航天电子对抗;2007年01期
14 王永红;张丽丽;戴学丰;刘树东;;基于ARM微处理器的语音报警系统设计与实现[J];齐齐哈尔大学学报(自然科学版);2007年01期
15 郑宁汉;;基于PXA255的嵌入式实验装置的设计与实现[J];计算机工程与设计;2007年08期
16 张利锋;程明霄;;基于ARM和μC/OSII的高性能分析仪表平台设计[J];微处理机;2007年01期
17 张素文;刘延兵;;基于ARM的智能液压阀门定位器的设计[J];武汉理工大学学报(信息与管理工程版);2007年03期
18 叶小岭;黄俊平;张颖超;孙宁;;基于ARM7的半自动生化分析仪[J];微计算机信息;2007年08期
19 魏辉;丁光哲;;基于ARM的FIR滤波器的实现[J];河南机电高等专科学校学报;2007年01期
20 刘显荣;;基于S3C2410的触摸屏控制[J];微计算机信息;2007年11期
中国重要会议论文全文数据库 前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年
中国博士学位论文全文数据库 前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];中国科学技术大学;2011年
中国硕士学位论文全文数据库 前10条
1 殷文建;面向ARM体系结构的代码逆向分析关键技术研究[D];解放军信息工程大学;2010年
2 周润;一种基于ARM的嵌入式系统软件构建与网络驱动开发[D];电子科技大学;2010年
3 熊新;基于ARM的二级倒立摆控制的研究[D];昆明理工大学;2008年
4 王楠;基于ARM的嵌入式车载导航系统的设计与研究[D];哈尔滨理工大学;2010年
5 周丽娜;ARM反编译中的类型分析技术研究[D];解放军信息工程大学;2010年
6 石舒;基于ARM平台嵌入式数据传输通信软件的设计[D];电子科技大学;2010年
7 张磊;基于ARM的矿用监测分站[D];山东科技大学;2010年
8 黄杰;基于ARM嵌入式系统综合血压检测系统的研究与设计[D];湖北工业大学;2010年
9 阎连龙;基于ARM的嵌入式网关多协议转换的研究[D];河南理工大学;2008年
10 李光;基于ARM的火焰识别系统的设计[D];东北大学;2008年
中国重要报纸全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978