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

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

作者机构：东南大学计算机科学与工程系 

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

出 版 物：《舰船电子工程》 (Ship Electronic Engineering)

年 卷 期：2004年第24卷第6期

页      码：70-73页

摘      要：针对C程序内存使用错误的预防和处理方法分基于静态分析和动态分析两类。静态分析工具研制复杂 ,目前还没有得到广泛使用的高效工具。动态分析又分为基于目标代码和源代码插桩分析两类。由于缺少完整的语法、语义信息 ,基于目标代码的分析有时对错误的捕捉、定性不够精确。基于源代码的分析由于其信息的完整可以达到对错误的最精确报告。本文对C程序中的内存使用错误进行了分析 ,并讨论了一个C程序内存错误动态检测工具的设计思想 ,给出了系统流程、关键数据结构。

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1627-9730.2004.06.016

馆 藏 号：203716187...