一种基于静态分析的资源泄漏检测方法.pdfVIP

第 卷 第三届全国软件测试会议与移动计算 栅格 智能化高级论坛论文集 x x !! 一种基于静态分析的资源泄漏检测方法 5 6789:;:=7878?@AB7C:DE7F7GHIGC7;:@J8G8?5@GKLC?C 杨 绣 宫云战 金大海 北京邮电大学网络与交换技术国家重点实验室 北京 , .###*(1 摘 要 资源泄漏是指资源分配后未及时释放的现象 这类故障可能导致系统资源被耗尽 首先分析了资源泄 M N ’ 4 露故障原因 介绍 语言的资源泄漏故障模式 然后 建立可扩展的资源行为模型 简称 用于描述 ’ OPQP 4 ’ , RST 1’ 程序中与资源有关的操作 接着以 为基础 设计一种函数间资源泄漏检测方法 该方法通过函数摘要实现 4 RST ’ 4 跨函数分析 能够检测函数间的资源泄漏故障 最后实验证明 该方法能够检测出更多的故障点 而且误报率 ’ 4 ’ ’ 低 执行效率高 可用于大规模代码检测 ’ ’ 4 关键词 软件测试 静态分析 资源泄漏 函数摘要 数据流分析 M N ’ ’ ’ ’ 中图分类号) +..W 文献标识码) UV - ’ 5XJYB5ZY R[\]^_‘[a[Pbc\de[fP^addePdg_]h_Pi j][\k]d_[a[P\[_[\]^_‘[\dci[al mec‘eiPla[Pjd][neP^\dc]k]f\l\d[i W ’ W ’ _[\]^_‘[\okdec\gPg[_ m[fc_\dalPkPalp[de[_[P\]k]f_[\]^_‘[a[PbPkjckd_]j^‘[‘]ii]kfP^adgPdd[_k\ckOPQPUe[k m[ , 1 W ’ ‘]k\d_^‘dPk[nd[k\cqa[_[\]^_‘[q[ePQc]_i]j[aRST mec‘ej[\‘_cq[\_[\]^_‘[]g[_Pdc]k\]fg_]h_Pi SP\[j]kRST m[g_[\[kd % , 1W ’ % Pkckd[_g_]‘[j^_Pa_[\]^_‘[a[Pbd[\dckhi[de]j oVRrU s\ckhf^k‘dc]k\^iiP_c[\ dec\i[de]jciga[i[kd\ckd[_g_]‘[j^_Pa % % % W PkPal\c\ Pkj c\ Pqa[ d] j[d[‘dckd_Pg_]‘[j^_PaPkj ckd[_g_]‘[j^_Pa_[\]^_‘[ a[Pb fP^ad\ ck ]k[\d[g PkPal\c\Ue_]