摘要
软件开发常用的动态内存管理技术虽然使得程序的设计更灵活却很容易造成内存管理漏洞,特别是内存泄漏问题。内存泄漏的堆积会导致程序运行异常甚至崩溃,因此内存泄漏检测是一个长期热门的研究课题。而模型检测技术是基于对程序所有可能执行路径的尽可能地仿真来检测出程序中潜在的漏洞,所以可以将模型检测技术用于程序内存泄漏检测中。采用系统化文献综述的方法归纳总结应用模型检测技术的内存泄漏检测方法和工具。
The popular dynamic memory management technology used in software development makes the design process more flexible, but it is also very likely to cause memory management issues, especially the memory leak problem. Memory leaks can cause abnormal operation or even crash the program, so memory leak detection is a hot research topic for a long time. The model checking technology is based on the detection of all possible execution paths of the program as simulation to detect run-time errors, so model checking can be used in memory leak detection. Therefore, draws on a systematic literature review methods to summarize the existing methods and tools of memory leak detection which uses the model checking technology.
出处
《现代计算机》
2017年第3期53-57,共5页
Modern Computer
关键词
内存泄漏检测
模型检测
内存错误
系统文献综述
Memory Leak Detection
Model Checking
Memory Error
Systematic Literature Review
