期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
JavaScript中的内存泄漏检测方法研究 被引量:1
1
作者 孙琳 洪玫 +2 位作者 詹聪 杜伊 张琼宇 《计算机与数字工程》 2015年第12期2229-2234,2238,共7页
JavaScript作为一种主流的前端脚本语言,广泛运用于Web应用中。虽然JavaScript语言具有垃圾回收机制动态管理内存,但用于各类程序库的的运用,仍然存在内存泄漏的问题。论文分析和归纳了十一种内存泄漏的模式,并提出静态和动态的检测方... JavaScript作为一种主流的前端脚本语言,广泛运用于Web应用中。虽然JavaScript语言具有垃圾回收机制动态管理内存,但用于各类程序库的的运用,仍然存在内存泄漏的问题。论文分析和归纳了十一种内存泄漏的模式,并提出静态和动态的检测方法的结合,实现对十一种内存泄漏的检测。在静态检测中,基于JavaScript程序的抽象语法树,分析和抽象类和事件之间的关系,跟踪对象执行轨迹,发现疑似泄漏的对象。在动态检测阶段,依据静态检测结果,生成测试用例并运行,获取动态堆信息,构建类型指向图,通过分析内存占用率上升的趋势判断内存泄漏。实验验证本内存泄漏检测方法是可行性的,并有较好的检测能力,比较静态方法减少了误报率,比较动态方法,检测的覆盖率有所增加。 展开更多
关键词 JavaScript内存泄漏 内存泄漏模式 动态内存管理 动态内存泄漏检测 静态内存泄漏检测
下载PDF
一种面向Xen虚拟计算环境的运行时内存泄漏检测方法 被引量:2
2
作者 肖如良 姜军 +4 位作者 胡耀 韩佳 倪友聪 杜欣 蔡声镇 《计算机研究与发展》 EI CSCD 北大核心 2013年第11期2406-2417,共12页
虚拟计算环境中系统性能的稳定性问题研究对于云计算相关技术的研究和应用具有重要的理论和实际意义.长时间不停机系统的内存泄漏可能给实际应用带来严重后果,在虚拟计算环境中检测运行时内存泄漏是一个极具挑战性的问题.针对该问题,对... 虚拟计算环境中系统性能的稳定性问题研究对于云计算相关技术的研究和应用具有重要的理论和实际意义.长时间不停机系统的内存泄漏可能给实际应用带来严重后果,在虚拟计算环境中检测运行时内存泄漏是一个极具挑战性的问题.针对该问题,对内存泄漏的现象进行了分类.基于Xen虚拟机构建并实现了一种面向Xen虚拟计算环境的虚拟化内存泄漏检测(virtualization memory leak detection,VMLD)的方法,提出了相应的检测规则.通过修改虚拟机管理器,设计超级调用,实现了内部缓冲区维护、控制、拦截、监视等模块.实验结果表明,VMLD方法能有效地检测出运行时内存泄漏,并且具有较好的性能. 展开更多
关键词 运行时内存泄漏 XEN虚拟机 超级调用 虚拟化内存泄漏检测 系统性能
下载PDF
基于CSP建模的虚拟化平台内存泄漏检测 被引量:1
3
作者 姜军 肖如良 《计算机与数字工程》 2013年第11期1760-1763,共4页
针对7×24小时运行的服务器应用程序的内存泄露问题,基于CSP理论构建了一种基于Xen虚拟化平台的内存泄漏检测模型,并给出了其实现方法。讨论了模型内系统成员之间的交互,并基于CSP进行了正确性证明;也给出了抓取反映程序行为数据的... 针对7×24小时运行的服务器应用程序的内存泄露问题,基于CSP理论构建了一种基于Xen虚拟化平台的内存泄漏检测模型,并给出了其实现方法。讨论了模型内系统成员之间的交互,并基于CSP进行了正确性证明;也给出了抓取反映程序行为数据的实现方法,并给出可视化展示。 展开更多
关键词 内存泄漏检测 虚拟化平台 虚拟机 虚拟机监控器 XEN
下载PDF
模型检测技术在程序内存泄漏检测中的应用
4
作者 陈宇星 《现代计算机》 2017年第3期53-57,共5页
软件开发常用的动态内存管理技术虽然使得程序的设计更灵活却很容易造成内存管理漏洞,特别是内存泄漏问题。内存泄漏的堆积会导致程序运行异常甚至崩溃,因此内存泄漏检测是一个长期热门的研究课题。而模型检测技术是基于对程序所有可能... 软件开发常用的动态内存管理技术虽然使得程序的设计更灵活却很容易造成内存管理漏洞,特别是内存泄漏问题。内存泄漏的堆积会导致程序运行异常甚至崩溃,因此内存泄漏检测是一个长期热门的研究课题。而模型检测技术是基于对程序所有可能执行路径的尽可能地仿真来检测出程序中潜在的漏洞,所以可以将模型检测技术用于程序内存泄漏检测中。采用系统化文献综述的方法归纳总结应用模型检测技术的内存泄漏检测方法和工具。 展开更多
关键词 内存泄漏检测 模型检测 内存错误 系统文献综述
下载PDF
Fortran内存泄漏静态检测方法研究
5
作者 罗坤 金大海 宫云战 《小型微型计算机系统》 CSCD 北大核心 2024年第7期1778-1786,共9页
内存泄漏在没有垃圾回收机制的语言中是常见的问题,虽然Fortran95引入ALLOCATABLE数组解决了部分泄漏问题,但是通过指针申请内存资源仍然会造成泄漏,现有研究对Fortran内存泄漏的检测流程适配度不高且面向Fortran内存状态分析的效率和... 内存泄漏在没有垃圾回收机制的语言中是常见的问题,虽然Fortran95引入ALLOCATABLE数组解决了部分泄漏问题,但是通过指针申请内存资源仍然会造成泄漏,现有研究对Fortran内存泄漏的检测流程适配度不高且面向Fortran内存状态分析的效率和精确度上仍存在优化空间.针对这一问题,本文提出了一种面向Fortran指针引发的内存泄漏静态检测方法.首先引入指针引用控制流图(PR-CFG,Pointer Reference-Control Flow Graph)来精简程序模型,并符号化程序节点的内存状态信息,依据数据流生成路径敏感的符号化函数摘要作用于过程间分析,最终通过PR-CFG节点上由抽象内存状态计算得到的内存状态集进行故障模式状态机的状态转化来实现内存泄漏的检测.实验表明,本方法提高了Fortran指针引发内存泄漏的检测精度和效率,降低了检测的误报率. 展开更多
关键词 Fortran指针 内存泄漏检测 PR-CFG 符号化函数摘要 抽象内存状态计算
下载PDF
C程序内存泄漏智能化检测方法 被引量:6
6
作者 朱亚伟 左志强 +1 位作者 王林章 李宣东 《软件学报》 EI CSCD 北大核心 2019年第5期1330-1341,共12页
内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷,内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大,且高度依赖测试用例;静态分析目前被学术界和工业界广泛应用,但是存在大量误报,需要人工对检测结果进... 内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷,内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大,且高度依赖测试用例;静态分析目前被学术界和工业界广泛应用,但是存在大量误报,需要人工对检测结果进行确认.内存泄漏静态分析的误报通常是由于对指针、分支语句和全局变量分析的不准确性导致的.提出了一种内存泄漏的智能化检测方法,通过使用机器学习算法学习程序特征与内存泄漏之间的相关性,构建机器学习分类器,并应用机器学习分类器进一步提高内存泄漏静态分析的准确性.首先构建机器学习分类器,然后通过静态分析方法构建从内存分配点开始的SparseValueFlowGraph(SVFG),并从中提取内存泄漏相关特征,再使用规则和机器学习分类器进行内存泄漏的检测.实验结果显示,该方法在分析指针、分支语句和全局变量时是有效的,能够提高内存泄漏检测的准确性,降低内存泄漏检测结果的误报.最后,对未来研究的可行性以及面临的挑战进行了展望. 展开更多
关键词 内存泄漏 内存泄漏检测 静态分析 机器学习 特征提取
下载PDF
基于局部堆内存抽象表示的堆操作程序内存泄露检测 被引量:4
7
作者 董龙明 王戟 +1 位作者 陈立前 董威 《计算机研究与发展》 EI CSCD 北大核心 2012年第9期1832-1842,共11页
堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变... 堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势. 展开更多
关键词 堆操作程序 指针扩展类型 堆局部抽象 内存泄漏检测 数据流迭代 静态分析
下载PDF
嵌入式系统软件内存泄漏监测的算法和实现 被引量:8
8
作者 王泽民 芦东昕 +1 位作者 徐立峰 王陈 《计算机工程》 EI CAS CSCD 北大核心 2005年第13期84-86,共3页
阐述了嵌入式软件系统中内存泄漏监测的必要性,提供了一种通过使用单循环队列来实现内存泄漏监测的算法。该算法可以有效监测嵌入式系统的内存泄漏,并且可以避免引入内存泄漏监测而导致的系统资源使用急剧变化的问题,最大程度保证系统... 阐述了嵌入式软件系统中内存泄漏监测的必要性,提供了一种通过使用单循环队列来实现内存泄漏监测的算法。该算法可以有效监测嵌入式系统的内存泄漏,并且可以避免引入内存泄漏监测而导致的系统资源使用急剧变化的问题,最大程度保证系统工作的平稳性。可适用于不同规模的嵌入式系统。 展开更多
关键词 内存泄漏检测 实时系统 嵌入式系统
下载PDF
一种跨平台内存池的设计与实现
9
作者 刘娟 唐玄 《蚌埠学院学报》 2017年第2期17-21,共5页
基于内存预先分配、多线程技术,设计并实现了一个架构合理的动态内存池,并使用该内存池和系统内存管理接口分别进行了内存分配和释放实验。实验表明,使用内存池管理内存可以明显减少内存分配和释放的时间开销,降低了内存碎片化的可能性... 基于内存预先分配、多线程技术,设计并实现了一个架构合理的动态内存池,并使用该内存池和系统内存管理接口分别进行了内存分配和释放实验。实验表明,使用内存池管理内存可以明显减少内存分配和释放的时间开销,降低了内存碎片化的可能性,提高了内存泄漏检测的方便性。 展开更多
关键词 内存管理 内存 内存碎片 内存泄漏检测
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部