内存泄漏

摘要： 针对现有的内存相关漏洞检测方法中存在依赖指针数据流而导致大量误报漏报、缺乏漏洞特征的形式化描述以及漏洞特征描述不全面的问题,提出一种基于抽象内存模型的内存相关漏洞检测方法。对抽象内存模型进行相关定义;基于抽象内存模型,对内存泄露、重复释放内存和读写释放后的内存这三种与内存相关的漏洞类型的特征进行形式化符号表示;基于代码的控制流图,利用可行路径求解算法得到代码的所有可行路径,并对所有可行路径上的抽象内存进行运行时状态判定,从而检测代码是否存在内存相关的漏洞;使用Juliet Test Suite中的CWE401、CWE415、CWE416三个内存相关漏洞的测试数据集对提出的检测方法进行验证,实验结果表明,相比依赖指针数据流的检测方法,该方法在内存相关漏洞检测的误报率和漏报率均降低。

摘要： 针对TDCS/CTC网络和微机监测网络中思科2901系列路由器内存不足告警问题进行实验、分析,找到故障发生的根本原因,采取针对性措施从根本上杜绝相同问题在同系列路由器上再次发生,确保网络安全稳定运行。

摘要： 因为部分开发人员对Android内存管理机制理解模糊,所以Android应用程序的内存泄漏问题较为常见.为了解决内存泄漏的检测问题,首先分析了Android系统的内存管理机制,通过代码分析找出了Android应用内存泄漏的原因,并根据内存泄漏与组件、资源访问的相关性进行分类.在此基础上,提出了一种Android应用内存泄漏检测模型.该模型使用静态分析方法在反编译Android应用程序源码的基础上监测所有可能的内存泄漏代码,针对不同的代码缺陷类型使用不同的算法进行监测.通过实验分析,模型的检测正确率达到96.3％,优于自动化分析工具Lint,能够有效检测Android应用中的内存泄漏.

摘要： 为了获得最佳性能,C/C++语言把操纵内存的权限以指针的方式暴露给开发人员。但是C/C++语言编译器GCC和Clang都不提供内存安全检测,导致开发人员使用C/C++语言编写的项目可能存在内存泄漏的风险。文章介绍了改进指针算法和shared_ptr源码,分析了它们检测内存泄漏的方式,最后指出该类算法的缺陷,提出改进思路,并建议用户避免写出该类算法无法检测的代码结构。

摘要： 内存泄漏是云应用、Web服务、中间件等各类连续工作型软件中的一种常见缺陷,它会导致程序运行速度减慢、资源耗尽崩溃等软件稳定性问题.现有测试一般以较长周期运行测试用例来检测泄漏缺陷,用于检测泄漏的测试用例通常需要运行数小时以上才能产生足以暴露泄漏的内存表现.整个测试过程代价高昂,若对测试用例不加筛选,可能会耗费大量的时间在暴露泄漏可能性低的测试用例上,降低了泄漏发现的效率.为了弥补现有技术的不足,并解决Java Web程序长时间运行的内存泄漏缺陷不易发现、不易诊断及不易修复的难题,文中对内存泄漏的发现技术进行了研究,提出了基于机器学习的内存泄漏测试脚本预测方法,通过构建内存特征模型,对存在内存泄漏的脚本进行训练及预测,基于训练的模型进行脚本内存泄漏风险值预测,并给出相应的参数打分,以指导后续的脚本重组,从而预测获取更可能造成内存泄漏的功能测试脚本.同时,提出了脚本重组优化方法,改善其缺陷揭示能力.对预测和重组后的脚本进行优先测试,可以加速泄漏缺陷的发现.最后通过案例验证表明了所提框架具有较强的泄漏发现能力,重组优化后的测试脚本在发现缺陷的速度方面比普通脚本高出一倍以上,从而缩短了内存膨胀问题的暴露时间,达到了提高测试效率以及保障软件质量的目的.

摘要： 内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷,内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大,且高度依赖测试用例;静态分析目前被学术界和工业界广泛应用,但是存在大量误报,需要人工对检测结果进行确认.内存泄漏静态分析的误报通常是由于对指针、分支语句和全局变量分析的不准确性导致的.提出了一种内存泄漏的智能化检测方法,通过使用机器学习算法学习程序特征与内存泄漏之间的相关性,构建机器学习分类器,并应用机器学习分类器进一步提高内存泄漏静态分析的准确性.首先构建机器学习分类器,然后通过静态分析方法构建从内存分配点开始的Sparse Value Flow Graph(SVFG),并从中提取内存泄漏相关特征,再使用规则和机器学习分类器进行内存泄漏的检测.实验结果显示,该方法在分析指针、分支语句和全局变量时是有效的,能够提高内存泄漏检测的准确性,降低内存泄漏检测结果的误报.最后,对未来研究的可行性以及面临的挑战进行了展望.

摘要： 本文针对内存泄漏提出了路径敏感的过程间静态测试方法,旨在减少函数调用中条件分配或释放内存引起的误报.本文首先分析了一个产生该类误报的例子；然后定义了路径敏感函数特征(PSF)的四元组模型,并定义且描述了辅助生成路径信息的过程间定义使用向量；在模型和向量定义的基础上,利用控制流图和抽象语法树,给出了PSF的生成算法,并讨论了其在函数间的传递及在缺陷检测中的应用.最后本文通过实例应用说明了此方法的分析过程.

摘要： 本文对Java的内存泄漏问题产生的原因及现象加以阐述和说明,然后详细讨论了Java中管理内存的关键技术和相关标准,以及最后在此基础上对调试一个大型软件系统内存泄漏问题的过程作了具体的分析.

摘要： 应用内存泄漏是UNIX系统中比较常见的一种现象，如何定位并确定内存泄漏的应用是—个相对复杂的过程。本文将结合AIX操作系统的内存和Paging space的管理机制，探讨内存泄漏的产生.简单分析如何在机群系统环境下在系统级层面判断内存泄漏的进程并定位存在内存泄漏的应用程序以及产生内存泄漏的节点。

摘要： 本文通过与C++中的内存泄漏问题进行对比,说明Java内存泄漏的基本原理是GC机制无法解决实际上无用却而还被引用的对象的回收.对目前市面上的Java内存泄漏工具做了概括的分析,并使用Borland Optimizeit工具来示例说明测试内存泄漏和分析内存泄漏的方法.

摘要： 内存泄漏故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态测试方法主要存在漏报和误报过多的情况.针对这些问题,分析了指针状态及其转换函数,给出了内存泄漏故障的形式化描述,并以此为基础,提出了一种静态测试方法.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.测试结果表明,该方法能够有效检测内存泄漏故障,而且误报率也较低.

摘要： JNI技术支持Java与本地C/C++的相互调用,在Android等混合语言实现的系统中有着广泛应用,但语言之间的安全特性差异,使其成为安全薄弱环节,现有的分析方法难以处理多语言相互调用产生的安全缺陷。本文以JNI调用中易产生的内存泄漏为例,开展Java/C++ JNI跨语言分析的研究。采用扩展的Java Bytecode(Bytecode*)指令作为C++语义的解释,来消除跨语言分析的障碍。围绕JNI调用中内存泄漏的问题,本文做了以下三方面工作:1)定义兼容Java和C++语言的分块内存模型;2)基于LLVM/LLJVM,设计实现了C++到Bytecode*的翻译策略;3)建立方法调用图,提取方法摘要,利用过程间分析方法检测JNI调用中的内存泄露。针对具有典型内存泄露特征的JNI实例翻译检测表明,本文工作能够准确检测出Java/C++混合语言中的内存泄露,对于JNI混合语言编程的理解和漏洞分析具有重要价值。

摘要： 针对变电站系统的软件稳定性和安全性,引入了内存检测技术的概念,介绍了内存泄漏的发生原因和发生方式。然后详细提出了几种内存检测测试方法和测试要求。最后介绍了一种测试技术设计方案,并在实际工程中得到了应用,保证了变电站系统软件运行的稳定性和安全性。

摘要： 两个指向同一内存空间的指针变量之间具有别名关系。应用程序中内存泄漏、指针变量解引用等错误的检测需要别名分析的支持。指针变量的指向关系分析可以准确地确定变量间的别名关系。流敏感的指针指向分析充分考虑了程序的控制结构、程序的执行路径对应用程序中的别名关系的影响。文中提出的扩展的指针指向关系表示方法记录了指针变量所指向的内存空间的及其特性，有效的支持了动态内存管理错误的检测。

摘要： 针对嵌入式软件内存泄漏的危害及实际工程需求，提出了一些基于Vxworks的简单实用的内存泄漏检测方法，使用该方法可以有效地检测并定位出堆内存泄漏发生情况，最后给出了如何在嵌入式软件设计时避免内存泄漏的建议。

摘要： IBM小型机已经广泛应用于国内各个行业中的关键业务系统中，其开放的AIX系统已经成为业内的标准操作系统平台。由于技术上的复杂性，如何使用和管理好AIX系统目前还是一个为广大系统管理员所关注的问题。本文从使用角度，结合作者的工作经验，对AIX系统的内存参数优化给出了初步的介绍和说明，并结合实际工作给出使用AIX系统内存参数解决具体问题的例子。

摘要： 本发明公开了一种嵌入式系统中自动监测内存泄漏与内存越界的方法，包括以下步骤：(a)进入应用程序模块时，对该模块设置身份标识、内存使用情况标识，同时建立若干个空的内存地址索引项，每一个内存地址索引项指向一个内存索引地址；(b)应用程序模块利用空闲的内存地址索引项申请空闲内存块，记录该应用程序模块所使用内存块的索引地址及其大小；(c)应用程序模块结束操作，如果申请的内存索引地址处的内存块大小与申请的内存块大小不相同，则发出内存越界错误报警；(d)应用程序模块退出时，如果存在非空内存索引项，发出内存泄漏错误报警。本发明使得嵌入式系统中不恰当的内存操作能够及时发现，有利于内存的高效使用。

摘要： 本发明公开了一种嵌入式系统中自动监测内存泄漏与内存越界的系统，包括：内存申请单元、内存释放单元、模块状态感知单元、管理配置单元以及泄漏内存释放单元，其中：所述的模块状态感知单元与所述的内存申请单元、内存释放单元以及泄漏内存释放单元连接，触发上述单元对内存进行操作；所述的管理配置单元与所述的内存申请单元、内存释放单元以及泄漏内存释放单元连接；所述的报警单元与所述的内存释放单元和泄漏内存释放单元连接。本发明提出的系统使得嵌入式系统中不恰当的内存操作能够及时发现，有利于嵌入式系统中有限内存的效率使用。

摘要： 本发明提供了一种针对Shadow Memory内存泄漏检测机制的内存压缩方法，属于计算机应用领域。本发明方法针对对象尺寸较小带来的内存开销较大的问题，使用了对象信息模糊表示的机制——对象融合，来进行Shadow Memory内存压缩，对最小尺寸为k字节的对象，若相邻两个对象的指针相差不超过2k字节，则两对象共用一个对象标识单元；同时为了消除由此带来的对象漏报，提供了两种方案：输出补充信息，随机覆盖并结合多次运行泄漏检测的输出结果来解决对象漏报。本发明方法在泄漏检测的准确性和内存负载之间做出适当的权衡，使得泄漏检测模块的内存消耗降低一半，也减少了对泄漏对象排查的工作量，加快了泄漏检测效率。

摘要： 本发明公布了一种针对DRAM/NVM混合内存的无内存泄漏编程方法，对现有编程语言进行扩展，设计新的原语、句法、类型以及求值方法等，本发明的编程方法使用该扩展后的编程语言设计来编写程序，只要不抛出错误，即能够避免DRAM和NVM中的内存泄漏。

摘要： 本发明实施例提供了一种内存泄漏检测方法及内存管理模块，方法包括：在内存中增加数字序号标识，所述数字序号标识用于将上层内存与下层内存进行关联；基于所述数字序号标识，获取内存管理模块中当前内存关联的下层内存数量；若所述内存管理模块中当前内存关联的下层内存数量不等于业务数据模块的统计数目，则确认所述当前内存关联的下层内存发生了内存泄漏。本发明实施例提供的一种内存泄漏检测方法及内存管理模块，通过在内存中增加数字序号标识，利用该序号标识来确定内存之间的上下层关联。从而和业务程序里的数据间关联关系形成校验，准确检测出是否存在内存泄漏情况出现。

摘要： 本发明公开了一种嵌入式系统中自动监测内存泄漏与内存越界的系统，包括：内存申请单元、内存释放单元、模块状态感知单元、管理配置单元以及泄漏内存释放单元，其中：所述的模块状态感知单元与所述的内存申请单元、内存释放单元以及泄漏内存释放单元连接，触发上述单元对内存进行操作；所述的管理配置单元与所述的内存申请单元、内存释放单元以及泄漏内存释放单元连接；所述的报警单元与所述的内存释放单元和泄漏内存释放单元连接。本发明提出的系统使得嵌入式系统中不恰当的内存操作能够及时发现，有利于嵌入式系统中有限内存的效率使用。

摘要： 本发明公开了一种嵌入式系统中自动监测内存泄漏与内存越界的方法，包括以下步骤：(a)进入应用程序模块时，对该模块设置身份标识、内存使用情况标识，同时建立若干个空的内存地址索引项，每一个内存地址索引项指向一个内存索引地址；(b)应用程序模块利用空闲的内存地址索引项申请空闲内存块，记录该应用程序模块所使用内存块的索引地址及其大小；(c)应用程序模块结束操作，如果申请的内存索引地址处的内存块大小与申请的内存块大小不相同，则发出内存越界错误报警；(d)应用程序模块退出时，如果存在非空内存索引项，发出内存泄漏错误报警。本发明使得嵌入式系统中不恰当的内存操作能够及时发现，有利于内存的高效使用。

摘要： 本发明涉及内存泄漏检测技术领域，具体地说，涉及一种基于进程中内存泄漏的检测方法。其包括配备远程注入工具，将已封装好的检测dll动态库文件远程注入到目标进程中、远程注入成功后，自启动检测线程，并实时动态检测目标进程的内存占用大小，精确分析计算内存是否存在泄漏风险，最终定位出内存泄漏的关键地址代码块以及制定日志文件，对检测结果进行实时记录等步骤。本发明通过将检测dll动态库文件远程注入到目标检测进程中，不管当前目标进程是否处于生产环境还是开发环境，循环检测线程会根据设定的循环检测次数灵活地减少CPU占用资源，更高效地定位出内存泄漏具体的地址代码块，方便程序员通过实时导出的日志文件及时地查看问题所在。

摘要： 本发明公开了一种应用的内存泄漏的统计方法、计算设备及可读存储介质。本发明的应用的内存泄漏的统计方法在计算设备中执行，该应用包括专用于该应用的自研库和在多个应用中使用的第三方库，该方法包括：获取应用的内存泄漏检测数据，内存泄漏检测数据包括至少一个含有第一标识的数据段，且数据段中至少包括一帧堆栈轨迹；针对每个数据段，检测其各堆栈轨迹中是否存在满足预设条件的堆栈轨迹；若存在，则确定应用存在一条与该数据段相对应的自研库内存泄漏；统计存在满足预设条件的堆栈轨迹的数据段的数量，并将其作为应用中自研库的内存泄漏条数。本发明的应用的内存泄漏的统计方法可以精确统计出自研库内存泄漏的情况。

摘要： 本发明实施例提供了一种内存泄漏异常的处理方法、装置和终端设备。本发明实施例提供的技术方案中，检测应用是否发生内存泄漏，若检测出应用发生内存泄漏，生成内存泄漏异常的处理方式，根据所述内存泄漏异常的处理方式，对内存泄漏异常进行异常处理，有利于研发人员快速对内存泄漏异常进行处理，提高了内存泄漏异常问题的处理效率。