针对MIPS程序的静态二进制翻译技术研究

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:bin930640
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着嵌入式设备的发展,尤其是大量的嵌入式的设备例如路由器、智能手环、摄像头等,需要通过连入局域网甚至互联网来提供相应的服务,针对嵌入式设备的隐私安全的保护的研究得到了很大重视。而由于嵌入式设备的相关特性,包括运行资源有限、底层系统受限等,特别是使用和通用计算机不同的指令集架构,使得直接在嵌入式设备上进行安全分析存在着难度。目前针对嵌入式程序的分析方法,一种是借用硬件调试接口对程序进行调试,这就需要额外的具有相应功能的硬件设备来支持。还有一种方法是利用动态二进制翻译技术,在PC端模拟执行嵌入式程序,并进行相关的测试分析。但是动态二进制翻译由于是在执行程序的同时进行指令翻译,所以存在着无法忽略的时间开销,并且不方便采用复杂的代码优化。相比于动态翻译技术,静态翻译技术在程序执行时并不会带来较大的额外时间开销。随着二进制分析技术研究的深入,使得静态翻译技术的代码准确性得到了更好的保证。本文研究并开发了针对MIPS程序的轻量级的静态二进制翻译系统BabelFish,该系统能够将目标MIPS程序转换为LLVM-IR表示,并利用了LLVM强大的优化策略,来生成高质量的目标架构的指令。对于静态翻译过程中的传统难点,例如间接跳转/间接调用问题、程序中地址引用的重定位问题、库函数调用问题给出了相应的解决方法。并且改进了传统静态翻译技术中对于寄存器操作的处理方式,提高了生成代码的质量。最后,我们对本文提出的翻译方法进行了测试分析,包括对系统翻译效率的测试以及系统生成代码的测试。从测试的结果表明,BabelFish在没有任何源代码信息的情况下,能够成功地将MIPS程序翻译成LLVM-IR表示,并且最后生成的本地x86指令能够保持和源码直接编译生成的程序相似的执行效率。
其他文献
本实验探讨利用近红外光谱分析技术(NIRS)测定鱼丸弹性的可能性,并建立数学模型。以质构仪采用一次压缩法测定鱼丸的弹性,取最大力作为建模数据。以定标集和验证集的相关系数
2005版电影《傲慢与偏见》是难得的影视佳作,影片不仅精准地诠释了伊丽莎白与达西"傲慢与偏见"的爱情,还为观众呈现了一幅19世纪初英伦风情的美妙画卷。影片取景完美展现了英
<正>今年6月30日,胡锦涛在庆祝建党85周年暨总结保持共产党员先进性教育活动大会上,将党成立85年来的历史概括为三个时期,即新民主主义革命时期、社会主义革命和建设时期、改
目的测量分析不同类型磨牙症患者的头颅定位侧位片,对比研究各类磨牙症的颅颌面形态学特征。方法拍摄86个磨牙症患者的标准头颅定位侧位片,运用CASSOSX线片头影测量分析系统,
介绍苹果锈病的症状、病原特性,分析该病的发生规律和发病原因,进一步明确影响其流行的气候条件,在此基础上提出综合防治措施,以为该病的防治提供参考。
文章以城乡待遇为切入点,从制度经济学角度实证分析了东部城市户籍堤坝效应对就业吸引力的影响。结果表明:(1)城乡待遇差距、城市就业吸引力、户籍堤坝效应强度三者之间存在
通过笔者的调查发现,在我国目前的财务会计领域,都已经开始使用公允价值的计量方式与方法,这已经成为了一种发展趋势和商业的代表语言。由此可知,公允价值的应用对我国财务会
蝙蝠是许多人兽共患病病原体的携带者,可引起多种人兽共患病。近年来,关于蝙蝠携带的病毒已有较多的研究,而对蝙蝠携带致病菌的研究很少。随着旅游业的发展及人口密度的增加
文章采用泊松最大似然估计方法建立中国人口分年龄死亡率的Lee-Carter模型,在最大似然估计的基础上附加再抽样方法对模型参数、死亡率及其他相关变量进行再抽样估计和预测,并
甜瓜作为重要的水果型蔬菜,在我国果蔬生产和消费中占有重要地位。随着大众消费水平的提高,对瓜果蔬菜品质的要求也随之提高。市场对育种家们的要求不再是简单的满足产量需求,更多的讲求品质育种。随之,一系列具有特殊风味的水果应运而生。作为夏季主要的时令水果,外型美观、营养物质丰富、具有酸甜风味的甜瓜也开始走向市场。所以,对甜瓜果肉酸味基因的研究,有利于风味甜瓜的选育,同时也为品质育种提供数据支持。测序技术的