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

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

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

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

动态内存错误的静态检测

内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在 在程序中 ,动态内存管理错误是导致动态内存错误的根本原因 动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确定动态内存变量之间存在的过程内和过程间的路径别名关系 ,在此基础上对程序中违反动态内存管理模式的动态内存操作进行分析 。

EBound：一种高效的空间内存错误检测方法

空间内存错误是C语言程序中经常出现的一种漏洞。针对目前空间内存错误检测方法的性能开销高的问题,提出一种高效的空间内存错误检测方法 EBound。EBound使用动态指针边界检测方法检测程序中的空间内存错误,并使用静态污点分析方法来消除不必要的指针边界检查,从而降低了性能开销。EBound基于LLVM编译器实现,不需要对程序源代码进行修改。实验结果表明,EBound可以有效地防御利用空间内存错误进行的缓冲区溢出攻击。与当前比较好的空间内存错误检测方法 Soft Bound相比,EBound有更低的性能开销。

跟踪机制引导的C程序内存错误自动修复

C语言执行效率高,使用范围广泛,然而存在的安全问题也日益突出。内存错误是C程序中常见的缺陷,严重时将导致系统崩溃。传统的人工修复内存错误耗费大量人力物力,并可能在修复过程中引入新的错误。针对这个问题,提出了一种基于跟踪机制的程序自动修复方法。构建包含程序文件中变量作用分布的作用域树;提出基于全局指针的跟踪机制,通过插入全局指针跟踪发生错误的分配内存在程序中的状态;基于全局指针自动生成补丁,利用作用域树定位缺陷修复位置从而来安全地修复内存错误。基于上述过程,实现了原型工具DTSFix,并在开源程序中对其进行了评估。实验结果表明,DTSFix能够有效检测并修复程序中的真实缺陷而且不产生副作用。

C语言中常见内存错误及对策浅析

C语言动态内存机制为灵活地进行程序设计提供了方便,但同时也增加了各种内存错误发生的机会。本文给出了C中一些常见内存错误,并提出了解决对策。

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

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

C++中常见内存错误及对策浅析

C++程序设计语言动态内存机制为灵活地进行程序设计提供了方便,但同时也增加了各种内存错误发生的机会。本文分析了C++中常见的内存错误,提出了解决对策和预防措施,以期抛砖引玉为初学者提供一些帮助。

软件内存错误故障原因分析及其防范

介绍了软件中常见的内存读写、内存分配与释放、内存泄漏等内存错误及其所引发的故障,并进行分析,找出原因,提出相应的防范措施。

C语言内存错误分析与研究

指针是C语言的精华所在,正确使用指针能使程序简洁高效,能避免内存错误和程序异常,保证程序的正确性和可移植性。针对指针在编程过程中可能出现的错误,阐述了C编译器对数据进行内存分配的策略,通过具体的实例进行分析,并给出解决方法。

一种与平台无关的C程序内存错误检测工具的设计

灵活的内存管理机制使C程序很容易产生内存错误,开发检测C程序内存错误的工具,可以帮助测试人员和开发人员查找软件中潜在的内存错误,然而目前大多数的内存错误检测工具都不能跨平台运行,本文提出了一个与平台无关的C程序内存错误检测工具的设计方案,并编码实现,通过实际测试项目的检测使用,验证了工具的有效性。

解决运行IE产生指令引用内存错误

运行IE浏览器经常会出现蓝屏或者提示“IE运行中0x……指令引用的ox……内存错误”这个问题的出现主要有几个方面：

结合模糊测试和动态分析的内存安全漏洞检测

C语言因其在运行速度及内存控制方面的优势而被广泛应用于系统软件和嵌入式软件的开发。指针的强大功能使得它可以直接对内存进行操作,然而C语言并未提供对内存安全性的检测,这就使得指针的使用会导致内存泄露、缓冲区溢出、多次释放等内存错误,有时这些错误还会造成系统崩溃或内部数据破坏等的致命伤害。当前已存在多种能够对C程序进行内存安全漏洞检测的技术。其中动态分析技术通过插桩源代码来实现对C程序的运行时内存安全检测,但是只有当程序执行到错误所在路径时才能发现错误,因此它依赖于程序的输入;而模糊测试是一种通过向程序提供输入并监视程序运行结果来发现软件漏洞的方法,但是无法检测出没有导致程序崩溃的内存安全性错误,也无法提供错误所在位置等详细信息。除此之外,由于C语言的语法比较复杂,在对一些大型复杂项目进行分析时,动态分析工具经常无法正确处理一些不常见的特定结构,导致插桩失败或者插桩后的程序无法被正确编译。针对上述问题,通过将动态分析技术与模糊测试技术结合,并对已有方法进行改进后,提出了一种能够对包含特定结构的C程序进行内存安全检测的方法。文中进行了可靠性和性能的实验,结果表明,在增加对C语言中特定结构的处理方法之后,能对包含C语言中特定结构的程序进行内存安全检测,并且结合模糊测试技术后具有更强的漏洞检测能力。

基于源代码插桩的C程序内存使用错误动态检测

针对C程序内存使用错误的预防和处理方法分基于静态分析和动态分析两类。静态分析工具研制复杂 ,目前还没有得到广泛使用的高效工具。动态分析又分为基于目标代码和源代码插桩分析两类。由于缺少完整的语法、语义信息 ,基于目标代码的分析有时对错误的捕捉、定性不够精确。基于源代码的分析由于其信息的完整可以达到对错误的最精确报告。本文对C程序中的内存使用错误进行了分析 ,并讨论了一个C程序内存错误动态检测工具的设计思想 ,给出了系统流程、关键数据结构。

基于语义抽象的内存访问错误检测

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性。原型实现表明了方法的有效性。

一种跟踪动态内存分配错误的程序实现

嵌入式系统设计中查找内存错误是一个难题。通常有静态存储分配错误、栈上创建错误以及动态内存分配错误3种,其中动态内存分配错误的查找则更难,而且这种问题一旦发生往往会造成很坏的后果。文中针对动态内存分配错误的查找这一难题,提出了采用数据防护块进行封装的解决办法,并给出了相应的数据结构和程序实现方法。

对WindowsXP出现内存读写错误的处理

针对上网过程中被动安装的插件,可以定期使用类似360安全卫士这样的程序,来查看系统是否被偷偷安装了各种无效的垃圾插件程序,一旦发现的话,就可以直接将它们从系统中及时卸载干净。

C++编码中减少内存缺陷的方法和工具

基于C++的软件的缺陷和错误大部分都和内存相关,预防、发现、消除代码中和内存相关的缺陷,成为程序员编写、调试、维护代码时的重要任务。该文基于“面向网络海量空间信息的大型GIS”课题的工程实践,提出和总结了如何使用C++语言机制、开发环境和相关质量保证工具来预防、发现各种编译期、运行期内存缺陷的方法和工具。

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

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

C语言的内存漏洞分析与研究

C语言允许开发人员直接对内存操作,方便灵活,提高了程序的执行效率,但这也在一定程度上牺牲了安全性。程序一旦发生内存错误,将会非常棘手,编译时不能自动发现这些漏洞,只有在程序运行时才会出现,而这些漏洞所导致的后果(如数据错误、内存泄露、系统崩溃、系统被攻击、用户数据被窃取等)很难捕捉到,测试也很难重现。