函数摘要相关论文
随着现代社会对软件的依赖越来越强,高可信软件测试有着广泛的需求。基于缺陷模式的软件测试技术作为高可信软件的重要保证,可以大......
随着计算机技术的日趋普及,软件应用的范围逐步扩大,软件的规模也随之扩大,因此软件的质量问题越来越重要。软件测试是软件质量保......
随着软件的发展,软件的质量显得越来越重要。因此,有效的软件质量保证就成为软件工程中越来越重要的环节。而软件测试是保证软件质......
随着信息化的推进,软件应用的领域越来越广泛,软件本身的复杂性也随之加大。如何保证软件质量一直是计算机技术的热门研究领域。单......
本文介绍了作者在跨函数分析研究方面所做的工作,包括跨函数分析技术的设计与实现以及对现有DTSJava(Defect Testing System for J......
伴随着信息技术的蓬勃发展以及软件危机的频频出现,软件测试的重要性显而易见。作为软件测试领域的一个重要方面——静态测试以其......
随着单核技术向多核技术的转变,并发程序越来越难以编写和调试。数据竞争是常见的并发程序错误:在共享内存的并发程序中,当有两个......
随着Android智能手机的普及,手机应用的安全隐患也日益凸显。提出了一种基于程序分析的Android应用程序检测方法,用于检测Android......
指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位。Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,......
空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。文章研究利用静态测试的方法对一类空指针引用故障......
非法计算是程序中常见的故障,极易导致系统崩溃.例如:除0运算、对负数开平方根运算等.现有的测试方法大多只能检测过程内的非法计......
悬挂指针是指那些不指向任何合法对象的指针,它引起的故障会导致程序产生无法预料的后果并且不容易找到问题的原因.针对C/C++语言......
缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型：数据拷贝和格式化字符串造......
污点分析是安全领域一种重要的动态分析技术。传统二进制代码级的污点分析存在两个主要问题:a)指令级的污点传播规则不准确;b)无法......
针对循环拷贝内存引发的缓冲区溢出漏洞，提出了一种上下文相关的过程间分析检测模型，通过对二进制代码进行一系列的静态分析，使用过程......
伴随着信息技术的蓬勃发展以及计算机应用的普及,软件的应用领域越来越广泛,软件本身的复杂度也在逐渐提高。而这些软件如出现问题......
空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。本文研究利用静态测试的方法对一类空指针引用故障......
为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化......
随着信息化的推进,软件应用的领域越来越广泛,软件本身的复杂性也随之加大。如何保证软件质量一直是计算机技术的热门研究领域。本......
近年来,随着软件规模的扩大、复杂度的提升、应用领域的拓展,软件的可信性问题已成为用户、从业人员和研究人员共同关注的焦点。目......
在现代软件工程中,代码安全成为人们不容忽视的问题,为了保证代码安全,一系列代码分析方法被提出。但过程间分析还存在很多不足,如......
Android中存在很多系统机制供应用程序使用,然而这些机制在不当使用时会对用户安全和利益造成很大的破坏性.提出一种基于程序分析......
随着软件开发技术的不断发展,软件系统的规模越来越大,其结构也日益复杂,从而使软件系统的质量越来越难以保障。其中,资源泄露故障......
为了更加精确高效地分析源代码中的内存泄露,针对内存泄露属性分析建模,通过多种途径对现有的方法进行改进。使用函数摘要的方法提......
随着Web应用程序应用越发广泛,Web应用程序中安全漏洞数量不断增加,影响范围也逐渐变广,应用程序安全也渐渐成为关注的焦点。在各......
在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在......
期刊
