Summary-based method to improve memory leak analysis
基于摘要的内存泄露分析方法改进*

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.