程序动态分析系统中插装方式的改进.pdfVIP

第28 卷 第19 期 计算机工程与设计 2007 年10 月 Vol . 2 8 N o . 19 Computer Engineering and Design Oct. 2007 程序动态分析系统中插装方式的改进 钟芳挺， 刘 超， 金茂忠 北京航空航天大学计算机学院，北京 100083 摘 要：动态分析是程序理解的重要方法，而插装技术是其中常用的关键技术之一。介绍了QESat/C++ 中动态分析子系统的插 装策略，在其基础上提出并实现了新的插装器并改进了插装探针库的效率。实验表明，改进后的动态分析子系统具有插装速度 快、动态结果文件小、动态信息合并效率高的优点。展望了现有系统如何支持新的动态分析技术，最后对全文进行了总结。 关键词：动态分析; 插装; 软件理解; 探针; 不变式分析 中图法分类号：TP311 文献标识码：A 文章编号：1000-7024 2007 19-4585-04 Improvement of instrumentation in program dynamic analysis system ZHONG Fang-ting, LIU Chao, JIN Mao-zhong School of Computer Science and Technology, Beij ing University of Aeronautics and Astronautics, Beij ing 100083, China Abstract ：Program dynamic analysis is an important method to understand program, while instrumentation is one of the key technologies used most frequently in program dynamic analysis. The instrument strategy of the dynamic analysis subsystem of the QESat/C++ tool is presented detailed, and the shortage of which is proposed also. Based on which the new instrumentor is raised, and the efficiency of the instrumentation library is improved. Through the experiment, the new dynamic analysis subsystem based on the improvement in- strumentation has the excellence of rapid instrumentation, smaller dynamic file size and higher efficiency of dynamic information com- bination. In the end, how to support others type of dynamic analysis is proposed and the paper is concluded. Key words ：dynamic analysis; instrumentation; software comprehension; probe; invariant analysis 析的性能；在功能上拟增加不变式分析丰富工具的分析和理 0 引 言 解功能。 程序分析是软件理解，软件测试的重要方法之一。依据是 1 国内外相关研究 否执行软件，程序分析技术可分为静态分析和动态分析。静态 分析并不真正执行程序，而是通过对程序源码进行分析，得到 1.1 程序动态分析技术 程序的结构信息 包括模块调用关系图、模块的控制流程图等 、 覆盖率分析是动态分析的一种重要方法。常用的代码覆 逆向提取的对象模型和类关系及程序的复杂度度量等。动态 盖分析包括：语句覆盖、决策覆盖、条件覆盖、多条件覆盖、路 分析则要通过运行软件来得到程序的动态行为信息，包括分析 [ ] 径覆盖、功能覆盖、调用覆盖和循环覆盖等。而文献 1 认为传 软件的覆盖率、监控内存的状态，分析变量执行轨迹、提取程序 统的覆盖率分析无法满足面向对象软件的需求，提出了面向 不变式等等。相比较静态分析而言，动态分析基于程序运行时 对象的上下文覆盖。 信息进行分析，有利于用户更好地理解软件的行为。 当然，支持覆盖率分析的工具也非常多，如Bullseye 公司