資料介紹
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語言的一個安全子集。
- C2000? MISRA-C策略
- 基于GCC實現支持MISRAC的安全編譯器
- 主流的C語言編譯器詳細介紹
- 主流C語言編譯器的詳細資料介紹
- C語言編譯器MINGW的使用說明詳細資料概述 15次下載
- KEIL C編譯器中常見的警告與錯誤信息的詳細解決辦法資料概述 14次下載
- Linux教程之如何對Linux系統下的gcc進行編程的基本使用教程 4次下載
- MPLAB C18編譯器到MPLAB XC8 C編譯器的移植過程詳細中文資料概述
- MPLAB IDE和簡化版HI-TECH C PRO編譯器的詳細中文資料概述 0次下載
- MPLAB XC8 C編譯器的用戶指南詳細中文資料概述免費下載
- 如何將C源代碼從MPLAB C18編譯器移植到MPLAB XC8C編譯器的詳細概述
- TMS320C54x匯編語言工具C/C++編譯器的功能優化詳細概述 10次下載
- Linux上安裝GCC3.4.0編譯器過程 0次下載
- 軟件編程規范(MISRA-C) 26次下載
- C196編譯器軟件
- embOS的MISRA-C:2012一致性 547次閱讀
- SEGGER編譯器優化和安全技術介紹 支持最新C和C++語言 1500次閱讀
- Linux 下GCC的編譯 2679次閱讀
- Linux使用gcc編譯程序的語法 727次閱讀
- Keil MDK使用GCC編譯器的方法 3191次閱讀
- 領域編譯器發展的前世今生 1748次閱讀
- 交叉編譯器安裝教程 3557次閱讀
- VScode編譯器如何配置C/C++編譯環境 5659次閱讀
- 編譯器優化對函數的影響 2862次閱讀
- 虛擬機:編譯器對C函數的名字修飾 2576次閱讀
- 如何選擇PIC單片機的C編譯器 5429次閱讀
- C到VHDL的編譯器設計與實現詳解 4659次閱讀
- GCC編譯器你需要知道的入門知識 8809次閱讀
- 用于linux系統下編程的編譯器,掌握gcc的基本用法 5687次閱讀
- 編譯器是如何工作的_編譯器的工作過程詳解 1.6w次閱讀
下載排行
本周
- 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次下載 | 免費
評論