摘要
动态分析是程序理解的重要方法,而插装技术是其中常用的关键技术之一。介绍了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.
出处
《计算机工程与设计》
CSCD
北大核心
2007年第19期4585-4588,共4页
Computer Engineering and Design
基金
国家自然科学基金项目(60373016)
关键词
动态分析
插装
软件理解
探针
不变式分析
dynamic analysis
instrumentation
software comprehension
probe
invariantanalysis
