CoSy C语言编译器安全性研究

摘要：

为验证CoSy编译器的安全性,并确定不安全因素大致出现的位置,提出一种通过控制流图的同构对比判定CoSy编译器是否安全的方法.该方法生成源程序的控制流图以及CoSy中级中间表示的控制流图后,生成由CoSy编译器产生的目标汇编码的控制流图,根据控制流图同构算法,判断控制流图是否同构,由此确定CoSy编译器的不安全因素发生在编译器的前端还是后端.实验结果表明,该方法能有效验证编译器的安全性.

关键词：编译器安全性、中间表示、控制流图、CoSy编译器、同构图、不安全因素范围

所属期刊栏目：38

分类号：TP314(计算技术、计算机技术)

资助基金：“核高基”重大专项“面向终端应用的高性能、低功耗嵌入式DSP” 2009ZX01034-001-002-003

在线出版日期：2012-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：43-46