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

摘要

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