指针分析相关论文
近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于......
指针分析是编译优化、程序静态分析中的基础,很多应用都需要基于指针分析,低精度的指针分析会给这些应用带来高误报率和漏报率,通......
动态符号执行是对程序进行安全性分析的重要技术。在动态符号执行过程中，存在着符号地址，系统调用，路径选择等问题。针对符号地址导致......
软件功能在不断增强的同时，软件的庞杂程度也在提高，这样就无可避免的带来软件漏洞。软件漏洞攻击带来的巨大经济损失，迫切需要我们对......
该论文主要研究了C/C++语言程序切片中的指针分析算法.在安全性分析工具的设计中,我们采用程序切片技术进行安全性分析.当进行数据......
本文针对C／C++程序中使用无效指针引起的安全漏洞做静态检测。首先分析了漏洞的表现形式和产生原因，构建安全规则。然后在程序分析时......
人类对计算能力的需求永无止境，高性能计算水平逐渐成为世界强国竞相追逐的焦点。并行化编译作为高性能计算中不可或缺的一部分，能够......
在高性能计算领域,基于可重构技术的CPU-FPGA异构体系显示了较好的加速效果。因此,将计算密集的C代码转换为面向FPGA的VHDL程序的......
指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分......
AspectJ是一门新的程序设计语言，它是在Java语言的基础上扩充了AOP系统而来的。AspectJ语言的面向方面程序设计方法能够弥补传统面......
针对传统的数据随机化技术静态分析精度不高的问题,提出一种基于域敏感指针分析算法的细粒度数据随机化技术.在静态分析过程中,首......
从变量的初始化中获取指针指向信息是完整的指针分析不可缺少的一个重要环节,它有助于提高其它数据流分析的准确性.文中提出了一个......
提出了一种新的指针分析方法，通过静态分析程序中指针的映射关系来检测内存泄漏故障；给出了指针映射代数系统的概念，在此基础上分析了......
在不分析库代码方法体的前提下,提出一种支持应用部分局部调用图生成的指针分析方法.该方法通过构建一系列规则,对应用部分和库部......
针对已有指针分析算法的程序中间表示不能充分表示程序的语法结构与语义，而导致不适合应用于程序标准化转换的问题，提出基于控制依赖......
在高可信软件的各种性质中，安全性是被关注的重点，其中软件满足安全策略的证明方法是研究的热点之一．文中根据作者所设想的安全程序的......
在实际中对C代码进行API一致性检验的过程中发现，API（application programming interface）规范大都涉及以数值为论域的时序性质与在静......
指针分析是数据流分析中的关键性技术，其分析结果是编译优化和程序变换的基础．在基于包含的指针分析算法研究的基础上，对Narse优先权......
指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位。Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,......
提出了一种安全性更强的指针分析算法。通过对四种常用的指针分析算法的综合分析,选取了Steensgaard算法进行安全性改进,在该算法......
为了帮助研发人员理解复杂系统的架构,通过对源码进行静态分析,在此基础之上,重点对函数调用关系进行研究,并且基于开源编译器ncc......
摘要：已有的指针分析算法中程序的中间不能充分表示相关程序的语法结构及语义，从而导致不宜应用在程序标准化转换等方面的问题，本文提......
MOD问题是指在进行过程调用时哪些信息可能在被调用的过程中被修改。针对C语言，本文提出了一种基于流敏感、上下文敏感指针分析结果......
程序依赖性分析是软件分析的一个基本内容,目前的相关工作大多集中在语句级的分析方面.人们同样需要单元级的依赖信息来考察单元间......
从变量的初始化中获取指针指向信息完整的指针分析不可缺少的一个重要环节，它有助于提高其它数据流分析的准确性，文中提出了一个实用......
针对C程序内存使用错误的预防和处理方法分基于静态分析和动态分析两类.静态分析工具研制复杂,目前还没有得到广泛使用的高效工具.......
针对传统的数据随机化技术静态分析精度不高的问题,提出一种基于域敏感指针分析算法的细粒度数据随机化技术。在静态分析过程中,首......
针对当前最优秀的基于包含的指针分析在线优化技术即横向传播和纵向传播方法的不足之处,提出一个改进的算法。首先简要介绍基于包......
缓冲区溢出是C语言程序中很常见的问题,它严重影响到系统的安全。该文通过对常用的指针分析算法进行比较和分析,包括上下文敏感、......
别名分析对于数据流分析、程序优化和分析工具的实现非常重要。文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题。......
针对性分析是很多数据程序的重点基础,它是从基本程序中抽取出来的变量信息,对数据流的Java程序指针分析技术进行了分析,希望通过......
指针分析对于使用C语言编制程序的数据流分析有着重要的意义。该文介绍指针问题的复杂度、指针分析算法的分类以及指针分析算法的......
现代大规模的软件系统一般都是建立在第三方程序库之上的,比如大家所熟知的Java类库。但是,第三方程序库往往对其提供的接口规定了......
指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法......
期刊
空指针解引用是C语言中的一类常见的动态内存错误。Manevich R等提出了一种适用于检测空指针解引用错误的后向分析方法。本文将后......
C语言作为安全关键软件的主要实现语言,其存在的内存泄漏缺陷具有很高的隐蔽性和危害性,如何保证内存泄漏检测的准确性和高效性是......
C语言中的指针机制使程序员可以直接访问内存地址,具有很高的灵活性。但是由于指针操作不当而引起的动态内存错误也有很多,空指针......
指针分析是近年来国际上编译技术领域中的一个研究热点。C语言程序中指针的广泛使用严重地影响了数据流分析的精确程度，从而严重地......
指针分析是指通过对程序的静态分析来近似地求取程序中指针变量确定或可能指向的目标,它在程序静态分析领域中非常重要,并且很有挑......
随着互联网的普及和Web开发技术的兴起与发展,Web应用程序已成为最重要的互联网应用之一,在各领域承载了举足轻重的作用。Web应用......
指针分析是静态程序分析的基础，指针分析的精度直接影响后续的程序分析和优化．域敏感性用来描述指针分析是否需要区分结构体对象的不......
堆内存的大量使用使得Java程序上数据依赖关系的精确提取仍存在许多困难.对于堆空间上的依赖提取,通常的做法是先对堆上空间进行命......
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用......
提出一个扩展的流不敏感指针分析算法,主要用于缓冲区溢出静态分析,该算法把程序控制流图(CFG)转换为静态单指派(SSA),然后循环调......
