C++编译器前端对函数重载的设计研究

针对标准C++语言中的函数重载机制,提出一种设计方法,解决编译器前端构建中重载函数的解析。文中首先阐述了重载的概念和解析的基本过程,其次讨论了语法分析器、文法产生式、符号表、抽象语法树四者在处理函数重载时的相互关系。最后详细介绍了重载函数的存储、名字解析、重载解析的方法。

基于JavaCC的抽象语法树生成错误处理技术研究

随着C++语言标准的不断演进,词法语法解析工具如JavaCC等对于很多扩充的新特性以及复杂的语法结构不能做到完全支持,这可能会导致抽象语法树生成错误且不完整;针对这一问题,提出一个针对抽象语法树生成错误的处理框架;首先,通过对JavaCC的扩充,实现一套可以解析C++语言的词法语法分析器,生成抽象语法树并记录报错行;其次,根据报错行寻找所在函数区间即不支持或不匹配的语法片段;最后,通过注释函数区间的方式来跳过不支持或不匹配的语法片段进行错误处理并迭代生成抽象语法树;实验结果表明,对抽象语法树生成进行错误处理后可以更全面的分析代码,抽象语法树完成率上升37.8%,分析行数提高3.9倍。

基于SUIF自动产生具有OpenMP编译指示的并行程序

介绍了如何基于SUIF实现具有OpenMP编译指示的自动并行化工作,即利用SUIF系统所提供的遍(pass)、注释(annotation)和C抽象语法树等技术,通过对类Ctree的修改,把并行注释转化为OpenMP编译指示,实现由串行程序到并行C程序的自动生成。

同步语言Lustre的编译前端的设计与实现

同步语言Lustre所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非常严重的后果。系统中的任何一个词法错误或者语法错误都应该受到重视,而且应该被及时纠正。因此,对Lustre语言进行正确的编译是十分重要的。传统的Lustre语言的编译器都采用OCaml语言描述,无法保证所有人员都能够很容易地理解和使用,而且,需要耗费开发人员大量的时间和精力。基于上述问题,提出了一种新型的Lustre语言编译器。新型的Lustre语言编译器前端主要采用C++语言进行描述,并对生成的抽象语法树的结构进行重新定义,简化了编译的过程。该编译前端会对一个经典的Lustre语言模型进行检测,通过对检测的结果进行分析,验证了该编译前端的可行性。

一种支撑C^3R逻辑框图生成的代码分块方法

以代码块的形式作为C^3R逻辑框图生成的基石,在抽象语法树生成的过程中运用不同的规则标识各语句结构,得到对应的、附有实际意义的代码块。通过这样的方法不但可以清晰地展现出源码的程序逻辑结构,而且得到了准确且尽可能少的代码块,提高了后期进一步分析的效率(如:测试覆盖率),具有较强的优越性。更为软件测试理论到实际的应用打下坚实的基础。