%0 Journal Article
%T Summary-based method to improve memory leak analysis<br>基于摘要的内存泄露分析方法改进*
%A LEI Da
%A ZENG Qing-kai
%A <br>雷达
%A 曾庆凯
%J 计算机应用研究
%D 2011
%I 
%X 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.
%K memory leak
%K function summary
%K value-flow analysis
%K path sensitive<br>内存泄露
%K 函数摘要
%K 值流分析
%K 路径敏感
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=1F8EB868F38CE072121268CA20A663B8&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=708DD6B15D2464E8&sid=11FE01C693053C08&eid=21BF9BE2D0451BEE&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=11