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

• 作者: 吴健 王少培 阮园
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 编译器安全性 中间表示 控制流图 CoSy编译器 同构图 不安全因素范围
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 43-46
• 分类号: TP314
• 字数: 2842字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.06.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴健	西北工业大学计算机学院	120	966	17.0	23.0
2	阮园	中国电子科技集团公司第五十八研究所	12	47	4.0	6.0
3	王少培	西北工业大学计算机学院	1	0	0.0	0.0