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

Research on CoSy C Compiler Security

作　　者：王少培[1] 吴健[1] 阮园[2] 

机构地区：[1]西北工业大学计算机学院,西安710072 [2]中国电子科技集团公司第五十八研究所,江苏无锡214035

出　　处：《计算机工程》2012年第6期43-46,共4页Computer Engineering

基　　金："核高基"重大专项"面向终端应用的高性能;低功耗嵌入式DSP"(2009ZX01034-001-002-003)

摘　　要：为验证CoSy编译器的安全性,并确定不安全因素大致出现的位置,提出一种通过控制流图的同构对比判定CoSy编译器是否安全的方法。该方法生成源程序的控制流图以及CoSy中级中间表示的控制流图后,生成由CoSy编译器产生的目标汇编码的控制流图,根据控制流图同构算法,判断控制流图是否同构,由此确定CoSy编译器的不安全因素发生在编译器的前端还是后端。实验结果表明,该方法能有效验证编译器的安全性。In order to validate the security of CoSy compiler, and roughly determine the location of the insecure factors, this paper puts forwards a method making use of control flow graph isomorphism comparison to estimate the security of CoSy compiler. After creating the control flow graphs of C program and Common CoSy medium-level intermediate representation with the method, the control flow graph of object assembler produced by CoSy compiler is generated, and estimates whether the control flow graphs are isomorphic, which determines the insecure factors are in front-end or back-end of CoSy compiler, according to isomorphism algorithm. Experimental result indicates that the method can satisfactorily validate the security of the compiler.

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

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]