CoSy C语言编译器程序缓冲区溢出研究

• 作者: 丘征 史岩 李蜀瑜 陈长胜
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 中间表示 CoSy 缓冲区溢出 XML
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 93-96
• 分类号: TP314
• 字数: 3242字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2012.06.024

摘要

CoSy是ACE公司开发的编译器构架,为了保证CoSy C编译器输入程序的安全性,避免产生编译器缓冲区溢出问题,提出了编译器缓冲区溢出判断模型.根据C源程序编译器缓冲区溢出漏洞的特征,建立了编译器缓冲区溢出判断模型；给出了重建CoSy中间表示CCMIR( Common CoSy Medium-level Intermediate Representation)的方法；最后,给出了CCMIR程序安全性判定算法.实验结果表明,这种模型可以有效地判断输入程序的安全性.因此,通过重建CCMIR模型可以有效地避免CoSy C语言编译器编译过程中的缓冲区溢出同题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李蜀瑜	陕西师范大学计算机科学学院	57	229	7.0	11.0
2	史岩	陕西师范大学计算机科学学院	5	36	2.0	5.0
3	丘征	陕西师范大学计算机科学学院	1	1	1.0	1.0
4	陈长胜	陕西师范大学计算机科学学院	1	1	1.0	1.0