OpenMP程序中基于活跃变量分析的检查点优化

OpenMP程序通过做检查点来实现容错,现有检查点方法未考虑活跃变量的语义,通过原始值拷贝来保存活跃变量,存在检查点保存量过大的问题。对此提出数组活跃变量检查点优化算法。该算法基于程序分析,处理隐式定值和隐式引用,运用活跃变量分析法得出数组元素中的活跃变量,在适当的情况下采用由下标和数组首地址构成的表达式来表达数组元素,省略其原始值在检查点中的保存,从而减少检查点的数据保存量,达到降低检查点开销的目的。实验表明,该算法可以减少检查点的数据保存量,降低数组元素的数据保存量,达到降低检查点开销的目的,并且消除隐式定值和隐式引用带来的一些不良影响。

基于活跃变量分析的流图语言的部分求值器

本文描述了流图语言的自应用型静态部分求值器，它由活跃变量分析、抽象分析、标记和例化４部分组成．在活跃变量分析基础上再作抽象分析，比以往的抽象分析获得的抽象解释更精确，也更利于产生较高质量的剩余程序．

面向Java EE程序的SQLIA漏洞分析和验证方法

SQLIA漏洞破坏Web后台数据库的完整性,一直是Web应用安全的主要威胁。提出一种检测和验证Java Web程序的SQLIA漏洞的解决方案,将静态分析与动态验证相结合,并且形式化定义指令级污点传播操作语义,能够有效跟踪跨文件和跨页面的污点传播。静态分析首先对Source进行预处理和分类得到真实可靠的Source集合,然后应用方法、请求、会话、方法调用等多重关系匹配潜在的Source和Sink对,使得分析过程可以过滤无关Source和Sink,最后结合静态污点分析和活跃变量分析排除不可能存在污点传播路径的Source和Sink。动态验证首先对程序插桩,然后在执行程序的同时进行动态污点传播并生成Trace,基于Trace验证静态分析结果的正确性,获得真实污点传播路径的漏洞集合。原型系统基于Soot框架实现,对若干开源程序的实验结果表明了方法的有效性。

即时编译器辅助垃圾收集中的对象生命期分析研究

提出一种对象生命期分析算法，利用即时编译器分析应用程序并在其中安插显式释放对象等指令，通过辅助垃圾收集器改进对象的回收与分配来减轻垃圾收集器自动回收的负担．该算法结合了活跃变量分析和指针逃逸分析，对Java程序的每个方法仅分析一次，而且是过程间的，对域、上下文是敏感的，能够分析识别应用程序中的非全局对象及其死亡位置．实验结果表明：算法的执行时间占总编译时间的3．6％～5．3%；相比一般的Salagnac等指针逃逸分析，能识别出更多的对象生命期信息，而且对象死亡位置能精确到Java方法控制流图中的基本块；在即时编译器辅助的垃圾收集优化中能够显式地回收较多的内存空间．

完善验证的凝聚力测量方法以提升软件品质(英文)

无适当使用软件测量将可能引起软件低品质且高成本的窘态 .凝聚力是软件品质重要因子之一如同维护度 ,可靠度和再利用度 .软件模组品质的优劣必影响整体系统之品质的优劣 .为了设计和维护高品质软件 ,软件专案经理人和软件工程师无可避免需引用软件凝聚力测量以衡量和产生高品质软件 .提出以活路跃变量及视觉化变量纵距为分析基础之功能导向凝聚力测量方法 .进而 ,以一系列实际案例来作实验验证 ,并以一组性质来作理论辩证所提的测量方法 .因此一经完善定义 ,完善实验和完善辩证之凝聚力测量方法被提出用于当软件凝聚力强度的指标和因此增进软件品质 .这凝聚力测量方法能容易嵌入

基于网的寄存器分配冲突图研究

提出使用网表示可分配寄存器对象,通过对网的活跃性数据流分析,构造网的冲突图。与变量冲突图相比,将基于变量的节点分裂成基于网的节点,将同一变量的冲突关系分摊到多个网上,虽增加冲突图节点数量,但降低节点度数,使得用更少颜色对冲突图着色,即可减少所需寄存器的数量,生成更加高效的可执行代码,使存器分配更为灵活。