模型检测技术在程序内存泄漏检测中的应用

• 作者: 陈宇星
• 来源期刊: 现代计算机
• 关键词: 内存泄漏检测 模型检测 内存错误 系统文献综述
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 实践与经验
• 页码范围: 53-57
• 页数: 5页
• 字数: 4558字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-1423.2017.04.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈宇星	四川大学计算机学院	4	2	1.0	1.0