Linux平台下基于源代码插装的动态内存检测

在C/C++语言程序中,指针的使用使代码灵活、简便,但所带来的类似内存泄漏、内存写溢出等的内存使用的错误却很难分析和消除.针对这些容易出现的内存使用错误,提出了L inux平台下一种基于源文件信息提取和源代码插装的动态内存检测方法,设计实现了一个动态内存检测模块DDM EM,可以检测源代码的内存泄漏、内存写溢出、释放野指针和内存管理函数的不匹配等问题.给出了写溢出错误的一个实例检测,以验证方法的有效性.

嵌入式软件动态内存检测工具的设计与实现

针对嵌入式软件中的内存泄露、内存写溢出等问题,提出嵌入式Linux平台下数据采集和测试分离的交叉测试方法,设计实现一个嵌入式软件动态内存的检测工具。该工具可以检测软件的内存泄露、内存写溢出、释放野指针和内存管理函数不匹配等问题,通过一个实例验证其有效性和可靠性。

Linux下可执行文件的动态内存检测设计与实现

针对可执行文件的动态内存管理容易产生的错误,设计并实现了一个Linux平台下针对C/C++语言的动态内存检测模块DDMEM,使用自定义的ddmemMalloc()函数改写动态分配函数malloc(),实现了一个共享库ddmem.so,可以检测内存泄漏、内存写溢出、释放野指针和内存管理函数的不匹配等问题。给出了函数不匹配的实例检测以验证方法的有效性。并与同类有代表性的检测工具memwatch进行了性能比较,证明该检测模块比memwatch整体更优。

嵌入式系统内存检测分析

在大部分嵌入式系统中,内存的好坏主要依赖于内存芯片厂家的检测,对系统运行中出现的内存偶然故障,缺乏有效的检测手段。对嵌入式系统中内存检测的各个阶段、内存检测方式以及全空间检测方法等进行了详细描述。

一种提高安全计算机可靠性的内存检测设计

目前应用在嵌入式系统的各种内存检测方案,很难均衡地满足内存检测性能要求:比较高的检测覆盖率、比较低的硬件开销、比较高的检测速度。根据轨旁安全计算机的系统特性和安全性要求,提出了一种软硬件相结合的内存内建测试架构方案,利用硬件BIST方案来检测高层次内存故障和软件BIST方案来覆盖低层次内存故障。实际项目应用结果显示,该混合内存检测方案可以有效地减少硬件开销和降低检测时间,并提高内存故障检测覆盖率至99%,使系统能够满足高实时性、高安全性的要求。

内存检测流程小知识

市售的DRAM内存条有盒装和散装之分。所谓盒装就是指装在正规的包装盒内出售的产品,而散装是指装在防静电袋内出售的产品。此外,散装内存条中又有两种,一种是使用三星、Micron、现代等大牌厂家的正规内存颗粒的产品,而另一种是使用不知名颗粒的内存。后一种内存条价格最便宜。为什么会有这种价格差别?这是由于这种内存条牺牲了一些东西换来的。现在来看看价差是怎样造成的。

Fortran内存泄漏静态检测方法研究

内存泄漏在没有垃圾回收机制的语言中是常见的问题,虽然Fortran95引入ALLOCATABLE数组解决了部分泄漏问题,但是通过指针申请内存资源仍然会造成泄漏,现有研究对Fortran内存泄漏的检测流程适配度不高且面向Fortran内存状态分析的效率和精确度上仍存在优化空间.针对这一问题,本文提出了一种面向Fortran指针引发的内存泄漏静态检测方法.首先引入指针引用控制流图(PR-CFG,Pointer Reference-Control Flow Graph)来精简程序模型,并符号化程序节点的内存状态信息,依据数据流生成路径敏感的符号化函数摘要作用于过程间分析,最终通过PR-CFG节点上由抽象内存状态计算得到的内存状态集进行故障模式状态机的状态转化来实现内存泄漏的检测.实验表明,本方法提高了Fortran指针引发内存泄漏的检测精度和效率,降低了检测的误报率.

基于RASP技术在容器环境的内存Webshell检测研究

容器成为支撑云计算应用运行的重要载体,容器安全变得越来越重要.频繁爆出的容器安全事件让容器安全防护的研究刻不容缓,与传统的网络安全防护重视边界防护不同的是,容器安全更重视运行时和整体的安全防护.从攻防的视角出发,提出了一种针对容器环境下比较高危的攻击手段内存Webshell攻击的检测研究方法.

嵌入式软件内存泄露检测方法研究

动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的后果,因此需要在开发调试阶段尽早检测出造成内存泄露的代码。提出了一种基于动态检测技术和程序插装技术的嵌入式软件内存泄露分布式检测方法。该方法的实现思想是当程序在目标机运行时,插装代码自动截获内存操作函数,收集内存操作相关信息并把收集到的信息发送到服务器端处理,实现了嵌入式系统内存泄露的准确检测。实验结果证明,由于采用分布式技术进行信息处理,内存泄露检测效率得到了很大的提升。

基于局部堆内存抽象表示的堆操作程序内存泄露检测

堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势.

基于多重检测的关基终端安全防护技术研究

关键信息基础设施关系着国计民生乃至国家安全,随着各行业数字化程度越来越高,终端安全面临的网络威胁也越来越大,各类新型网络攻击手段在世界范围内频繁攻破各行业终端防线,造成巨大损失。研究提出一种基于多重检测分析的终端安全防护建设方案,以内存检测为核心,利用人工智能技术,建立“端网”联动分析,全面实现智能防御、共同防御,有效提升关键信息基础设施运营单位应对终端威胁的防范能力。

一种面向Xen虚拟计算环境的运行时内存泄漏检测方法

虚拟计算环境中系统性能的稳定性问题研究对于云计算相关技术的研究和应用具有重要的理论和实际意义.长时间不停机系统的内存泄漏可能给实际应用带来严重后果,在虚拟计算环境中检测运行时内存泄漏是一个极具挑战性的问题.针对该问题,对内存泄漏的现象进行了分类.基于Xen虚拟机构建并实现了一种面向Xen虚拟计算环境的虚拟化内存泄漏检测(virtualization memory leak detection,VMLD)的方法,提出了相应的检测规则.通过修改虚拟机管理器,设计超级调用,实现了内部缓冲区维护、控制、拦截、监视等模块.实验结果表明,VMLD方法能有效地检测出运行时内存泄漏,并且具有较好的性能.

一种内存错误的动态检测方法

提出了一种内存错误的动态检测方法,通过统一的内存错误检测模型和接口,使内存错误检测处理过程规范化,便于扩展。实验表明,该方法可以方便地进行扩展,以增加内存错误的检测能力。

基于CSP建模的虚拟化平台内存泄漏检测

针对7×24小时运行的服务器应用程序的内存泄露问题,基于CSP理论构建了一种基于Xen虚拟化平台的内存泄漏检测模型,并给出了其实现方法。讨论了模型内系统成员之间的交互,并基于CSP进行了正确性证明;也给出了抓取反映程序行为数据的实现方法,并给出可视化展示。

基于VxWorks内存错误检测与内核核心转储分析与应用

基于VxWorks6.8详细分析内存错误检测和内核核心转储功能原理,总结这两种功能的应用方法。实际应用中表明,在VxWorks程序开发与调试过程中,使用这两种功能够方便快速地分析、定位、查找程序中的错误。

C程序内存泄漏智能化检测方法

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

Windows Mobile的智能终端上内存泄露检测研究

Windows Mobile 5.0是微软为智能移动终端推出的软件平台,特别在智能手机领域受到越来越广泛的应用;在基于Windows Mobile的产品设计中,内存泄露又是需要考虑的关键之一。文中解析了Windows Mobile平台上监测设备内存泄露的工具AppVerifier,并在模拟器上实现了监测应用程序内存泄露,进而发现使用AppVerifier存在的问题,并指出了使用中高效利用AppVerifier的方法。

JavaScript中的内存泄漏检测方法研究

JavaScript作为一种主流的前端脚本语言,广泛运用于Web应用中。虽然JavaScript语言具有垃圾回收机制动态管理内存,但用于各类程序库的的运用,仍然存在内存泄漏的问题。论文分析和归纳了十一种内存泄漏的模式,并提出静态和动态的检测方法的结合,实现对十一种内存泄漏的检测。在静态检测中,基于JavaScript程序的抽象语法树,分析和抽象类和事件之间的关系,跟踪对象执行轨迹,发现疑似泄漏的对象。在动态检测阶段,依据静态检测结果,生成测试用例并运行,获取动态堆信息,构建类型指向图,通过分析内存占用率上升的趋势判断内存泄漏。实验验证本内存泄漏检测方法是可行性的,并有较好的检测能力,比较静态方法减少了误报率,比较动态方法,检测的覆盖率有所增加。

基于抽象内存模型的内存相关漏洞检测方法

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

模型检测技术在程序内存泄漏检测中的应用

软件开发常用的动态内存管理技术虽然使得程序的设计更灵活却很容易造成内存管理漏洞,特别是内存泄漏问题。内存泄漏的堆积会导致程序运行异常甚至崩溃,因此内存泄漏检测是一个长期热门的研究课题。而模型检测技术是基于对程序所有可能执行路径的尽可能地仿真来检测出程序中潜在的漏洞,所以可以将模型检测技术用于程序内存泄漏检测中。采用系统化文献综述的方法归纳总结应用模型检测技术的内存泄漏检测方法和工具。