基于CIL的C语言类型系统构建研究

作者：方昭潭; 苏亭; 李博; 经小川; 张伟

来源：计算机工程与设计, 2014, 35(05): 1667-1673.

DOI：10.16208/j.issn1000-7024.2014.05.039

• 测试用例
• 自动生成
• CIL(C语言中间语言)
• 类型系统
• 类型插桩
• 可视化

针对C单元的测试用例自动生成的研究,提出在基于OCAML(object CAML)的CIL(C intermediate language)工具包上的类型系统构建方法。通过工具前端对C单元中代码的类型插桩,对基本数据类型以及每个全局对象、自定义对象进行类型统计,实现自动检测C单元中对象类型,在工具后端根据这些对象类型和其内存布局将当前的测试用例可视化。结合具体的CIL开源工具,为解决这类测试用例可视化的问题提供一个解决方案。

• 单位
  中国航天系统科学与工程研究院; 华东师范大学