摘要
为验证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.
出处
《计算机工程》
CAS
CSCD
2012年第6期43-46,共4页
Computer Engineering
基金
"核高基"重大专项"面向终端应用的高性能
低功耗嵌入式DSP"(2009ZX01034-001-002-003)
关键词
编译器安全性
中间表示
控制流图
CoSy编译器
同构图
不安全因素范围
compiler security
intermediate representation
control flow graph
CoSy compiler
isomorphic graph
bound of insecure factors
