论文部分内容阅读
软件开发常用的动态内存管理技术虽然使得程序的设计更灵活却很容易造成内存管理漏洞，特别是内存泄漏问题。内存泄漏的堆积会导致程序运行异常甚至崩溃，因此内存泄漏检测是一个长期热门的研究课题。而模型检测技术是基于对程序所有可能执行路径的尽可能地仿真来检测出程序中潜在的漏洞．所以可以将模型检测技术用于程序内存泄漏检测中。采用系统化文献综述的方法归纳总结应用模型检测技术的内存泄漏检测方法和工具。