ｍｅ ｒ ｅ ｋ ａ ｄ ｔ ｅ ｒ ｌｔｄ ｄ ｔ ｃｉｎ， ｔ ｅ ｎ ｔ ｎ ｏ ｙ ｅ ｏ ｅ ｔｄ ｙ ａ ｃ ｍｅ ｒ ｅ ｋ ｄ ｔｃ ｉｎ ｉ ｐ ｏ ｏ ｅ ， ｗ ｉｈ ｍａ ｅ ｈ ｅ ｋ ｍｏ ｌａ ｎ ｈ ｅａ ｅ ｅｅ ｔｏ ｙ ｈ ｏ ｉ ｆ ｔｐ —ｒ ｎ ｅ ｄ ｎ ｍｉ ｍｏ ｌａ ｅｅ ｔ ｓ ｒ ｐ ｓ ｄ ｏ ｉ ｙ ｏ ｈｃ ｋ ｓ ｔｅ ｌａ
第２ ８卷 第 １ １期
２１年 １ ０１ １月
计算机 应 用与软 件
Ｃｏ ｕ ｅ ｍｐ ｔ ｒＡｐｐ ｉａ ｉｎ ｎ ｏ ｔ ｒ ｌｃ ｔ ｓ ａ ｄ Ｓ ｆｗａ ｅ ｏ
Ｖｏ ＿ ８ Ｎｏ． １ ｌ２ １ ＮＯ ．２ １ Ｖ ０１
一
种 有 效 的 动态 内存 泄 漏检 测 技 术 的研 究 与 实 现
Ａｂ ｔ ａ ｔ ｓｒ ｃ Ｍｅ ｒ ｅ ｋ ｆｉ ｒ ｓｏ ｅ ｏ ｅ ｐ ｏ ｌｍｓ ｔ ａ ｒ ｇ ａ ｍｏ ｙ ｌ ａ ａｌ ｅ ｉ ｎ ｆ ｈ ｒｂ ｅ ｈ ｔ ｐ ｏ ｒ ｍｍｅ ｓ ｅ ｃ ｎ ｅ ｎ ｄ ａ ｏ ｔ Ｉ ｈ ｓ ｐ ｐ ｒ ａ ｅ ｎ ｔ ｅ ｓｕ ｙ ｏ ｕ ｔ ａ ｒ ｍｕ ｔｂ ｏ ｃ ｒ ｅ ｂ ｕ ． ｎ ｔｉ ａ ｅ ，ｂ ｓ ｄ ０ ｈ ｔ ｄ ｆ
Ｌ Ｌｎ 是通过对 源代码 及 添加 到源 代码 中特 定格 式 的 Ｃｉ ｋ 注释进行静态分析的程序理 解和检错 工具 。Ｐ ｒｙ在 目标代 码 ｕｉ ｆ 中插入特殊的检查 指令 来实 现对 内存 的检测 。Ｉｓｒ 是 ｎｕｅ＋＋
运行时检测工具 ， 能检测 Ｃ Ｃ＋ ／ ＋中的编程 和运行 时错 误 ， 检验
性， 大大提升了检测程序的执行效率 。
所谓 内存泄漏是指 程序 已在堆里动 态分配 了一块 内存 ， 在 使用完毕后 ， 由于某种原 因一 直未 释放或者 因丢失 了访 问路 径
Ｚ ａ ｇＸ ａｍ ｎ ＬｕＪ ｎｕ Ｌ ｈ ｊ ｎ ｈｎ ｉ ｉｇ ｉ ｉ ｊｎ ｉ ｕ ａ ｇ ｏ ａ Ｓ ｉ
（ ｏｅｅｏ ｎｏｍ ｔ ｎＳｉ ｃ ｎ ｎ ｉ ｅｎ ，ｈｎａ ｇＵ ｉ ｒｔ ｏ Ｔｃｎ ｌ ｙ Ｓｅｙｎ １８ ０ Ｌａｎｎ ， ｈｎ Ｃ ｌｇ ｆｒ ａｉ ｃ ｎｅａｄＥ ｇｎ ｒ ｇ Ｓ ｅｙ ｎ ｎｖ ｓｙｆ ｅｈｏｏ ＂ ｈｎａ ｇ１０ ７ ，ｉｏｉｇ Ｃ ｉ ｌ ｆＩ ｏ ｅ ｅｉ ｅ ｉ ｇ， ａ）
Ｋｅ ｗｏ ｄ ｙ ｒｓ Ｍｅ ｒ ｅ ｋ Ｍｅ ｒ ｌｏ ａｉ ｎ Ｄ ｔｃ ｉｎ ｍｏ ｌａ ｙ ｍｏ ａｌｃ ｔ ｅ ｅ ｔ ｙ ｏ ｏ
误报率 ， 而动态工具 主要是对 目标代码进行插装 ， 准确率高。
０ 引 言
随着科学技术 的发 展 ， 类逐渐进 入信息 技术社 会 。而 计 人 算机作为信息社会 的主力 军 ， 在世 界经 济和社会 发展 中起着 无 法替代的作用 。计算机科 学 的重要研究 领域—— 内存 管 理 ， 因
张晓明 刘建君 李树江
（ 阳工业大学信息科学与工程学院 沈 辽宁 沈 阳 １０７ ） １ ８０
摘
要
内存泄 漏故 障是 一个 程序 员所必须关心的 问题之一。通过对 内存泄 漏及其相关检 测技术 的研 究， 出面 向类 型的动态 提
内存泄漏检测 的概念 ， 使泄漏检测具有较高 的实 时性 ， 大大降低 由于 内存泄漏检 测而导 致 Ｃ Ｕ 占用 时间的 急剧 变化值 ， Ｐ 并在 Ｌｎｘ ｉｕ
静态 （ 全局 ） 和堆栈 以及动态分配 内存 的操 作的有效性 ， 对发 但 现第三方库 函数 中的代码泄漏无 能为力 。文献 ［ ］ ４ 阐述 了一种
其在计算机 中的关键作 用 ， 到全世 界计算机 工作 者的普遍 关 受 注 。一旦程序员 疏忽 ， 内存 管理 错误 ， 会 引起一 些 内存 故 对 就 障。因此 ， 检测 内存故障便成 了一 个无法 避免 的问题 。检测 内 存故 障是非常 困难 的 ， 难 以准确 识别 出程 序 中 的故 障 源… 。 也
下验证 了算法 的真 实有效性。
关 键 词 内存 泄 漏 内存分配
检测技术
Ａ
中图分类号
Ｔ ３６ Ｐ ０
文献 标 识 码
ＲＥＳ ＥＡＲＣＨ ＯＮ ＡＮ ＦＩ Ｉ ＥＦ Ｃ ＥＮＴ ＤＹＮＡＭ Ｉ Ⅱ ｏＲＹ ＣＮ Ｍ ＬＥＡＫ ＤＥＴＥＣＴＩ Ｎ Ｏ
ＴＥＣБайду номын сангаасＮｏＬＯ ＧＹ ＡＮＤ ＴＳ Ｉ ＰＬＥＭ ＥＮＴＡＴＩ Ｉ Ｍ ＯＮ
内存泄漏便是其 中的一种 。
通过静态分析指针映射关系 的方法来检测 内存泄漏故障 。此方 法与运行时检测相 比 ， 内存故 障的代价要 小得多 。本文基 于 其
内存泄漏检测 的有效性 以及程序 执行 的高效性 ， 出了一种有 提 效的 内存泄漏检测算法 ， 在一定 程度上 提高 了泄 漏检测 的实时
ｄ ｔｃ ｉｎ ｈ ｅ ｌ ｙ ａ ｄ ｖ ｌ ｉ ｆ ｈ ｓ ａｇ ｒｔ ｍ ｓｖ ｒ ｅ ｎ Ｌ ｎ ｘ ｏ ｅ ａｉ ｇ ｓ ｓｅ ｅｅ ｔ ．Ｔ ｅ ｒ ａｉ ｎ ａｉ ｔ ｏ ｉ ｌ ｏ ｈ ｉ ｅ ｉ ｄ ｉ ｉｕ ｐ ｒ ｔ ｙ ｔｍ． ｏ ｔ ｄｙ ｔ ｉ ｉ ｆ ｎ
ｄ ｔｃｉ ｎ ｔ ｃ ｎ ｌｇ ｅ ｈｇ ｌ ｉ ｌ ， ａ ｄ ｇ ｅ ｔ ｅ ｕ ｅ ｈ ｈ ｒ ｈ ｎ ｅ ｖ ｌ ｅ ｏ Ｐ ｏ ｃ ｐ ｎ ｙ ｔ ａ ｓ ｄ ｂ ｈ ｍｏ ｅ ｋ ｅｅ ｔ ｅ ｈ ｏ ｏ ｙ ｂ ｉｈ ｙ ｔ ｏ ｍｅｙ ｎ ｒ ａｌ ｒ ｄ ｃ ｓ ｔ ｅ ｓ ａｐ ｃ ａ ｇ ａｕ ｆ Ｃ Ｕ ｃ ｕ ａ ｃ ｉ ｙ ｍｅ ｃ ｕ ｅ ｙ ｔ ｅ ｍｅ ｒ ｌａ ｙ