| CoSy C语言编译器安全性研究 |
| |
| 引用本文： | 王少培,吴健,阮园.CoSy C语言编译器安全性研究[J].计算机工程,2012,38(6):43-46. |
| |
| 作者姓名： | 王少培 吴健 阮园 |
| |
| 作者单位： | 1. 西北工业大学计算机学院,西安,710072
2. 中国电子科技集团公司第五十八研究所,江苏无锡,214035 |
| |
| 基金项目： | “核高基”重大专项“面向终端应用的高性能、低功耗嵌入式DSP”(2009ZX01034-001-002-003) |
| |
| 摘 要： | 为验证CoSy编译器的安全性，并确定不安全因素大致出现的位置，提出一种通过控制流图的同构对比判定CoSy编译器是否安全的方法。该方法生成源程序的控制流图以及CoSy中级中间表示的控制流图后，生成由CoSy编译器产生的目标汇编码的控制流图，根据控制流图同构算法，判断控制流图是否同构，由此确定CoSy编译器的不安全因素发生在编译器的前端还是后端。实验结果表明，该方法能有效验证编译器的安全性。
|
| 关 键 词： | 编译器安全性 中间表示 控制流图 CoSy编译器 同构图 不安全因素范围 |
| 收稿时间： | 2011-08-02 |
Research on CoSy C Compiler Security |
| |
| WANG Shao-pei
,
WU Jian
,
RUAN Yuan.Research on CoSy C Compiler Security[J].Computer Engineering,2012,38(6):43-46. |
| |
| Authors: | WANG Shao-pei WU Jian RUAN Yuan |
| |
| Affiliation: | 1.College of Computer,Northwestern Polytechnical University,Xi’an 710072,China;2.No.58 Research Institute of China Electronics Technology Group Corporation,Wuxi 214035,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | compiler security intermediate representation control flow graph CoSy compiler isomorphic graph bound of insecure factors |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
