電子發燒友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的安全編譯器
- 主流的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次下載
- C語言編譯器 50次下載
- C196編譯器軟件
- embOS的MISRA-C:2012一致性 243次閱讀
- SEGGER編譯器優化和安全技術介紹 支持最新C和C++語言 1114次閱讀
- Linux 下GCC的編譯 2026次閱讀
- Linux使用gcc編譯程序的語法 554次閱讀
- Keil MDK使用GCC編譯器的方法 2675次閱讀
- 領域編譯器發展的前世今生 1472次閱讀
- 交叉編譯器安裝教程 3269次閱讀
- VScode編譯器如何配置C/C++編譯環境 5431次閱讀
- 編譯器優化對函數的影響 2734次閱讀
- 虛擬機：編譯器對C函數的名字修飾 2469次閱讀
- 如何選擇PIC單片機的C編譯器 5245次閱讀
- C到VHDL的編譯器設計與實現詳解 4422次閱讀
- GCC編譯器你需要知道的入門知識 8701次閱讀
- 用于linux系統下編程的編譯器,掌握gcc的基本用法 5579次閱讀
- 編譯器是如何工作的_編譯器的工作過程詳解 1.5w次閱讀
上傳資料賺積分下載排行
本周
- 1如何正確測試電源的紋波
- 0.36 MB | 2次下載 | 免費
- 2Modbus測試工具
- 0.72 MB | 1次下載 | 2 積分
- 3550W充電機原理圖
- 0.13 MB | 1次下載 | 6 積分
- 4TAS5411Q1EVM用戶指南
- 2.24MB | 次下載 | 免費
- 5DRV2605LDGS觸覺驅動迷你板用戶指南
- 3.13MB | 次下載 | 免費
- 6廣告牌循環彩燈PLC控制系統
- 1.33 MB | 次下載 | 1 積分
- 7鋁電解電容器基本化學知識
- 0.16 MB | 次下載 | 免費
- 8E4991A操作手冊/說明書
- 8.89 MB | 次下載 | 10 積分
本月
- 1使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 2美的電磁爐維修手冊大全
- 1.56 MB | 22次下載 | 5 積分
- 33314A函數發生器維修手冊
- 16.30 MB | 13次下載 | 免費
- 4使用TL431設計電源
- 0.67 MB | 8次下載 | 免費
- 5感應筆電路圖
- 0.06 MB | 8次下載 | 免費
- 6LZC3106G高性能諧振控制器中文手冊
- 1.29 MB | 7次下載 | 1 積分
- 7SMD LED選型手冊 貼片燈珠
- 5.47 MB | 5次下載 | 免費
- 8萬用表UT58A原理圖
- 0.09 MB | 4次下載 | 5 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935119次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73807次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65987次下載 | 10 積分
工商網監
評論