基于源代码插桩的C程序内存使用错误动态检测  

Detecting of Memory Error in C Programs Based on Source Code Instrumentation

作　　者：周晓宇[1] 黄文伟[1] 史亮[1] 徐宝文[1] 

机构地区：[1]东南大学计算机科学与工程系

出　　处：《舰船电子工程》2004年第6期70-73,共4页Ship Electronic Engineering

基　　金：自然科学基金项目资助 (编号 :6 0 3730 6 6 );国家重点基础研究发展规划 973资助项目 (编号 :2 0 0 2CB312 0 0 0 );国家自然科学基金青年科学基金 (编号 :6 0 30 30 2 4 );武汉大学软件工程国家重点实验室开放基金;江苏省计算机信息处理技术重点实验室 (苏州

摘　　要：针对C程序内存使用错误的预防和处理方法分基于静态分析和动态分析两类。静态分析工具研制复杂 ,目前还没有得到广泛使用的高效工具。动态分析又分为基于目标代码和源代码插桩分析两类。由于缺少完整的语法、语义信息 ,基于目标代码的分析有时对错误的捕捉、定性不够精确。基于源代码的分析由于其信息的完整可以达到对错误的最精确报告。本文对C程序中的内存使用错误进行了分析 ,并讨论了一个C程序内存错误动态检测工具的设计思想 ,给出了系统流程、关键数据结构。Methods to deal with memory errors in C programs are based on either static analysis or dynamic analysis. It is a hard work to design static analysis tool. There is still no static memory error analysis tool widely used. Dynamic analysis can base on either object code analysis or source code analysis. For lacking of integral grammar or semantic information, analysis of object code can not report error accurately in some cases. Analysis of source code can give the most accurate error report for the availability of the integrity of information. This paper discusses the classification and capturing of memory errors in C program, and presents part of the design of a memory error detector based on source code instrumentation and dynamic analysis.

关 键 词：C 内存错误 指针分析 插桩 软件测试 

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