MISRA-C是基于C89標(biāo)準(zhǔn)抽取出的安全C語(yǔ)言子集，已經(jīng)逐漸成為安全關(guān)鍵嵌入式領(lǐng)域的軟件編碼標(biāo)準(zhǔn)。作為在嵌入式領(lǐng)域被廣泛使用的編譯器，GCC并沒(méi)有針對(duì)任何安全子集規(guī)范做系統(tǒng)惶的語(yǔ)法和語(yǔ)義檢查，不能幫助軟件開(kāi)發(fā)者盡早發(fā)現(xiàn)軟件存在的安全隱患。本文基于GCC設(shè)計(jì)和實(shí)現(xiàn)了支持MISRA-C：2004安全子集規(guī)范的安全編譯器CCRG-SC．在實(shí)現(xiàn)中，將MISRA-C的規(guī)則分為6類(lèi)，提出了每類(lèi)規(guī)則在GCC中的實(shí)現(xiàn)方法，并以tag相關(guān)規(guī)則為例介紹了具體的檢測(cè)算法。采用CCRG-SC編譯嵌入式操作系統(tǒng)弘C／OS，能夠檢測(cè)出違反MISR小C：2004安全子集規(guī)范的代碼。

　　嵌人式軟件已廣泛應(yīng)用于航空航天、武器控制系統(tǒng)等安全關(guān)鍵領(lǐng)域。這些領(lǐng)域的實(shí)時(shí)性、安全關(guān)鍵等需求，要求嵌入式軟件具有高可信性［1］，即高可靠性、安全性、保密性、生存性和容錯(cuò)性。目前，大多數(shù)嵌入式軟件都采用C語(yǔ)言編寫(xiě)，但是C語(yǔ)言并非專(zhuān)門(mén)為嵌入式軟件設(shè)計(jì)，沒(méi)有針對(duì)嵌人式環(huán)境的安全性、可靠性的特殊要求做任何語(yǔ)法語(yǔ)義上的特殊約定，導(dǎo)致其中部分語(yǔ)法語(yǔ)義的使用會(huì)降低軟件可信性。為了防止開(kāi)發(fā)者使用這些可能導(dǎo)致安全隱患的語(yǔ)法語(yǔ)義，國(guó)內(nèi)外普遍采用抽取C語(yǔ)言安全子集的方法，即在開(kāi)發(fā)安全攸關(guān)軟件的過(guò)程中只能使用C語(yǔ)言的一個(gè)安全子集。