一种面向堆操作程序的内存泄漏检测方法专利登记公告

专利名称：一种面向堆操作程序的内存泄漏检测方法

摘要：本发明公开了一种面向堆操作程序的内存泄漏检测方法，要解决的技术问题是针对当前堆操作程序内存错误检测方面存在精度和效率的问题，提供一种新的内存泄漏检测方法，提高检测的精度和效率。技术方案是先对程序源代码进行语句分析和词法分析，生成中间文件；然后进行预处理，包括切片和转换；接着根据程序中指针变量扩展类型的定义得到堆内存抽象状态；采用前向数据流迭代方法进行过程内和过程间检测；最后检查和统计内存泄漏检测的结果。本发明在静态分析的精度和效率间找到了一个较好的平衡点，可加速迭代算法的终止，提高了检测精度和效率，可扩展

专利类型：发明专利

专利号：CN201210041025.7

专利申请（专利权）人：中国人民解放军国防科学技术大学

专利发明（设计）人：王戟;董龙明;陈立前;董威;刘万伟;李仁见

主权项：一种面向堆操作程序的内存泄漏检测方法，其特征在于包括以下步骤：第1步，利用编译器平台对被检测程序进行词法分析、语法分析，生成被检测程序的抽象语法树、控制流图、过程调用图；第2步，预处理：2.1切片，即将那些没有使用任何指针类型变量的赋值语句从程序中删除，得到切片后的程序；2.2将经过切片后的程序中不符合标准形式的指针赋值语句按照转换规则转换成标准形式；第3步，根据函数中每个指针变量的别名信息定义指针的扩展类型，得到程序的堆内存抽象状态；堆操作程序中，指针变量p的扩展类型定义?为：

专利地区：湖南