消除GCC抽象语法树文本中冗余信息的算法研究

由GCC编译器对C语言源程序进行语法分析产生的抽象语法树文本存在大量的冗余信息,如果直接对其进行解析,则会产生解析效率低、产生的抽象语法树会占用大量的存储空间的问题。针对此问题,在深入研究GCC抽象语法树文本结构和解析过程的基础上,提出了一种高效消除冗余的算法,通过实验证明了算法的正确性和适用性,并提出了GCC抽象语法树解析的数学定义。

一种基于GCC抽象语法树的程序特征提取方法

提出一种基于GCC(GNU Compiler Collection)抽象语法树建立程序特征文本的方法,消除抽象语法树中与程序无关的结点,从消除冗余后的抽象语法树文本中提取可以表达程序语义的可用结点;之后对其进行信息提取,从而高效地生成程序特征文本。通过实验证明了该方法的正确性与实用性。

HPF程序编译信息的超文本生成器

ＨＰＦ是最新的数据并行程序设计语言，其程序分析工具的研究，是ＨＰＦ编译器研制的可靠保障。本文给出了ＨＰＦ程序的中间表示抽象语法树（ＡＳＴ）的组成，研究了将ＡＳＴ转换为可读形式的工具ｄｕｍｐａｓｔ，实现了ｄｕｍｐａｓｔ的超文本自动生成器，为用户提供了观察ＡＳＴ的非线性手段，可在网络上浏览。

一种建立控制依赖子图的方法

提出一种基于GCC(GNU Compiler Collection)抽象语法树文本建立控制依赖子图的方法,消除抽象语法树文本中与分析控制流无关的信息,将消除冗余后的抽象语法树文本转化为以邻接表为存储结构的抽象语法树的算法,从而高效地完成了抽象语法树的解析。基于以邻接表为存储结构的抽象语法树建立了控制依赖子图。通过实验证明了该方法的正确性和适用性。

含有跨迭代数据依赖关系循环的自动并行化

OpenMP是为在多处理机上编写并行程序而设计的一个应用编程接口,在串行程序中简单插入OpenMP编译指导语句,编译器就可自动将串行程序并行化.但用OpenMP对for循环进行并行化时,要求循环各次迭代之间不能含有数据依赖关系.文中提出了一种对含有跨迭代数据依赖关系的for循环进行OpenMP自动并行化的方法.该方法首先对串行程序的GCC抽象语法树文本进行冗余信息消除,以提取程序的有用信息;然后利用这些信息分析循环是否含有跨迭代数据依赖关系,若有则采用预计算(pre-computation)技术消除跨迭代数据依赖关系;最后自动生成带有OpenMP编译指导语句的并行程序.实验结果表明该方法对于某些含有跨迭代数据依赖关系的循环来说是有效的.

基于结构比对的软件同源综合检测工具的设计与实现

文章对基于文本、Token和抽象语法树的同源性检测技术进行探讨,详细介绍了关于抽象语法树的同源性检测技术。同时,在对实际应用大量研究的基础上,文章着重介绍了源代码同源性检测系统的架构设计,以及引擎比对、比对结果分析和比对结果输出等主要功能模块,并对开发的系统进行了系统测试和分析,验证了算法的可行性。

系统程序、操作系统

9914183HPF 程序编译信息的超文本生成器[刊]/顾兆军//航空计算技术.—1999,29(1).—38～42(G)HPF 是最新的数据并行程序设计语言,其程序分析工具的研究,是 HPF 编译器研制的可靠保障。本文给出了 HPF 程序的中间表示抽象语法树(AST)