内存泄露

摘要： 智能电网中的安全系统除了要实现普通应用系统的功能外,还要保证它所管理资源的安全性,包括保密性、完整性和可用性等.相较于其他编程语言,C++更接近操作系统底层,可以实现一些对性能有较高要求的底层算法,同时正是由于C++能够直接控制系统资源的分配和使用,这就为内存泄露埋下了隐患.提出一种基于电网操作系统中数据流分析进行内存泄露检测的方法,主要研究目标是提取目标代码或源程序的数据流,并利用数据流对其分析,实现内存泄露的检测.经过实验表明,提出的方法能够对由C++指针使用不当造成的内存泄露进行有效的检测,在自动化测试、程序静态检测等方面具有实际意义.

摘要： 本文首先研究JAVA虚拟机的内涵,然后叙述JAVA对内存管理的方式和机制,最后分析如何进行内存泄露的控制.通过研究帮助程序设计人员合理使用各种工具,避免出现内存泄露,保证程序的稳定运行.

摘要： 长期以来,保护应用程序关键数据(如加密密钥、用户隐私信息等)的安全一直是个重要问题,操作系统本身巨大的可信计算基使其不可避免的具有许多漏洞,而这些漏洞则会被攻击者利用进而威胁到应用程序的关键数据安全.虚拟化技术的出现为解决此类问题提供了一定程度的帮助,虚拟化场景下虚拟机监控器实际管理物理内存,可以通过拦截虚拟机的关键操作为应用程序提供保护,而硬件内存加密机制则能够解决应用程序在运行时内存中明文数据被泄露的问题.本文基于虚拟化技术和AMD的硬件内存加密机制,提出了一套高效的关键数据保护方案,并通过应用解耦和技术将关键数据与代码与其余的正常数据与代码分离并置于隔离的安全环境中运行从而达到保护关键数据的目的.测试显示,软件带来的系统性能开销小于1％,关键部分的性能开销小于6％,常见应用的延迟在接受范围内.系统能够成功保护应用程序如私钥等关键数据免受恶意操作系统的读取与Bus Snooping、Cold Boot等物理攻击.

摘要： 长期以来,保护应用程序关键数据（如加密密钥、用户隐私信息等）的安全一直是个重要问题,操作系统本身巨大的可信计算基使其不可避免的具有许多漏洞,而这些漏洞则会被攻击者利用进而威胁到应用程序的关键数据安全。虚拟化技术的出现为解决此类问题提供了一定程度的帮助,虚拟化场景下虚拟机监控器实际管理物理内存,可以通过拦截虚拟机的关键操作为应用程序提供保护,而硬件内存加密机制则能够解决应用程序在运行时内存中明文数据被泄露的问题。本文基于虚拟化技术和AMD的硬件内存加密机制,提出了一套高效的关键数据保护方案,并通过应用解耦和技术将关键数据与代码与其余的正常数据与代码分离并置于隔离的安全环境中运行从而达到保护关键数据的目的。测试显示,软件带来的系统性能开销小于1%,关键部分的性能开销小于6%,常见应用的延迟在接受范围内。系统能够成功保护应用程序如私钥等关键数据免受恶意操作系统的读取与Bus Snooping、Cold Boot等物理攻击。

摘要： 针对嵌入式软件内存管理具有快速性、可靠性和高效性的特点,建立了动态内存管理模型,分析了嵌入式系统内存池管理策略和内存分配算法,详细阐述了内存泄露检查和内存重复释放检查的具体算法,并对嵌入式软件的内存操作提出了建议.

摘要： 为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题.证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性.

摘要： 针对嵌入式软件内存管理具有快速性、可靠性和高效性的特点,建立了动态内存管理模型,分析了嵌入式系统内存池管理策略和内存分配算法,详细阐述了内存泄露检查和内存重复释放检查的具体算法,并对嵌入式软件的内存操作提出了建议。

摘要： JavaScript是为了适应动态网页制作的需要而诞生的一种编程语言,闭包是JavaScript最强大的特性之一.所谓“闭包”,指的是一个拥有许多变量和绑定了这些变量的环境的表达式(通常是一个函数),因而这些变量也是该表达式的一部分.闭包可以用在许多地方,诸如:为函数引用设置延时,通过对象实例方法关联函数,包装相关的功能等等.

摘要： The dynamic memory management mechanism in C /C ++programming language is free and flexible,but when used by developer it is easy to introduce memory leaks which lead to performance degradation and even failure of system.In order to detect memory leak more effectively,this paper proposed a memory leak detection method based on bounded model checking for C program called MLD-CBMC.It took C /C ++program files as input,unwound the program and inserted memory leak proper-ties,encoded the program constraints and properties into verification conditions using satisfiability modulo theory,then passed the verification conditions to a SMT solver.Thus it converted detecting memory leaks to solving satisfiability problems.By ex-periment and cooperation with other bounded model checking tools,MLD-CBMC shows its feasibility and effectiveness.%C ／C ＋＋语言中的动态内存管理机制自由且灵活，但动态内存的使用容易引入内存泄露，导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露，提出了一个基于有界模型检测技术的 C ／C ＋＋程序内存泄露检测方案 MLD-CBMC。该方案以 C ／C ＋＋程序文件为输入，利用有界模型检测技术对程序进行展开处理，加入内存泄露性质，并利用可满足性模理论（SMT）对程序约束和性质组成的验证条件编码，使用 SMT 求解器对验证条件求解，将检测内存泄露问题转换为求解可满足性问题，实现 C ／C ＋＋程序内存泄露的检测。通过实验验证了方案的有效性，并与其他有界模型检测工具进行对比实验，实验证明方案对内存泄露的检测能力更强。

摘要： 对于大型服务器应用程序,内存泄露问题为高隐蔽性错误,在某些环境下甚至会导致系统崩溃,且故障难以查明..net构建于公共语言运行时CLR的基础上,具有垃圾回收机制,其内存泄露问题容易被开发人员忽视,从而造成服务器程序的大量内存泄露.本文详细分析了.net中出现内存泄露的表现形式及可能途径,对内存泄露的具体检测方法进行了介绍,重点以案例的形式描述了出现内存泄露问题时的处理方法.最后,针对不同的应用,提出了服务器程序性能优化方法,从不同角度提高了程序的效率与可靠性.

摘要： 内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法：静态方法一般采取分析,验证手段对源程序进行处理,不需要执行程序；动态方法则是让程序运行,监视程序的运行,获取程序的行为,从而分析是否有内存泄露问题。本文针对内存泄露问题,提出了一种动态检测内存泄露的方法,这种方法在向程序员提供更加有效的诊断信息方面做了一些研究工作。在以往的很多动态内存泄露的检测工具中,更多地关注了在程序的什么地方申请的内存发生了泄露,而对于这个泄露为何会产生所做的工作很少。在我们的这个工作中,对源程序进行了插桩。通过动态插桩的方式,收集程序的运行轨迹,将发生内存泄露时的内存轨迹呈现于程序员。并将该运行轨迹与在同一个地方申请了内存,却没有发生内存泄露的轨迹进行比对,指出可能是哪一个条件判断导致了内存泄露的发生。

摘要： 内存泄露是一种常见的系统安全问题,内存泄露会导致很多的垃圾内存无法得到及时回收,用户内存被严重吞噬,系统响应变慢,严重影响了用户的使用,内核的内存泄露情况就更加严重,很可能导致系统瘫痪.动态内存泄露检查虽然能够检测到代码内存泄露,但是很多代码无法执行,也无法预知存在什么样的问题,无法量化哪些代码被执行,哪些代码没有覆盖.本文提出一种高代码覆盖率动态检测Linux内核内存泄露的方法,将Kmemcheck与Ltp以及Gcov相结合,既可以提高动态检测代码覆盖率又能够监测覆盖范围,利用Ltp激发代码执行提高代码覆盖率,开启Kmemcheck检测出内存泄露的代码,同时开启Gcov记录代码执行,用Web直方图呈现出代码覆盖率.

摘要： 为了分析应用服务器软件老化的原因,提供细粒度软件再生依据,本文提出了一种基于应用服务器的系统参数监控模型,对应用服务器内存、CPU使用率等系统资源进行实时监控,通过分析Java虚拟机内存管理和内存泄露问题,对CPU使用率、内存使用量以及内存堆中所有对象的创建、使用和释放等动作进行了监控,实现了一种提取过程属性可"热"配置的实时的细粒度参数提取机制。最后采用JUFrame应用服务器中间件平台,进行了系统测试得到了服务器的运行时各项参数,并着重分析了内存使用量和CPU使用率的情况,通过测试结果表明,JUFrame应用服务器在长期运行过程中存在老化现象。

摘要： 作为Internet最流行的编程语言之一，Java现正非常流行。一般的网络应用程序就主要采用Java语言开发，大体上分为客户端、服务器和数据库三个层次。在进入测试过程中，发现有一个程序模块系统内存和CPU资源消耗急剧增加，持续增长到出现java.lang.OutOfMemoryError为止。经过分析Java内存泄漏是破坏系统的主要因素。本文分析了Java内存泄露产生的原因与过程，归纳了典型的内存泄露情况，进而得出内存泄漏的检测和处理方法，列出了详细的解决方案。

摘要： 一种防止内存泄露和内存多次释放的内核模块内存管理方法，其实施步骤如下：1)建立记录数组；2)当内核模块请求系统分配内存时，向记录数组中添加与分配内存相关联的内存分配记录；3)当内核模块请求系统释放内存时，在记录数组中查找与待释放内存相关联的内存分配记录，如果存在关联的内存分配记录则执行内存释放、并删除该内存分配记录；如果不存在关联的内存分配记录则发出“多次释放”的告警；4)当内核模块退出时，扫描记录数组，如果记录数组中仍留有内存分配记录，则根据内存分配记录将其关联的内存进行逐一释放，并最终清除记录数组。本发明可防止内核模块发生内存泄露和多次内存释放，具有内存定位能力好、操作系统忙闲程度低、占用资源少、内存足迹小、适应性好的优点。

摘要： 本申请提供一种内存泄露监控方法、内存泄露检测方法及相应装置，该方法包括：在待检测程序通过预加载机制调用内存监控动态库时，拦截获取待检测程序的内存操作信息，内存监控动态库中的内存分配函数和内存释放函数是被重写过的；向服务器发送待检测程序的内存操作信息。在上述的实现过程中，通过在待检测程序通过预加载机制调用内存监控动态库时，拦截获取待检测程序的内存操作信息，并向服务器发送待检测程序的内存操作信息，从而避免了在终端设备上执行多余的存储、查询、检索和符号解析等复杂处理操作，从而在实现内存泄露监测和检测的同时，极大地降低了对待检测程序本身执行的影响。

摘要： 本发明提出了一种检查后台程序内存泄露并定位泄露内存点的系统，包括判断是否达到触发抓取使用中的内存记录的条件的判断单元、进行内存表抓取的提取单元、将对比的记录日志进行排序的处理单元以及对内存日志进行对比的对比单元，判断单元、提取单元、处理单元以及对比单元依次连接。本发明检查后台程序内存泄露并定位泄露内存点的方法，就可以快速准确的找到嵌入式设备中后台服务程序的内存泄露的泄露内存节点，进而可以快速的修正而避免产生内存泄露的问题。

摘要： 一种防止内存泄露和内存多次释放的内核模块内存管理方法，其实施步骤如下：1)建立记录数组；2)当内核模块请求系统分配内存时，向记录数组中添加与分配内存相关联的内存分配记录；3)当内核模块请求系统释放内存时，在记录数组中查找与待释放内存相关联的内存分配记录，如果存在关联的内存分配记录则执行内存释放、并删除该内存分配记录；如果不存在关联的内存分配记录则发出“多次释放”的告警；4)当内核模块退出时，扫描记录数组，如果记录数组中仍留有内存分配记录，则根据内存分配记录将其关联的内存进行逐一释放，并最终清除记录数组。本发明可防止内核模块发生内存泄露和多次内存释放，具有内存定位能力好、操作系统忙闲程度低、占用资源少、内存足迹小、适应性好的优点。

摘要： 一种通过内存快照检测手机应用内存泄露的方法，用于安卓智能手机中基于Unity引擎开发的程序，包括以下步骤：启动被检测手机应用，并监视所述手机应用进程；执行第一操作步骤，触发Unity引擎的Mono平台内存使用变化，并保存第一内存快照记录；执行第二操作步骤，触发Unity引擎的Mono平台内存使用变化，并保存第二内存快照记录；通过对比所述第一内存快照记录和所述第二内存快照记录，实时将所述第二内存快照记录新增对象的信息导出到外部文件。本发明的有益效果为：手机应用开发人员能够实时，将可能发生泄漏的对象二进制数据导出为可疑泄漏对象表的外部文件中，从而快速定位手机应用内存泄漏问题的效果。

摘要： 本申请涉及一种内存泄露检测方法、装置、计算机设备、存储介质和计算机程序产品。方法包括：获取与内存操作对应的待检测代码；生成与待检测代码对应的控制流图，并根据控制流图确定出节点路径；依据代码指令与哈希表操作的对应关系，依次对节点路径中的各节点的代码指令执行对应的哈希表操作，并更新哈希表状态；根据执行完成的节点路径对应的哈希表状态，确定待检测代码中是否存在内存泄露。采用本方法能够在不运行待检测代码的情况下，检测出待检测代码是否存在内存泄露，因此能够节省运行成本。

摘要： 本公开实施例提供了一种内存泄露的确定方法、装置、电子设备及介质。该方法包括：获取客户端发送的与应用程序的指定业务场景相关的内存数据集合，内存数据集合中包括各内存对象对应的内存数据；基于内存数据集合确定目标内存对象对应的内存数据；若目标内存对象对应的内存数据满足指定业务场景对应的内存泄露判断条件，则确定指定业务场景存在内存泄露。本公开实施例实现了及时发现应用程序的内存泄露。

摘要： 本公开实施例涉及一种内存泄露检测方法、装置、设备及介质，其中该方法包括：在目标页面退出时，获取目标页面的对象信息，目标页面包括多个对象；根据对象信息确定不同对象之间的强引用关系；根据不同对象之间的强引用关系确定候选泄露对象；根据候选泄露对象的循环引用关系确定目标泄露对象。采用上述技术方案，通过确定页面的不同对象之间的强引用关系可以确定候选泄露对象，进而可以根据该候选泄露对象的循环引用关系确定泄露对象，相较于相关技术中受限于工具的检测对象，扩展了内存泄露的检测范围，提升了内存泄露检测的准确性。

摘要： 本发明实施例提供了内存泄露检测方法、装置、电子设备及存储介质，监控目标进程运行过程中调用的原生内存分配函数；在所述原生内存分配函数分配待分配内存的过程中，获取所述待分配内存对应的内存栈信息，其中，所述内存栈信息包括内存分配的调用栈地址列表；根据所述内存栈信息，分配数据内存区域及第一预设长度的预留内存区域，其中，所述数据内存区域为所述待分配内存对应的内存区域，所述第一预设长度的预留内存区域为用于存储所述内存栈信息预留的内存区域；将所述内存栈信息存储在所述预留内存区域中；在检测到泄露地址时，在所述泄露地址对应的预留内存区域中读取内存栈信息。可以有效的提高内存泄露检测分析的效率。

摘要： 本申请公开了一种内存泄露检测方法、电子设备和计算机可读存储介质，该方法包括：检测库基于内存申请指令从内存管理库中获得相应的内存并返回内存对应的内存地址至应用模块，记录内存地址与应用模块对应的调用栈之间的映射关系以获得记录数据；基于内存释放指令获取应用模块指定的内存地址，基于内存地址确定应用模块释放的内存，将已释放的内存对应的内存地址与应用模块对应的调用栈之间的映射关系从当前的记录数据中删除；响应于经过预设周期，基于当前时刻的记录数据生成当前记录文件，以使统计单元获得当前记录文件并基于当前记录文件和当前记录文件之前的历史记录文件，确定内存泄露的位置。上述方案，能够提高检测内存泄露的适配性和效率。