PCC中数组边界检查的优化和生成

• 作者: 张昱 胡荣贵 郭帆 陈意云
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 认证编译器 控制流图 携带证明的代码 注解 优化
• 年，卷（期）: 2003,（12）
• 页码范围: 2278-2282
• 页数: 5页
• 分类号: TP314
• 字数: 4953字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2003.12.056

摘要

PCC的数组边界检查存在着由于无法确定数组下标表达式符号值的范围,而造成拒绝执行一些安全的移动代码等问题.本文给出的一种数组边界检查的优化及生成算法,不仅能够比较好地解决了这一问题,同时还生成了循环不变式注解中的条件谓词.我们设计的编译器--认证编译器--已经实现了这些算法,并完成了从用C编程语言的类型安全子集编写的源程序到携带注解的Intel x86/linux汇编语言程序的编译过程.由于基于语言安全策略系统的证明是建立在携带注解的代码基础之上的,因此该认证编译器中实现的算法在移动代码安全检查中非常有用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张昱	中国科学技术大学计算机科学与技术系	148	1995	25.0	38.0
2	陈意云	中国科学技术大学计算机科学与技术系	83	854	16.0	26.0
3	郭帆	中国科学技术大学计算机科学与技术系	10	14	2.0	3.0
4	胡荣贵	中国科学技术大学计算机科学与技术系	11	8	2.0	2.0