论文研究 基于摘要的内存泄露分析方法改进.pdf

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