基于摘要的内存泄露分析方法改进

• 作者: 曾庆凯 雷达
• 来源期刊: 计算机应用研究
• 关键词: 内存泄露 函数摘要 值流分析 路径敏感
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 信息安全技术
• 页码范围: 4315-4319
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.11.085

摘要

为了更加精确高效地分析源代码中的内存泄露,针对内存泄露属性分析建模,通过多种途径对现有的方法进行改进.使用函数摘要的方法提高分析效率,并使用对库函数建模、检测虚假路径的方法降低误报,同时尝试检测动态内存通过参数逃逸的情况.在crystal基础上实现了静态分析内存泄露的工具SMD,取得了良好的实验结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆凯	南京大学计算机软件新技术国家重点实验室	58	555	13.0	21.0
5	雷达	南京大学计算机软件新技术国家重点实验室	1	2	1.0	1.0