欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为了更加精确高效地分析源代码中的内存泄露,针对内存泄露属性分析建模,通过多种途径对现有的方法进行改进。使用函数摘要的方法提高分析效率,并使用对库函数建模、检测虚假路径的方法降低误报,同时尝试检测动态内存通过参数逃逸的情况。在crystal基础上实现了静态分析内存泄露的工具SMD,取得了良好的实验结果。
英文摘要：
In order to analyze memory leaks property in the source code more accurately and efficiently,this paper modeled memory leak and used various channels to improve the existing method.First,it used function summary method to increase efficiency.Second,it modeled LIB function and checkd infeasible path to reduce false positives.Third,it classified memory leaks and analysed the case of heap memory escape by parameter.It implements SMD tool which achieves good experimental results.
同期刊论文项目
同项目期刊论文
期刊信息
位置：