数组越界相关论文
随着科学技术日新月异的发展和软件规模的不断扩大，软件在各个行业得到了广泛的运用，已经成为生活中不可分割的组成部分。虽然软件经......
软件测试系统的研制是现阶段软件测试领域研究的一个热点。首先针对C/C++语言常见数组越界错误类型进行了分析,介绍了软件测试的一......
提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指 针引用、数组越界和未初始化变量等5类故障。该......
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符......
C／C＋＋语言在追求高效、灵活的同时也带来了诸如内存泄漏、指针非法使用等安全漏洞，极大地威胁着系统的安全。通过对计算机漏洞的分类研......
面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃......
数组越界是C程序中的常见故障，该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析，提出了检测数组越界的判定准则，......
为了检测出C/C＋＋源代码程序中常见的运行时错误,设计了一个静态检测系统。该系统通过词法分析、语法分析、语义分析来获取程序的语法......
本文通过对C＋＋中new[]和delete[]的深入剖析以及其在Visual Studio中的实现，描述了对象数组在内存中存储的结构。并且对常见的“数组......
数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化......
软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数......
数组越界是C和C++程序中常见故障，在各种软件测试系统的设计中，都占据重要位置．本文首先时数组越界故障进行分析，建立数组越界类型故障......
介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析......
该文从指针在C语言中的作用入题,介绍了指针使用过程中常见的几种错误,并提出了改进方法。然后针对指针与数组,总体介绍了它们之间......
给出了一种静态分析方法，静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分......
为了查找和发现软件源代码中的漏洞和薄弱环节,进一步提高软件的质量,在深入研究代码分析技术原理的基础上,提出了代码分析技术的......
随着移动计算、物联网、云计算、人工智能等领域的飞速发展,也涌现出了很多新的编程语言和编译器,但是C/C++语言依旧是最受欢迎的......
在线评测系统OnlineJudgeSystem（简称：OJ系统）是程序设计类竞赛和教学的重要辅助系统，以自动评测代替传统的手工评测代码的方式，具有高......
随着软件技术的不断发展,软件的规模越来越大,复杂度越来越高,从而导致软件的安全性和可靠性越来越难以保障。其中,内存泄漏和数组......
针对开源软件Cppcheck误报率和漏报率过高，且不能检测出运行时程序缺陷等问题，基于Cppcheck程序，提出了抽象区间集算法，并将其应用于数......
缓存区溢出能引起非常严重的安全问题,对网络和分布式系统（如机群,网格,P2P系统等）构成严重威胁。数组越界在缓存区溢出中占据重要位......
