• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Zou Wei, Gao Feng, Yan Yunqiang. Dynamic Binary Instrumentation Based on QEMU[J]. Journal of Computer Research and Development, 2019, 56(4): 730-741. DOI: 10.7544/issn1000-1239.2019.20180166
Citation: Zou Wei, Gao Feng, Yan Yunqiang. Dynamic Binary Instrumentation Based on QEMU[J]. Journal of Computer Research and Development, 2019, 56(4): 730-741. DOI: 10.7544/issn1000-1239.2019.20180166

Dynamic Binary Instrumentation Based on QEMU

More Information
  • Published Date: March 31, 2019
  • Software instrumentation is a basic technology of software dynamic analysis, such as program optimization, debugging, testing, fault location and so on. The dynamic binary instrumenta-tion technology, because of its non-invasive, which does not need to modify the source code to compile, and does not need to reassemble the binary program, will not cause the expansion of the object code, and is widely used in software dynamic analysis, especially in resource constrained, low power consumption, high real-time embedded field, so dynamic binary instrumentation is the very key technology. However, the existing binary instrumentation tool can only be applied to user mode software, and the embedded whole system software also needs a corresponding binary instrumentation tool. In order to solve this problem, this paper based on the dynamic binary translation open source instruction set simulator QEMU(quick emulator), breaks through run time statistics collection on the basic blocks, and eliminates interrupt’s adverse effects of control flow analysis in the embedded the system software, and achieves the implementation of instrumentation on the intermediate code level to the embedded system software code, full completion of the embedded system software running control flow tracking, and the development of log information processing tool. Experiments show that the method proposed in this paper can accomplish call graph, function profile, coverage, control flow analysis and so on, which can solve the problem of dynamic binary analysis of embedded system software.
  • Related Articles

    [1]Guo Hongjing, Tao Chuanqi, Huang Zhiqiu. Surprise Adequacy-Guided Deep Neural Network Test Inputs Generation[J]. Journal of Computer Research and Development, 2024, 61(4): 1003-1017. DOI: 10.7544/issn1000-1239.202220745
    [2]Yu Zhen, Su Xiaohong, Qiu Jing. Dynamically Detecting Multiple Types of Deadlocks Using Lock Allocation Graphs[J]. Journal of Computer Research and Development, 2017, 54(7): 1557-1568. DOI: 10.7544/issn1000-1239.2017.20160369
    [3]Jiang Shujuan, Han Han, Shi Jiaojiao, Zhang Yanmei, Ju Xiaolin, Qian Junyan. Detecting Infeasible Paths Based on Branch Correlations Analysis[J]. Journal of Computer Research and Development, 2016, 53(5): 1072-1085. DOI: 10.7544/issn1000-1239.2016.20148031
    [4]Sun Chang’ai, Wang Guan. MujavaX: A Distribution-Aware Mutation Generation System for Java[J]. Journal of Computer Research and Development, 2014, 51(4): 874-881.
    [5]Bao Xiao'an, Yao Lan, Zhang Na, and Song Jinyu. Adaptive Software Testing Based on Controlled Markov Chain[J]. Journal of Computer Research and Development, 2012, 49(6): 1332-1338.
    [6]Li Haifeng, Li Qiuying, and Lu Minyan. Software Reliability Modeling with Logistic Test Coverage Function[J]. Journal of Computer Research and Development, 2011, 48(2): 232-240.
    [7]Li Junyi, Li Renfa, Sun Jiaguang. An Automated Test Data Generation Algorithm Based on Selective Redundancy[J]. Journal of Computer Research and Development, 2009, 46(8): 1371-1377.
    [8]Mao Chengying, Lu Yansheng. Strategies of Regression Test Case Selection for Component-Based Software[J]. Journal of Computer Research and Development, 2006, 43(10): 1767-1774.
    [9]Mao Chengying and Lu Yansheng. Research Progress in Testing Techniques of Component-Based Software[J]. Journal of Computer Research and Development, 2006, 43(8): 1375-1382.
    [10]Li Genguo and Li Lijun. Binary Compatibility Test and Performance Evaluation of Some Commerce Software on Dawning 4000A[J]. Journal of Computer Research and Development, 2005, 42(6): 1089-1091.
  • Cited by

    Periodical cited type(3)

    1. 谢汶兵,田雪,漆锋滨,武成岗,王俊,罗巧玲. 二进制翻译技术综述. 软件学报. 2024(06): 2687-2723 .
    2. 梁晓兵,孔令达,刘岩,叶莘. 轻量级嵌入式软件动态二进制插桩算法. 信息网络安全. 2021(04): 89-95 .
    3. 王东,张小松,陈厅. 面向嵌入式CGI的内存破坏漏洞挖掘研究. 电子科技大学学报. 2020(05): 745-750 .

    Other cited types(20)

Catalog

    Article views (2349) PDF downloads (724) Cited by(23)

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return