%0 Journal Article
%T Static Analysis of Memory Leak Fault<br>内存泄漏故障静态分析研究
%A YE Jun-min
%A WEI Peng
%A JIN Cong
%A WANG Jing-hua
%A ZHANG Qing-guo
%A ZHANG Wei
%A <br>叶俊民
%A 魏鹏
%A 金聪
%A 王敬华
%A 张清国
%A 张维
%J 计算机科学
%D 2010
%I 
%X Recent researches detect memory leaks mainly through static test methods. The basic idea is to detect memory leaks by designing specific algorithm based on the control flow graph of program to be tested, but the limitations of these methods are that control flow graph doesn't contain useful information for further use, so that designed algorithms can't detect memory leaks efficiently. We defined a control flow graph for detecting memory leaks and proposed control flow graph reachable paths generating algorithm to detect and analyze memory leaks for generated paths. This method was proved by experiments to be very effective.
%K Memory leaks
%K Faults detect
%K Control flow graph
%K Fault model
%K Static analyses techniques<br>内存泄漏
%K 故障检测
%K 控制流图
%K 故障模型
%K 静态分析技术
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F1DDAE6B3A9EBAED272A3744051FED99&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=B31275AF3241DB2D&sid=73579BC9CFB2D787&eid=A58CF3BAE79427D0&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=13