基于源代码插桩的C程序内存使用错误动态检测
周晓宇1
黄文伟1
史亮1
徐宝文2
1.东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,2100962.东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096;武汉大学软件工程国家重点实验室,武汉,430072
摘要：针对C程序内存使用错误的预防和处理方法分基于静态分析和动态分析两类.静态分析工具研制复杂,目前还没有得到广泛使用的高效工具.动态分析又分为基于目标代码和源代码插桩分析两类.由于缺少完整的语法、语义信息,基于目标代码的分析有时对错误的捕捉、定性不够精确.基于源代码的分析由于其信息的完整可以达到对错误的最精确报告.本文对C程序中的内存使用错误进行了分析,并讨论了一个C程序内存错误动态检测工具的设计思想,给出了系统流程、关键数据结构、错误捕捉方法的设计.
关键词：C内存错误指针分析插桩软件测试
分类号：TP31(计算技术、计算机技术)
资助基金：国家自然科学基金(60373066)国家重点基础研究发展计划（973计划）(2002CB312000)国家自然科学基金(60303024)江苏省重点实验室项目(KJS02009,T8118011)
论文发表日期：2004-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 70-73 )
英文信息