Ckit系统分析及应用

对C程序进行词法,语法、语意分析及差错检测是编译器需要进行的工作中的重要组成部分,该处理工作对于我们进一步处理C程序至关重要。Ckit系统是使用SML语言编写的一个处理C源程序的前端,它提供了C语言的词法规则和语法规则,能对C源程序进行词法和语法分析并将其转换成抽象语法树,该棵抽象语法树可以使人们对输入的C程序有结构上较为直观的了解。使用该棵语法树,人们还可以实现许多其他相关功能。例如对输入的C程序进行漂亮格式打印。该篇论文详细分析了CKit的内部结构和实现技术,并在该基础上实现了C程序亮格式打印,为大家如何实现C程序的静态分析、程序转换、程序编译提供了重要的思路方法。