| 基于源代码插桩的C程序内存使用错误动态检测 |
| |
| 引用本文： | 周晓宇,黄文伟,史亮,徐宝文.基于源代码插桩的C程序内存使用错误动态检测[J].舰船电子工程,2004,24(6):70-73. |
| |
| 作者姓名： | 周晓宇 黄文伟 史亮 徐宝文 |
| |
| 作者单位： | 1. 东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096
2. 东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096;武汉大学软件工程国家重点实验室,武汉,430072 |
| |
| 基金项目： | 自然科学基金项目资助 (编号 :6 0 3730 6 6 )，国家重点基础研究发展规划 973资助项目 (编号 :
2 0 0 2CB312 0 0 0 )，国家自然科学基金青年科学基金 (编号 :6 0 30 30 2 4 )，武汉大学软件工程国家重点实验室开放基金，江苏省计算机信息处理技术重点实验室 (苏州 |
| |
| 摘 要： | 针对C程序内存使用错误的预防和处理方法分基于静态分析和动态分析两类。静态分析工具研制复杂，目前还没有得到广泛使用的高效工具。动态分析又分为基于目标代码和源代码插桩分析两类。由于缺少完整的语法、语义信息，基于目标代码的分析有时对错误的捕捉、定性不够精确。基于源代码的分析由于其信息的完整可以达到对错误的最精确报告。本文对C程序中的内存使用错误进行了分析，并讨论了一个C程序内存错误动态检测工具的设计思想，给出了系统流程、关键数据结构、错误捕捉方法的设计。
|
| 关 键 词： | C 内存错误 指针分析 插桩 软件测试 |
| 修稿时间： | 2004年6月1日 |
Detecting of Memory Error in C Programs Based on Source Code Instrumentation |
| |
| Zhou Xiaoyu,Huang Wenwei,Shi Liang,Xu Baowen.Detecting of Memory Error in C Programs Based on Source Code Instrumentation[J].Ship Electronic Engineering,2004,24(6):70-73. |
| |
| Authors: | Zhou Xiaoyu Huang Wenwei Shi Liang Xu Baowen |
| |
| Institution: | Zhou Xiaoyu 1)2) Huang Wenwei 1)2) Shi Liang 1)2) Xu Baowen 1)2)3) |
| |
| Abstract: | 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. |
| |
| Keywords: | C Memory error Pointer analysis Instrumentation Testing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
