期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到75篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
利用虚拟化平台进行内存泄露探测 被引量：15
1
作者 汪小林 王振林 +3 位作者 孙逸峰 刘毅 张彬彬 罗英伟 《计算机学报》 EI CSCD 北大核心 2010年第3期463-472,共10页
文中利用虚拟机管理器,透明地记录应用程序对资源的申请、释放以及使用情况,提供了探测内存泄露的辅助信息.此机制首先不需要修改或重新编译源程序;其次,带来的性能损失很小.两者结合可以构建在线内存泄露探测和汇报机制.不仅如此,基于... 文中利用虚拟机管理器,透明地记录应用程序对资源的申请、释放以及使用情况,提供了探测内存泄露的辅助信息.此机制首先不需要修改或重新编译源程序;其次,带来的性能损失很小.两者结合可以构建在线内存泄露探测和汇报机制.不仅如此,基于虚拟机环境的内存泄露探测还具备通用性,且不需要特殊的硬件支持.所有这些特性,是已有的解决方案所不能兼有的.实验结果表明:基于虚拟机环境的内存泄露探测机制具有实用性,性能损失也被控制在10%以内,能够运用在实际的生产环境中. 展开更多
关键词 内存泄露探测 虚拟机 虚拟化平台 虚拟机管理器
在线阅读 下载PDF
嵌入式软件内存泄露检测方法研究 被引量：9
2
作者 张鹏 杨秋辉 李海怒 《计算机工程与应用》 CSCD 2013年第14期56-59,65,共5页
动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的... 动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的后果,因此需要在开发调试阶段尽早检测出造成内存泄露的代码。提出了一种基于动态检测技术和程序插装技术的嵌入式软件内存泄露分布式检测方法。该方法的实现思想是当程序在目标机运行时,插装代码自动截获内存操作函数,收集内存操作相关信息并把收集到的信息发送到服务器端处理,实现了嵌入式系统内存泄露的准确检测。实验结果证明,由于采用分布式技术进行信息处理,内存泄露检测效率得到了很大的提升。 展开更多
关键词 嵌入式软件 内存泄露检测 动态插装 动态检测 分布式检测
在线阅读 下载PDF
基于有界模型检测的C/C++程序内存泄露检测 被引量：2
3
作者 黄蔚 洪玫 +5 位作者 杨秋辉 郭鑫宇 代声馨 徐保平 高婉玲 赵鹤 《计算机应用研究》 CSCD 北大核心 2016年第6期1762-1766,共5页
C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文... C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文件为输入,利用有界模型检测技术对程序进行展开处理,加入内存泄露性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄露问题转换为求解可满足性问题,实现C/C++程序内存泄露的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄露的检测能力更强。 展开更多
关键词 C/C++程序 内存泄露 有界模型检测 可满足性模理论
在线阅读 下载PDF
基于KLEE的复杂路径中内存泄露检测研究 被引量：1
4
作者 黄琦 彭武 +1 位作者 蔡爱华 王冬海 《中国电子科学研究院学报》 北大核心 2018年第1期56-61,共6页
为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,... 为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。 展开更多
关键词 复杂路径 内存泄露 Z3求解器 KLEE
在线阅读 下载PDF
嵌入式LwIP协议栈内存泄露问题研究 被引量：1
5
作者 芮万智 许金 +1 位作者 王路 郭鹏辉 《海军工程大学学报》 CAS 北大核心 2019年第6期19-22,共4页
为研究复杂软件系统中的内存泄露问题,首先从嵌入式协议栈LwIP使用过程中的一种网络传输性能下降现象出发,基于协议栈控制块内存管理参数,确定了协议栈内存泄露是导致设备长期运行出现该现象的直接原因;然后,结合协议栈源码详细分析了... 为研究复杂软件系统中的内存泄露问题,首先从嵌入式协议栈LwIP使用过程中的一种网络传输性能下降现象出发,基于协议栈控制块内存管理参数,确定了协议栈内存泄露是导致设备长期运行出现该现象的直接原因;然后,结合协议栈源码详细分析了内存泄露的原因和机理,提供了一种解决此类问题的方法,并从编程接口的角度给出了避免出现内存泄露问题的使用原则,对LwIP协议栈的正确使用具有一定的指导意义。 展开更多
关键词 LWIP协议栈 内存泄露 中断 编程接口
在线阅读 下载PDF
一般存取结构上抗内存泄露的多级秘密共享 被引量：2
6
作者 宋云 李志慧 王文华 《软件学报》 EI CSCD 北大核心 2022年第10期3891-3902,共12页
在多级秘密共享方案中,每级存取结构里的授权集中参与者可联合重构对应的秘密.但在实际中,腐化了非授权集的攻击者可通过内存攻击获取部分或全部其余参与者的份额信息,从而非法得到部分甚至是全部的秘密信息.面对这样的内存泄漏,现有的... 在多级秘密共享方案中,每级存取结构里的授权集中参与者可联合重构对应的秘密.但在实际中,腐化了非授权集的攻击者可通过内存攻击获取部分或全部其余参与者的份额信息,从而非法得到部分甚至是全部的秘密信息.面对这样的内存泄漏,现有的多级秘密共享方案都不再安全.基于此,首先给出了抗内存泄漏的多级秘密共享对选择秘密攻击不可区分的形式化的计算安全模型.然后,利用物理不可克隆函数及模糊提取器的联合作用,基于极小线性码构造了一个适用于一般存取结构的抗内存泄露的可验证多级秘密共享方案.同时,在内存攻击者存在的情况下,证明方案在随机预言模型下是计算安全的.最后,将所提出方案与现有方案在性能和计算复杂度两方面进行了比较分析. 展开更多
关键词 多级秘密共享 极小线性码 物理不可克隆函数 抗内存泄露 可证明安全
在线阅读 下载PDF
Java中内存泄露及垃圾回收机制 被引量：3
7
作者 张学红 李小慧 杜瑞庆 《唐山师范学院学报》 2008年第2期80-82,共3页
Java语言中,内存空间中垃圾回收的工作由垃圾回收器(Garbage Collector,GC)完成,GC可以有效地减少内存泄露发生的概率,但它的启动无规律可循,因此不能完全避免内存泄露。通过分析产生内存泄露的原因,提出了Java编程中的一些注意事项,有... Java语言中,内存空间中垃圾回收的工作由垃圾回收器(Garbage Collector,GC)完成,GC可以有效地减少内存泄露发生的概率,但它的启动无规律可循,因此不能完全避免内存泄露。通过分析产生内存泄露的原因,提出了Java编程中的一些注意事项,有效地避免了内存泄露。 展开更多
关键词 JAVA 内存泄露 垃圾回收器 虚拟机
在线阅读 下载PDF
Java中内存泄露问题的研究与改进 被引量：6
8
作者 陈小玉 《微型电脑应用》 2005年第7期59-61,3,共3页
Java语言中,内存空间的回收工作由垃圾收集器(GarbageCollector,GC)完成,这种方法减少了应用程序中发生内存泄露的可能性,但GC的工作机制并不完善,仍然存在内存泄露问题。本文针对此问题进行研究分析,并指出了问题产生的原因和改进的方法。
关键词 JAVA 内存泄露 垃圾收集器(GC)
在线阅读 下载PDF
在VC环境下关于内存泄露的探讨 被引量：3
9
作者 董文革 《农业网络信息》 2006年第12期113-114,共2页
本文论述了内存泄露的概念、发生方式、检测内存泄露的方法及其在VC环境下的应用。
关键词 内存泄露 堆内存 函数 分配内存 释放内存 VC
在线阅读 下载PDF
VS.NET中内存泄露问题的研究 被引量：2
10
作者 亢红波 魏燕 《航天制造技术》 2015年第3期48-52,共5页
详细分析了.net中出现内存泄露的表现形式及可能途径,介绍了内存泄露的具体检测方法,以案例的形式重点描述了出现内存泄露问题时的处理方法。最后,针对不同的应用,提出了服务器程序性能优化方法,从不同角度提高了程序的效率与可靠性。
关键词 .NET 内存泄露 内存管理 溢出 CLR
在线阅读 下载PDF
一种预防XML文件过大引起JAVA内存泄露的方案
11
作者 李德有 解晨光 刘明刚 《微电子学与计算机》 CSCD 北大核心 2012年第1期152-154,共3页
JAVA内存泄露是对应用系统的稳定性有很大的影响,文件过大使程序运行要用到的内存大于虚拟机能提供的最大内存而导致内存泄露.文中提出了通过对XML文件拆分与拼装来解决由于XML文件过大而导致的内存泄露问题的方法.测试结果表明可以有... JAVA内存泄露是对应用系统的稳定性有很大的影响,文件过大使程序运行要用到的内存大于虚拟机能提供的最大内存而导致内存泄露.文中提出了通过对XML文件拆分与拼装来解决由于XML文件过大而导致的内存泄露问题的方法.测试结果表明可以有效预防内存泄露. 展开更多
关键词 内存泄露 XML 文件拼装
在线阅读 下载PDF
国标四级安全操作系统的内存泄露分析方法研究
12
作者 丁丽萍 《信息网络安全》 2011年第6期67-68,共2页
该文首先简要介绍了国家标准(GB/T20271-2006、GB/T20272-2006等)对四级操作系统进行中抵抗力分析的要求,进而针对操作系统内存泄露缺陷提出了动态系统化搜索的方法。该文论述了笔者在研发国标四级操作系统"方德方舟安全操作系统&q... 该文首先简要介绍了国家标准(GB/T20271-2006、GB/T20272-2006等)对四级操作系统进行中抵抗力分析的要求,进而针对操作系统内存泄露缺陷提出了动态系统化搜索的方法。该文论述了笔者在研发国标四级操作系统"方德方舟安全操作系统"(NFSARK)的过程中,针对系统内存泄露采用的分析方法。 展开更多
关键词 国家标准 四级安全操作系统 抵抗力分析 脆弱性 内存泄露
在线阅读 下载PDF
基于模型检测的内存泄露静态测试方法 被引量：5
13
作者 付晓毓 朱利 顾伟 《微电子学与计算机》 CSCD 北大核心 2010年第10期170-173,共4页
在C等支持动态内存分配的语言中,指针的使用带来的内存泄露是导致系统性能降低的重要问题.针对现有处理方法的不足,文中设计了一种基于模型检测技术的内存泄露静态检测方法.该方法通过建立基于指针属性的内存泄露漏洞模型,将相应约束断... 在C等支持动态内存分配的语言中,指针的使用带来的内存泄露是导致系统性能降低的重要问题.针对现有处理方法的不足,文中设计了一种基于模型检测技术的内存泄露静态检测方法.该方法通过建立基于指针属性的内存泄露漏洞模型,将相应约束断言插桩进源代码,然后利用模型检测工具验证断言的可达性来判断内存泄露.实验结果表明,该方法是有效的和精确的. 展开更多
关键词 模型检测 内存泄露 代码插桩 静态测试
在线阅读 下载PDF
一种基于虚拟机的动态内存泄露检测方法 被引量：4
14
作者 蔡志强 丁丽萍 贺也平 《计算机应用与软件》 CSCD 北大核心 2012年第9期10-13,153,共5页
内存泄露是一种常见的系统安全问题。虚拟技术是云计算的关键技术,虚拟机环境下的内存泄露不容忽视。而基于虚拟机的内存泄露检测技术尚未成熟。分析虚拟机Xen内核源码中与内存分配有关的代码,提出一种动态检测虚拟机中内存泄露的方法... 内存泄露是一种常见的系统安全问题。虚拟技术是云计算的关键技术,虚拟机环境下的内存泄露不容忽视。而基于虚拟机的内存泄露检测技术尚未成熟。分析虚拟机Xen内核源码中与内存分配有关的代码,提出一种动态检测虚拟机中内存泄露的方法。该方法记录应用程序对资源的申请、释放以及使用情况,插入监测代码,最终检测出内存泄露的代码。实验结果表明,该方法能够有效地检测Xen虚拟机中的内存泄露。 展开更多
关键词 内存泄露 安全检测 虚拟机 XEN
在线阅读 下载PDF
内存泄露静态检测模型 被引量：2
15
作者 柯平 宫云战 杨朝红 《计算机科学》 CSCD 北大核心 2009年第4期175-178,共4页
内存泄漏故障是程序中某处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃。从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存... 内存泄漏故障是程序中某处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃。从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存泄漏的误报率和漏报率。根据以上模型实现了一个自动测试工具,并已用于软件测试。 展开更多
关键词 内存泄露 区间运算 静态测试 故障模型 别名分析
在线阅读 下载PDF
高频内存分配下内存泄露检测的性能提升方法 被引量：1
16
作者 侯朋朋 武延军 谢沛东 《计算机工程》 CAS CSCD 2013年第11期295-298,302,共5页
现有主流轻量级内存泄露检测工具,如MemWatch和MemLeak等在高频内存分配下存在效率较低等性能缺陷。为此,提出一种提升内存泄露检测工具性能的方法。运用该方法对开源工具MemLeak进行修改,将修改后的工具用于大数据存储系统Redis的内存... 现有主流轻量级内存泄露检测工具,如MemWatch和MemLeak等在高频内存分配下存在效率较低等性能缺陷。为此,提出一种提升内存泄露检测工具性能的方法。运用该方法对开源工具MemLeak进行修改,将修改后的工具用于大数据存储系统Redis的内存泄漏检测。基于开源软件Redis的实用性测试结果表明,该方法具有较好的可用性与实用性。 展开更多
关键词 内存泄露 高频 内存分配 哈希表 红黑树
在线阅读 下载PDF
基于iRAM的抗物理内存泄露攻击密码算法轻量化实现 被引量：1
17
作者 李彦初 荆继武 +2 位作者 雷灵光 王跃武 王平建 《北京大学学报（自然科学版）》 EI CAS CSCD 北大核心 2022年第6期1023-1034,共12页
提出一种基于iRAM的轻量安全密码算法实现方案,可以在不影响系统中需要iRAM辅助的正常功能情况下,实现多个密码算法的并发执行。该方案将密码算法实现中的敏感数据限制在单个可加载段中,同时分离该段中的非敏感数据,并通过修改可信应用... 提出一种基于iRAM的轻量安全密码算法实现方案,可以在不影响系统中需要iRAM辅助的正常功能情况下,实现多个密码算法的并发执行。该方案将密码算法实现中的敏感数据限制在单个可加载段中,同时分离该段中的非敏感数据,并通过修改可信应用的加载方式、仅将包含敏感数据的段分配到iRAM空间等方法,尽量减少密码运算对iRAM的占用。在真实设备上实现国内外具有代表性的一系列密码算法,实验结果表明,所有算法的性能开销均小于4.3%,iRAM使用量皆少于4.5 KB,比现有方案节省78%以上,能够支持方案在所有主流平台上部署。 展开更多
关键词 密码算法 TRUSTZONE IRAM 物理内存泄露攻击
在线阅读 下载PDF
自动化测试在测试内存泄露中的应用 被引量：1
18
作者 吕达 张东来 +1 位作者 王冠 董四海 《控制工程》 CSCD 2005年第S1期143-144,168,共3页
分析了内存泄露的发生原因和特点,研究了传统测试方法在测试内存泄露方面的缺陷,提出了自动化测试方法在测试内存泄露中的应用。用自动化测试技术代替繁重的手工测试,具有可重复性、一致性、可重用性的特点,可进行更多更频繁的测试。它... 分析了内存泄露的发生原因和特点,研究了传统测试方法在测试内存泄露方面的缺陷,提出了自动化测试方法在测试内存泄露中的应用。用自动化测试技术代替繁重的手工测试,具有可重复性、一致性、可重用性的特点,可进行更多更频繁的测试。它可以解决一般工具无法检测的问题。给出了两个实例,形象地说明了自动化测试技术在软件测试中的优势。该方法对于结构复杂的大型应用软件具有非常好的测试效果。 展开更多
关键词 内存泄露 自动化测试 用例设计 结果分析
在线阅读 下载PDF
Java内存泄露分析和处理
19
作者 郭朗 《科技信息》 2009年第13期65-65,93,共2页
Java语言的一个显著特点是它通过Java虚拟机和垃圾回收机制管理着大部分的内存事务,但是在java程序中还是可能存在内存泄漏问题。避免内存泄漏的关键,就是要了解它发生的原因。本文首先分析导致Java内存泄漏的原因,然后介绍如何检测内... Java语言的一个显著特点是它通过Java虚拟机和垃圾回收机制管理着大部分的内存事务,但是在java程序中还是可能存在内存泄漏问题。避免内存泄漏的关键,就是要了解它发生的原因。本文首先分析导致Java内存泄漏的原因,然后介绍如何检测内存泄漏和内存泄露的对象分析,最后讲述了内存泄露的处理。 展开更多
关键词 JAVA 内存泄露 虚拟机
在线阅读 下载PDF
Windows Mobile的智能终端上内存泄露检测研究 被引量：1
20
作者 李伟 柳长安 +1 位作者 芦东昕 徐立峰 《计算机技术与发展》 2006年第11期109-111,共3页
Windows Mobile 5.0是微软为智能移动终端推出的软件平台,特别在智能手机领域受到越来越广泛的应用;在基于Windows Mobile的产品设计中,内存泄露又是需要考虑的关键之一。文中解析了Windows Mobile平台上监测设备内存泄露的工具AppVerif... Windows Mobile 5.0是微软为智能移动终端推出的软件平台,特别在智能手机领域受到越来越广泛的应用;在基于Windows Mobile的产品设计中,内存泄露又是需要考虑的关键之一。文中解析了Windows Mobile平台上监测设备内存泄露的工具AppVerifier,并在模拟器上实现了监测应用程序内存泄露,进而发现使用AppVerifier存在的问题,并指出了使用中高效利用AppVerifier的方法。 展开更多
关键词 WINDOWS CE WINDOWS MOBILE 内存泄露检测 AppVerifier
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
使用帮助 返回顶部