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

作者：雷达; 曾庆凯

来源：计算机应用研究, 2011, (11): 4315-4319.

• 内存泄露
• 函数摘要
• 值流分析
• 路径敏感 memory leak
• function summary
• value-flow analysis
• path sensitive

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

• 单位
  计算机软件新技术国家重点实验室; 南京大学