CPCC抽象语法树的三地址码生成

为了便于代码优化及指令生成，在并行C语言编译器CPCC（Concordia Parallel C Compiler）将源程序的抽象语法树（Abstract Syntax Tree, AST）转换成目标机PAAG（Parallel Array Architecture GPU）处理器的汇编代码时，采用了三地址码作为中间表示形式。基于CPCC AST的结构特点，将AST到三地址码的转换分为三类，即一般表达式的翻译、布尔表达式的翻译以及语句的翻译，并给出了其详细设计思路及是实现方法。实验结果表明，该方案实现了从源码的抽象语法树到三地址码的转换。

一种基于前向计算的动态程序切片方法

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。

结构化文本语言编译器的虚拟机指令设计与优化

针对自主开发IEC61131结构化文本(ST)语言编译器的需求,设计了一套机器无关的虚拟机指令集,指令集按照数据传送、算术运算、逻辑运算、位操作、比较操作、流程控制、函数调用等类型划分,采用三地址码的四元式表示。基于该指令集,设计了结构化文本语言的IF语句、FOR语句、CASE语句、EXIT语句的指令形成算法,编译器将结构化文本语言编译为二进制指令文件。针对FOR语句提出了"向上计数"、"向下计数"、"动态确定上下限"的3种翻译模式,针对CASE语句提出了基于短路求值和跳转表混合的翻译模式,可优化FOR语句、CASE语句的指令结构。对编译形成的二进制指令,采用常量折叠计算、代数简化、临时变量消除、引用点分析等手段,进一步优化指令。实验测试结果表明,优化后的指令在嵌入式工控装置中的解释执行时提升了效率。

基于符号约束的PLC程序正确性验证

符号约束描述了程序中的变量关系,被广泛运用于模型检测、符号执行等程序的静态分析方法中。将符号约束应用于可编程逻辑控制器(PLC)程序的正确性验证,能够发现程序中的逻辑错误。人工计算符号约束不仅冗杂枯燥,而且错误率高。针对语句表形式的PLC程序,提出一种基于符号约束的正确性验证方法,通过分析PLC源代码的控制流及数据流,构造程序的控制流图并将其转换为静态单赋值形式的三地址码,最后使用迭代计算的方法求出每个变量的符号约束。

查打俱乐部地址新方法

在去年10月A版的"信虫部落"栏目中,可为曾教给大家一套如何在欧洲足联官方网站www.uefa.com查找欧洲俱乐部通信地址的方法。但之后许多虫虫发现在这个网站已经查不到俱乐部的地址了。