谈在c＋＋编程中的内存泄漏问题

内存泄漏在c＋＋编程环境中因为软件设计中的算法缺陷而存在,与硬件无关。不仅仅c＋＋,在c,java,.net中同样有这样的安全隐患。本文介绍了内存泄漏所造成的原因,以c＋＋为例说明这种内存泄漏是如何发生的,并提出了如何避免这种异常安全问题的建议。     

采用C＋＋代码插装的实时软件内存错误分析

在航天领域中,安全关键的大型实时软件系统往往直接影响到任务成败,一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实时软件的12种典型内存故障模式,提出了一种基于C＋＋代码插装的实时软件内存错误快速分析方法。该方法通过对C＋＋源代码进行静态分析,获取指针变量相关信息;通过C＋＋代码插装和运行不同测试用例,实时收集统计C＋＋指针对象的分配、释放、赋值、c-use和p-use使用情况,结合实时软件的典型内存故障模式进行分析,并自动生成详情报告。应用案例表明,该方法能够高效快捷地发现实时软件潜在的典型内存错误,从而有效提高软件质量。     

浅析C＋＋程序设计中指针的应用

指针是c＋＋程序设计的核心,能够正确而灵活地运用指针是实现函数间信息传递的前提,要设计高校的程序,需把指针与普通变量、数组、函数结合。本文针对指针的理解,指针在c＋＋程序设计中的应用方面以及一些常见用法进行了具体分析,从而显示出c＋＋程序设计中指针的关键性。     

VisualC＋＋工控软件中自定义图表控件编程设计与应用

针对工控软件设计要求．提出一种采用Visual＋＋编程环境的自定义图表控件的设计方法。该方法基于MFC应用程序框架,通过继承CSUdc类,并重写自绘函数,实现图表的图形界面设计。控件的设计采用内存绘制和复制技术以及子类化技术。能够避免控件自绘闪烁的问题和定位的问题。     

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

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

c/c++单元测试底层模拟技术

单元测试的目标是覆盖代码单元的功能逻辑,内部输入是单元测试的关键问题．目前大多采用打桩技术解决内部输入问题,但打桩会造成函数失真,而且难于解决底层函数不可控、难于初始化,静态输入,中断输入等内部输入问题．针对这些问题,提出了c／c＋＋单元测试底层模拟技术,在测试用例中模拟、控制子函数的行为,使得底层函数产生的数据像参数一样可以在用例中设置,并且可以模拟局部数据和中断,解决了打桩难于实现的多种内部输入问题．     

一种混合式内存泄漏静态检测方法

内存泄漏是导致系统性能降低的重要问题.提出一种基于模型检测算法的内存泄漏静态检查方法TMC.该方法依据程序的控制流图构建对应于程序执行的有限状态自动机,进而在此基础上应用模型检测算法分析程序中可能存在的内存泄漏.论文利用几个典型的程序实例详细说明了TMC的工作原理,并通过基于内存操作密集的测试程序集PtrDist的实验对TMC进行了验证.实验结果表明,TMC能够显著提升内存泄漏分析的精度.     

基于智能指针的垃圾收集器的研究与实现

内存泄漏是软件开发过程中最令人棘手的问题之一。通常,使用垃圾收集机制自动进行内存管理,以减轻程序员的负担。通过研究智能指针以及现有垃圾收集机制的工作原理,本文首先设计出一个基于c＋＋智能指针的垃圾收集器。实验结果表明,该垃圾收集器不仅满足了应用程序的要求,且具有良好的可扩展性。对于使用c＋＋等保守式程序设计语言进行大型软件的开发而言,该垃圾收集器具有一定的理论价值和实用价值。     

C＋＋面向对象使用扩展内存和扩充内存

本文详细介绍了ＩＢＭ微型计算机内存的分类，在程序中使用扩展内存和扩充内存的方法，利用Ｃ＋＋面向对象使用ＸＭＳ、ＥＭＳ、ＵＭＢ、ＨＭＡ的方法，并且给出了源程序。     

C^＋＋虚XMS数组的实现

为了最大限度地简化对扩展内存（ＸＭＳ）的应用，本文讨论了如何利用Ｃ＾＋＋的重功功能，直接在扩展内存中开数组的方法，给出了应用实例，并附上源程序以供参考。     

关于极小泄露证明协议的注记

分析了一个极小泄露证明协议的错误,给出一个更正的协议,并证明了其安全性.     

ARP漏洞分析及防范

由于ARP协议设计之初对安全性较少考虑,给了网络病毒和黑客可乘之机.分析ARP的安全性缺陷和一种ARP病毒恶意利用ARP安全缺陷的攻击过程,同时还说明了ARP病毒中毒后的网络现象,最后提出几种建议性的防范措施.     

内存泄漏检测工具与评估方法

内存泄漏是软件系统中常见的一种错误,会持续消耗内存,致使系统运行效率下降,甚至导致系统崩溃。内存泄漏的检测工具主要可以分为两类:一类是使用基于程序扫描分析技术的静态工具;另一类则是监视实时内存分配状态进行判别的动态工具。如何评估工具检测内存泄漏的能力,相关的标准并不明确。通过对内存泄漏的认识与了解,对相关工具能力进行了调研与分析,提出了一个内存泄漏工具的评估标准。     

内存泄漏故障静态分析研究

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.     

c\c++信号采集处理软件中MatLab的应用

Matlab是最常用的功能强大的试验数据分析处理软件,很多算法研究都基于Matlab进行,c\c++语言是开发数据采集和分析处理软件的最流行的开发工具,两者的结合将极大加快产品的研发进度。论文给出了在c\c++源码级使用MatLab中各种数学运算、信号处理和图形显示功能的完整方案和应用例程,内容涉及Matlab数学和图形库的调用、mat格式的文件读写、输出图形的导出和打印、m函数程序转化为dll等,最后说明了应用Matlab进行c\c++程序开发时的编译、链接、发布等具体过程。     

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

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

基于有界模型检测的C/C 程序内存泄漏检测

C/C 语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄漏,导致系统性能降低甚至系统崩溃。为了更加有效的检测内存泄漏,提出了一个基于有界模型检测技术的C/C 程序内存泄漏检测方案MLD-CBMC。该方案以C/C 程序文件为输入,利用有界模型检测技术,对程序进行展开处理,加入内存泄漏性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄漏问题转换为求解可满足性问题,实现C/C 程序内存泄漏的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄漏的检测能力更强。     

C/C++程序静态内存泄漏警报自动确认方法

内存泄漏是C/C++程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者系统软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序,具有较大开销,同时依赖测试用例的质量;静态分析技术及自动化工具已经被学术界和工业界广泛运用于内存泄漏缺陷检测中,然而由于静态分析采取了保守的策略,其结果往往包含数量巨大的误报,需要通过进一步人工确认来甄别误报,但人工确认静态分析的结果耗时且容易出错,严重限制了静态分析技术的实用性.本文提出了一种基于混合执行测试的静态内存泄漏警报的自动化确认方法.首先,针对静态分析报告的目标程序中内存泄漏的静态警报,对目标程序进行控制流分析,并计算警报的可达性,形成制导信息;其次,基于警报制导信息对目标程序进行混合执行测试;最后,在混合执行测试过程中,监控追踪内存对象的状态,判定内存泄漏是否发生,对静态警报进行动态确认并分类.实验结果表明该方法可以对静态内存泄漏警报进行有效的分类,显著降低了人工确认的工作量.实验详情参见：http://ssthappy.github.io/memleak/.     

天然气管线计量泄漏定位监测系统

为了保证天然气的正常输运,减少油田不必要的损失,基于虚拟仪器技术,结合行标国标流量计量算法进行系统集成,运用负压波定位、小波分析等理论设计开发天然气管线输送计量监测系统,系统定位精度达到2％,响应时间在2min以内。实践证明系统能够满足油田要求,准确快速响应管线泄漏。