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

Improvement of instrumentation in program dynamic analysis system

作　　者：钟芳挺[1] 刘超[1] 金茂忠[1] 

机构地区：[1]北京航空航天大学计算机学院,北京100083

出　　处：《计算机工程与设计》2007年第19期4585-4588,共4页Computer Engineering and Design

基　　金：国家自然科学基金项目(60373016)

摘　　要：动态分析是程序理解的重要方法,而插装技术是其中常用的关键技术之一。介绍了QESat/C++中动态分析子系统的插装策略,在其基础上提出并实现了新的插装器并改进了插装探针库的效率。实验表明,改进后的动态分析子系统具有插装速度快、动态结果文件小、动态信息合并效率高的优点。展望了现有系统如何支持新的动态分析技术,最后对全文进行了总结。Program dynamic analysis is an important method to understand program, while instrumentation is one ofthe 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 instrumentation 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.

关 键 词：动态分析 插装 软件理解 探针 不变式分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]