C程序中内存泄漏的检测是C程序软件测试的重点和难点之一。由于C程序具有灵活高效的优点,从C语言的诞生到现在,都作为一种主流程序设计语言一直被广泛使用。C语言使得用户能够直接控制程序内存资源的使用,这对于实现运行程序的高性能或提高计算机资源的利用率是至关重要的。但正是因为C语言中灵活的内存管理机制,使C程序很容易产生内存泄漏等内存方面的程序错误。内存泄漏故障在C中是非常危险的,通常难以观察到的,但随着故障的积累,程序的整体性能会下降,严重时会导致死机或异常退出。因此内存泄漏的检测至关重要!本文首先研究了内存泄漏检测技术的发展情况以及内存泄漏的特征和产生原因,并分析了国内外常见的内存泄漏检测方法,包括静态检测法、动态检测法等,并对比他们的优缺点。之后本文实现了静态检测工具DTSC,实现了对程序的语法分析,词法分析,生成符号表和控制流图,并在此之上实现了对程序中各个变量的区间分析,使得分析的准确性大大提高。之后实现了拓展性强的缺陷模式状态机,搭建了一个针对故障的强有力的静态检测平台。然后通过研究C语言中内存泄漏故障产生的错误代码,总结出产生内存泄漏代码的模式。根据这些的模式设计并实现DTSC的内存泄漏模型,并用该模型对C程序进行检测。最后,本文将检测结果与国外静态检测工具的检测结果进行比较,分析DTSC和内存泄漏模型的优点和不足,并完善内存泄漏模型,提出DTSC改进方案。