检索结果-内蒙古大学图书馆

软件学报 2020年第10期31卷 2983-3003页

作者：高凤娟王豫陈天骄司徒凌云王林章李宣东南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

随着移动计算、物联网、云计算、人工智能等领域的飞速发展,也涌现出了很多新的编程语言和编译器,但是C/C++语言依旧是最受欢迎的编程语言之一,而数组是C语言最重要的数据结构之一.当在程序中通过数组下标访问数组元素时,必须确保该下... 详细信息

随着移动计算、物联网、云计算、人工智能等领域的飞速发展,也涌现出了很多新的编程语言和编译器,但是C/C++语言依旧是最受欢迎的编程语言之一,而数组是C语言最重要的数据结构之一.当在程序中通过数组下标访问数组元素时,必须确保该下标在该数组的边界之内,否则就会导致数组越界.程序中的数组越界缺陷会使得程序在运行时导致系统崩溃,甚至使攻击者可以截取控制流以执行任意恶意代码.当前针对数组越界的静态检查方法无法达到高精度的分析,尤其是无法处理复杂约束和表达式,过多的误报额外增加了开发者的负担.因此,提出了一种基于污点分析的数组越界的静态检测方法.首先,提出流敏感、上下文敏感的按需指针分析方法,实现数组长度区间分析.然后,提出按需污点分析方法,实现数组下标和数组长度污染情况的计算.最后,定义数组越界缺陷判定规则,提出使用后向数据流分析方法,检测数组下标是否越界.在进行数组越界检测的过程中,为了处理程序中的复杂约束和表达式,在分析过程中将调用约束求解器来判断约束的可满足性.如果没有发现相应的语句,则报告数组越界缺陷警报.同时,实现了自动静态分析工具Carraybound,并通过实验展示了方法的有效性.

关键词：数组越界静态分析缓冲区溢出约束求解

来源：评论

学校读者我要写书评

暂无评论

数组越界的静态测试分析

引用

计算机工程 2006年第3期32卷 70-72页

作者：高传平宫云战装甲兵工程学院信息工程系北京100072

给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试... 详细信息

给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试系统设计和开发,最后给出了软件测试的实验结果和分析。

关键词：数组越界静态分析算法控制流图

来源：评论

学校读者我要写书评

暂无评论

数组越界的故障模型及其检测方法研究

引用

微计算机信息 2007年第31期23卷 145-147页

作者：叶焰锋叶俊民詹泽梅雷志翔华中师范大学计算机科学系湖北武汉430079

数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型。根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检... 详细信息

数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型。根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。

关键词：软件测试数组越界故障模型

来源：评论

学校读者我要写书评

暂无评论

航天嵌入式软件数组越界缺陷特征研究

引用

空间控制技术与应用 2021年第2期47卷 1-9页

作者：陈睿于婷婷贾春鹏李超高栋栋江云松杨孟飞北京轩宇信息技术有限公司北京100190 北京控制工程研究所北京100190 中国空间技术研究院北京100094

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了... 详细信息

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.

关键词：航天嵌入式软件数组越界程序分析中断驱动型程序

来源：评论

学校读者我要写书评

暂无评论

基于整型区间集的数组越界静态自动测试方法研究

引用

小型微型计算机系统 2006年第12期27卷 2222-2227页

作者：高传平谈利群宫云战张威北方交通大学计算所北京100029 装甲兵工程学院信息工程系北京100072

数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化技术来排除掉多余的数组边界检查.这种检测方法不仅降低了程序运行效率,增加了开销,而且往往不能对故障进... 详细信息

数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化技术来排除掉多余的数组边界检查.这种检测方法不仅降低了程序运行效率,增加了开销,而且往往不能对故障进行彻底的测试,容易造成漏报.本文在对程序进行静态分析的基础上,通过引入区间概念,建立了整型区间集和数组区间集,进而给出了数组越界的故障模型,模型的建立对软件故障进行了规范.本文随后给出了故障检测算法,最后给出了实验.结果表明这种方法比以往的测试方法具有更强的故障检测能力.

关键词：软件测试整型区间集静态分析数组越界语法树

来源：评论

学校读者我要写书评

暂无评论

一种过程内及过程间数组越界故障的静态检测方法

引用

计算机研究与发展 2010年第S1期47卷 91-95页

作者：董娜宫云战金大海北京邮电大学网络技术研究院北京100876

数组越界是C和C++程序中常见故障,在各种软件测试系统的设计中,都占据重要位置.首先对数组越界故障进行分析,建立数组越界类型故障模型,设计并实现了基于静态分析,以函数摘要作基础对源代码进行函数内及函数间分析的检测方法.最后用实... 详细信息

数组越界是C和C++程序中常见故障,在各种软件测试系统的设计中,都占据重要位置.首先对数组越界故障进行分析,建立数组越界类型故障模型,设计并实现了基于静态分析,以函数摘要作基础对源代码进行函数内及函数间分析的检测方法.最后用实验方法对实例源码进行测试,实验结果验证了该方法的有效性.此方法已实现,并应用于实际项目中.

关键词：数组越界静态分析过程间故障检测源码分析

来源：评论

学校读者我要写书评

暂无评论

Java程序中数组越界和空指针错误的静态分析

引用

计算机应用 2009年第5期29卷 1376-1379页

作者：陈柏强郭涛阮辉严俊中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049 中国信息安全测评中心北京100085

介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。

关键词：静态分析工具 Java代码数组越界空指针

来源：评论

学校读者我要写书评

暂无评论

Java语言中数组越界故障的静态测试研究

引用

计算机工程与应用 2008年第27期44卷 87-90,108页

作者：赵鹏宇李建茹宫云战总装工程兵科研一所江苏无锡214035 唐山学院河北唐山063020 北京邮电大学网络与交换技术国家重点实验室北京100876

面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越... 详细信息

面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。

关键词：静态测试数组越界语法树控制流图整型区间

来源：评论

学校读者我要写书评

暂无评论

C程序数组越界的运行时验证技术研究与实现

引用

计算机工程与应用 2015年第11期51卷 190-195,211页

作者：李文明陈哲李绪蓉黄志球南京航空航天大学计算机科学与技术学院南京210016

缓存区溢出能引起非常严重的安全问题,对网络和分布式系统(如机群,网格,P2P系统等)构成严重威胁。数组越界在缓存区溢出中占据重要位置,如何检测数组越界错误是一个重要且极具意义的课题。针对该课题,给出一种对C语言数组越界进行运行... 详细信息

缓存区溢出能引起非常严重的安全问题,对网络和分布式系统(如机群,网格,P2P系统等)构成严重威胁。数组越界在缓存区溢出中占据重要位置,如何检测数组越界错误是一个重要且极具意义的课题。针对该课题,给出一种对C语言数组越界进行运行时验证的方法。分析了数组越界的错误类型,根据这些类型分别研究了数组越界的运行时验证的思想;设计了基于程序插桩进行数组越界动态检测的算法,给出了该方法基于开源编译器Clang的具体实现;用实验证明了该方法是切实可行并且有效的。

关键词：数组越界运行时验证程序插桩

来源：评论

学校读者我要写书评

暂无评论

C程序数组越界检查技术研究

C程序数组越界检查技术研究

引用

作者：李明晓山东大学

学位级别：硕士

随着软件的广泛应用,用户在追求满足越来越复杂的逻辑功能的同时也在追求高安全、高可靠的软件。数组越界错误是一类常见的运行时错误,已经成为影响程序正常运行的重大隐患。数组本质上可看作是下标变量到数组元素的映射。基于这一思想... 详细信息

随着软件的广泛应用,用户在追求满足越来越复杂的逻辑功能的同时也在追求高安全、高可靠的软件。数组越界错误是一类常见的运行时错误,已经成为影响程序正常运行的重大隐患。数组本质上可看作是下标变量到数组元素的映射。基于这一思想,本文将数组越界问题转换为程序变量值范围分析问题。抽象解释为程序静态分析提供了理论基础,可在编译时自动分析出程序中变量的取值范围。基于该技术,本文建立了支持数组越界检查的数值程序静态分析框架。该框架包括前端预处理、抽象域库和不动点求解器三个模块,其中面向数组分析的抽象域的设计是实现数组越界检查的关键,也是本文的重点工作。为了支持面向数组的分析,本文从不同精度与可扩展性需要出发,设计并实现了两类面向数组分析的抽象域：1、基于合并语义的抽象域arrayMerge。为了获得高可扩展性,本文把整个数组抽象成一个单独的区间变量来处理,设计并开发了相应抽象域arrayMerge;2、基于分离语义的抽象域arraySmash。从获得高精度的角度,本文把一个大小为n的数组用n个单独的区间变量来建模,每个数组元素用1个区间变量来表示,设计并开发了相应抽象域arraySmash。最后,本文针对一些数组程序开展实验,验证了本文开发工具的有效性和实用性。

关键词：数组越界抽象解释静态分析值范围分析抽象域区间

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：