(中国工程物理研究院计算机应用研究所 四川绵阳 621999) (weighzou@163.com)
出版日期: 2019-04-01基金资助:国家自然科学基金项目(61520106005，61761136014)；国家重点研发计划项目(2017YFB1010000)Dynamic Binary Instrumentation Based on QEMU
Zou Wei, Gao Feng, Yan Yunqiang(Institute of Computer Application, China Academy of Engineering Physics, Mianyang, Sichuan 621999)
Online: 2019-04-01摘要/Abstract
摘要： 软件插桩是程序优化、软件调试、软件测试、故障定位等软件动态分析的基础技术.而其中,动态二进制插桩技术,因其无侵入性,即既不需要对源代码进行修改编译,又不需要重新组装二进制程序，不会引起目标码膨胀,而广泛应用于软件动态分析,特别是在资源受限、功耗低、实时性高的嵌入式软件领域,动态二进制插桩技术十分关键.然而,现有的二进制插桩工具仅能应用于用户态软件分析,在嵌入式全系统软件领域,还没有相应的二进制插桩工具.针对上述问题，在基于动态二进制翻译的开源指令集仿真器QEMU(quick emulator)基础上,研究突破基本块运行时间统计收集,并消除中断对嵌入式系统软件控制流分析的不良影响,实现了在中间码上对嵌入式全系统软件的动态二进制插桩，完成嵌入式全系统软件运行控制流跟踪，并开发日志处理工具.实验表明，该方法能完成目标码的调用图、函数剖面、覆盖率、控制流等分析,可以解决了嵌入式全系统软件动态二进制分析问题.
参考文献
相关文章 11
| [1] | 王军,庞建民,傅立国,岳峰,单征,张家豪. 二进制翻译中动静结合的寄存器分配优化方法[J]. 计算机研究与发展, 2019, 56(4): 708-718. |
| [2] | 王军,庞建民,傅立国,岳峰,张家豪. 一种高效解决间接转移的反馈式静态二进制翻译方法[J]. 计算机研究与发展, 2019, 56(4): 742-754. |
| [3] | 谭捷,庞建民,单征,岳峰,卢帅兵,戴涛. 二进制翻译中冗余指令优化算法[J]. 计算机研究与发展, 2017, 54(9): 1931-1944. |
| [4] | 禹振,苏小红,邱景. 使用锁分配图动态检测混合死锁[J]. 计算机研究与发展, 2017, 54(7): 1557-1568. |
| [5] | 姜淑娟,韩寒,史娇娇,张艳梅,鞠小林,钱俊彦. 基于分支相关性分析的不可达路径检测方法[J]. 计算机研究与发展, 2016, 53(5): 1072-1085. |
| [6] | 张玉清,方喆君,王凯,王志强,乐洪舟,刘奇旭,何远,李晓琦,杨刚. Android安全漏洞挖掘技术综述[J]. 计算机研究与发展, 2015, 52(10): 2167-2177. |
| [7] | 王文文,武成岗,Paruj Ratanaworabhan,远 翔,王振江,李建军,冯晓兵. 动态容忍和检测非对称数据竞争[J]. 计算机研究与发展, 2014, 51(8): 1748-1763. |
| [8] | 孙昌爱, 王 冠,. MujavaX: 一个支持非均匀分布的变异生成系统[J]. 计算机研究与发展, 2014, 51(4): 874-881. |
| [9] | 叶 钢 余 丹 李重文 李先军 尹 杰 吕江花 马世龙. 一种基于Kolmogorov-Smirnov检验的缺陷定位方法[J]. , 2013, 50(4): 686-699. |
| [10] | 包晓安 姚 澜 张 娜 宋瑾钰. 基于受控Markov链的软件自适应测试策略[J]. , 2012, 49(6): 1332-1338. |
| [11] | 李军义, 李仁发, 孙家广,. 基于选择性冗余的测试数据自动生成算法[J]. , 2009, 46(8): 1371-1377. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3903
