基于GCC实现支持MISRA-C的安全编译器
MISRA-C是基于C89标准抽取出的安全C语言子集,已经逐渐成为安全关键嵌入式领域的软件编码标准。作为在嵌入式领域被广泛使用的编译器,GCC并没有针对任何安全子集规范做系统性的语法和语义检查,不能帮助软件开发者尽早发现软件存在的安全隐患。本文基于GCC设计和实现了支持MISRA-C:2004安全子集规范的安全编译器CCRG-SC。在实现中,将MISRA-C的规则分为6类,提出了每类规则在GCC中的实现方法,并以tag相关规则为例介绍了具体的检测算法。采用CCRG-SC编译嵌入式操作系统μC/OS,能够检测出违反MISRA-C:2004安全子集规范的代码。
安全编译器 嵌入式操作系统 GCC μC/OS
申瑞芬 黄春 王锋 李春江
国防科技大学计算机学院 长沙 410073
国内会议
西安
中文
18-21,30
2007-09-20（万方平台首次上网日期，不代表论文的发表时间）