别名分析相关论文
近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于......
随着计算机的发展,软件的规模不断扩大,其复杂度也随之增加,软件故障正成为计算机系统失效和停机的主要因素,软件质量成为计算机领......
当前，计算机技术发展迅速。随着硬件速度的提高，软件的通用性设计和复杂架构成为提升整体性能的瓶颈，软件自动化的研究成为热点问题，部......
随着信息技术的发展，软件的规模不断扩大，如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件质量的关键技......
网络应用已渗透到社会的各行各业,网民对网络安全的要求也日渐提高,网络安全逐渐成为了各界日益关注的焦点。网络应用的本质是软件......
随着计算机软、硬件技术的迅速发展,高性能计算逐渐在越来越多的行业中得到应用。并行计算是实现高性能的一种重要的技术途径,其关......
随着计算机硬件的迅速发展,系统对软件的要求也越来越高,并发程序的应用越来越广泛。并发程序更好地发挥了多核处理器的性能优势,......
采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状......
介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分......
内存泄漏故障是程序中某处申请的内存空间，没有释放或没有完全释放或多次释放，是程序中常见的故障，极易导致系统崩溃。从面向具体错误......
通过静态检测发现源程序中的潜在缺陷，可以帮助程序员在软件发布之前发现并修补程序缺陷，提高软件的安全性。提出一种通过静态分析CI......
重构泛型实例有利于提高软件的复用性和类型安全，但现有重构方法的时间复杂度较高，不适用于即时持续的重构．分析了变量类型传播分析方......
数据流分析算法可以分类成流敏感和流非敏感两类。为了提高效率，流非敏感的跨过程分析没有利用与每个过程相关的过程内的控制流信息......
为了提高Java语言自动程序例化实现中的绑定时间分析的精度，提出了一种对象别名分析技术。该技术通过对Java程序中各种类与方法之间......
通过并行融合部分求值和别名分析技术，提出一种新的别名分析方法，并给出形式化描述．实践表明，该方法在具有部分输入的情形下不仅优于传......
内存泄漏是导致系统性能降低的重要问题．提出一种基于模型检测算法的内存泄漏静态检查方法TMC．该方法依据程序的控制流图构建对应于......
提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进......
别名分析对程序分析起着十分重要的作用，不进行别名分析或分析 算法选择不当，可能会影响分析结果的可信度，甚至会导致分析析完全不正......
为了提高交互环境下指针别名查询的响应效率,近期研究提出通过只分析与目标相关指针的按需分析策略来降低浪费在与目标无关的指针......
传统数据流依赖分析方法在处理共享内存单指令多数据(SPMD)程序时,不能识别共享数据访问语句所属的处理节点,也不能消除执行顺序不......
针对面向对象软件维护中的纠错性维护问题，提出了一种新的别名分析技术．通过扩展传统的控制流图，实现了对程序中的异常处理结构的分析......
别名分析对于数据流分析、程序优化和分析工具的实现非常重要。文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题。......
重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义，由于类型信息在编译过程中被移除，且二进制代......
针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图......
多线程并发程序的广泛使用带来了更多的数据竞争错误·传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错......
针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂......
针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效......
针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法。基于有限状态机,对变量生命周期......
不可达路径增加了程序的复杂度和冗余度,不可达路径的检测是结构测试中的一个关键问题。提出了一种包含异常处理结构的程序不可达......
指针分析是近年来国际上编译技术领域中的一个研究热点。C语言程序中指针的广泛使用严重地影响了数据流分析的精确程度，从而严重地......
指针分析是静态程序分析的基础，指针分析的精度直接影响后续的程序分析和优化．域敏感性用来描述指针分析是否需要区分结构体对象的不......
随着互联网技术的高速发展,网络应用数量保持了快速的增长。与此同时,网络应用中的安全漏洞数量和影响程度也在随之增加。而人工的......
堆内存的大量使用使得Java程序上数据依赖关系的精确提取仍存在许多困难.对于堆空间上的依赖提取,通常的做法是先对堆上空间进行命......
