Summary-based method to improve memory leak analysis

LEI Da,ZENG Qing-kai
2011-01-01
Abstract: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.
What problem does this paper attempt to address?