电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
MISRA-C是基于C89标准抽取出的安全C语言子集，已经逐渐成为安全关键嵌入式领域的软件编码标准。作为在嵌入式领域被广泛使用的编译器，GCC并没有针对任何安全子集规范做系统惶的语法和语义检查，不能帮助软件开发者尽早发现软件存在的安全隐患。本文基于GCC设计和实现了支持MISRA-C：2004安全子集规范的安全编译器CCRG-SC．在实现中，将MISRA-C的规则分为6类，提出了每类规则在GCC中的实现方法，并以tag相关规则为例介绍了具体的检测算法。采用CCRG-SC编译嵌入式操作系统弘C／OS，能够检测出违反MISR小C：2004安全子集规范的代码。
嵌人式软件已广泛应用于航空航天、武器控制系统等安全关键领域。这些领域的实时性、安全关键等需求，要求嵌入式软件具有高可信性［1］，即高可靠性、安全性、保密性、生存性和容错性。目前，大多数嵌入式软件都采用C语言编写，但是C语言并非专门为嵌入式软件设计，没有针对嵌人式环境的安全性、可靠性的特殊要求做任何语法语义上的特殊约定，导致其中部分语法语义的使用会降低软件可信性。为了防止开发者使用这些可能导致安全隐患的语法语义，国内外普遍采用抽取C语言安全子集的方法，即在开发安全攸关软件的过程中只能使用C语言的一个安全子集。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于GCC实现支持MISRAC的安全编译器 9次下载
- GCC编译流程分析资料下载 16次下载
- 主流的C语言编译器详细介绍 2次下载
- 主流C语言编译器的详细资料介绍 1次下载
- C语言编译器MINGW的使用说明详细资料概述 15次下载
- KEIL C编译器中常见的警告与错误信息的详细解决办法资料概述 14次下载
- Linux教程之如何对Linux系统下的gcc进行编程的基本使用教程 4次下载
- MPLAB C18编译器到MPLAB XC8 C编译器的移植过程详细中文资料概述 46次下载
- MPLAB XC8 C编译器的用户指南详细中文资料概述免费下载 339次下载
- 如何将C源代码从MPLAB C18编译器移植到MPLAB XC8C编译器的详细概述 30次下载
- 如何使用编译器顾问提高芯片的性能详细资料概述 6次下载
- TMS320C54x汇编语言工具C／C++编译器的功能优化详细概述 10次下载
- gcc编译器下载 windows版 0次下载
- Linux上安装GCC3.4.0编译器过程 0次下载
- 软件编程规范(MISRA-C) 25次下载
- Linux 下GCC的编译 1001次阅读
- Linux使用gcc编译程序的语法 348次阅读
- Keil MDK使用GCC编译器的方法 1812次阅读
- 如何从GCC源码学编译原理 1251次阅读
- 领域编译器发展的前世今生 1104次阅读
- 交叉编译器安装教程 2471次阅读
- 编译器优化对函数的影响 2541次阅读
- 编译器原理到底是怎样的带你简单的了解编译器原理 1w次阅读
- 嵌入式web server boa在S3C2410上的编译移植步骤 1132次阅读
- C到VHDL的编译器设计与实现详解 4158次阅读
- verilog编译指令_verilog编译器指示语句（数字IC） 1.3w次阅读
- GCC编译器你需要知道的入门知识 8539次阅读
- 用于linux系统下编程的编译器,掌握gcc的基本用法 5397次阅读
- 编译器是如何工作的_编译器的工作过程详解 1.5w次阅读
- 编译器跟编辑器有什么区别 2.8w次阅读
上传资料赚积分下载排行
本周
- 1TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 2开关电源基础知识
- 5.73 MB | 11次下载 | 免费
- 3100W短波放大电路图
- 0.05 MB | 4次下载 | 3 积分
- 4嵌入式linux-聊天程序设计
- 0.60 MB | 3次下载 | 免费
- 5DIY动手组装LED电子显示屏
- 0.98 MB | 3次下载 | 免费
- 6基于FPGA的C8051F单片机开发板设计
- 0.70 MB | 2次下载 | 免费
- 751单片机PM2.5检测系统程序
- 0.83 MB | 2次下载 | 免费
- 8基于51单片机的RGB调色灯程序仿真
- 0.86 MB | 2次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537797次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191186次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
工商网监
评论