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

【文件属性】：

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

文件大小：250KB

文件格式：PDF

更新时间：2022-08-11 17:22:25

内存泄露,函数摘要,值流分析,路径敏感

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