数组越界

作品数：23被引量：61H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战李文明高传平张威黄志球更多>>
相关机构：装甲兵工程学院北京邮电大学西安电子科技大学南京航空航天大学更多>>
相关期刊：《福建电脑》《计算机时代》《计算机应用》《汽车实用技术》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于某车型组合仪表黑屏分析及改进
《汽车实用技术》2024年第8期30-34,共5页邵云云 惠作奎 汪杰 郗冲 刘莲芳 
为深入剖析某车型组合仪表黑屏问题的根源,提升组合仪表品质提供解决方案。文章针对某车型组合仪表黑屏问题展开分析,通过对问题现象、原因进行排查,快速定位问题,提升产品品质。针对改进方案软件进行实车验证,最终达到预期效果,证明改...
关键词：组合仪表 黑屏问题 故障树分析法 数组越界 
航天嵌入式软件数组越界缺陷特征研究被引量：1
《空间控制技术与应用》2021年第2期1-9,共9页陈睿 于婷婷 贾春鹏 李超 高栋栋 江云松 杨孟飞 
国家自然科学基金资助项目(61802017)。
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了...
关键词：航天嵌入式软件 数组越界 程序分析 中断驱动型程序 
基于污点分析的数组越界缺陷的静态检测方法被引量：10
《软件学报》2020年第10期2983-3003,共21页高凤娟 王豫 陈天骄 司徒凌云 王林章 李宣东 
国家重点研发计划(2017YFA0700604);南京大学优秀博士研究生创新能力提升计划B;江苏省研究生科研与实践创新计划。
随着移动计算、物联网、云计算、人工智能等领域的飞速发展,也涌现出了很多新的编程语言和编译器,但是C/C++语言依旧是最受欢迎的编程语言之一,而数组是C语言最重要的数据结构之一.当在程序中通过数组下标访问数组元素时,必须确保该下...
关键词：数组越界 静态分析 缓冲区溢出 约束求解 
C程序数组越界的运行时验证技术研究与实现被引量：7
《计算机工程与应用》2015年第11期190-195,211,共7页李文明 陈哲 李绪蓉 黄志球 
国家自然科学基金(No.61100034;No.61170043);中国博士后科学基金项目(No.20110491411;No.2012T50498);江苏省博士后科研资助计划项目(No.1101092C)
缓存区溢出能引起非常严重的安全问题,对网络和分布式系统(如机群,网格,P2P系统等)构成严重威胁。数组越界在缓存区溢出中占据重要位置,如何检测数组越界错误是一个重要且极具意义的课题。针对该课题,给出一种对C语言数组越界进行运行...
关键词：数组越界 运行时验证 程序插桩 
基于区间集的Cppcheck数组边界缺陷检测被引量：5
《计算机应用》2013年第11期3257-3261,共5页张仕金 尚赵伟 
国家自然科学重点基金资助项目(91118005);国家自然科学基金资助项目(61173130);重庆市自然科学基金资助项目(CSTC-2010BB2217)
针对开源软件Cppcheck误报率和漏报率过高,且不能检测出运行时程序缺陷等问题,基于Cppcheck程序,提出了抽象区间集算法,并将其应用于数组边界缺陷检测。在Cppcheck框架内,通过引入区间集概念,建立每个程序点变量和表达式的整型区间集和...
关键词：Cppcheck 抽象区间集 数组越界 变量 表达式 
安全视觉下C/C++程序漏洞的分类研究被引量：2
《计算机与现代化》2013年第5期95-98,102,共5页王雅丽 李建良 
C/C++语言在追求高效、灵活的同时也带来了诸如内存泄漏、指针非法使用等安全漏洞,极大地威胁着系统的安全。通过对计算机漏洞的分类研究,有助于增强人们对漏洞本质的理解以及针对性地检测、消除漏洞。本文在分析大量安全漏洞的基础上,...
关键词：安全漏洞 分类研究 数组越界 内存泄露 
基于Coq的软件安全性验证被引量：2
《计算机应用》2012年第A02期96-100,共5页谯婷婷 王乐 王芳 葛艳 
航空科学基金资助项目(20100718004)
针对数组越界、空指针应用和缓冲区溢出三类威胁软件安全的不规范操作,提出了一种基于Coq验证上述三类操作的形式化方法。首先编写三类安全问题的程序实例,并采用形式化方法进行标注;其次运用Frama-C和Why工具对标注程序进行解析,生成...
关键词：软件安全性 形式化方法 COQ 数组越界 空指针应用 缓冲区溢出 
数组越界的静态分析被引量：1
《电脑编程技巧与维护》2012年第4期7-8,34,共3页惠小霞 张岩 
软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数组越界的现象及特点,详细描述了数组越界的定义和种类,给出了数组越界产生的条件及防范技巧,并对检测方法...
关键词：静态测试 数组越界 检测方法 工具 
用代码分析技术检测软件缺陷被引量：9
《计算机工程与设计》2011年第8期2741-2744,2808,共5页赵国亮 蒋勇 孔令兵 
为了查找和发现软件源代码中的漏洞和薄弱环节,进一步提高软件的质量,在深入研究代码分析技术原理的基础上,提出了代码分析技术的应用模式,从内存管理、数组越界、并发缺陷以及空指针引用或异常等多个角度进行了探讨分析,给出具体实例...
关键词：代码分析 漏洞检测 内存泄露 数组越界 缓冲区溢出 数据流 
C/C++源代码静态检测系统的设计和实现
《电子设计工程》2011年第12期28-31,共4页饶坤 彭四伟 
为了检测出C/C++源代码程序中常见的运行时错误,设计了一个静态检测系统。该系统通过词法分析、语法分析、语义分析来获取程序的语法树。然后系统的检测程序将会分析语法树的每一个结点,判断结点中的属性信息是否存在错误。创新点在于...
关键词：数组越界 存储越界 内存泄露 语法树 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部