过程间分析相关论文
该文在TIPS(Tsinghua Interactive Parallellizing)交互并行编译系统中实现了这一技术.TIPS是由作者所在的教研组,在Polaris并行编......
随着软件的发展,软件的质量显得越来越重要。因此,有效的软件质量保证就成为软件工程中越来越重要的环节。而软件测试是保证软件质......
中断驱动型程序在嵌入式软件中是一类常见的并发实现方式，并且中断驱动程序广泛应用于一些对安全和稳定性要求极高的领域（包括航空航......
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错......
上下文敏感性是程序分析中的一个重要属性,可用来提高函数调用上下文的分析精度,且有利于编译器优化及程序验证。基于Open64开源高......
过程间分析技术通常用于静态检测并行程序中的错误模式实例,目前已成为静态测试、错误模式匹配等领域的研究热点。然而,现存的过程......
能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为......
由于指导语句动态嵌套与绑定规则的存在,OpenMP程序中线程的一些上下文只能在运行时刻才能完全确定.然而,通过编译时刻的静态分析......
C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操......
在现代软件工程中,代码安全成为人们不容忽视的问题,为了保证代码安全,一系列代码分析方法被提出。但过程间分析还存在很多不足,如......
随着互联网技术的发展,Web应用所涉及的领域愈加广泛,Web应用的安全问题也越来越多。由于Web开发框架是Web应用的开发基础,其一旦......
如何用好并行处理系统以解决大规模科学计算问题是当前计算机科学面临的一个重要课题，开发高效的并行软件是解决问题的核心。作为软......
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用......
研究和设计了一个基于程序分析的源代码漏洞分析与检测工具框架,框架中的各个模块如控制流分析（控制流图的构建、函数调用图的实现......
