【摘要】：隨著我國國防、航空等領(lǐng)域的飛速發(fā)展,高性能自主可控的軟、硬件已經(jīng)成為我國自主化信息產(chǎn)業(yè)發(fā)展的必備技術(shù)。對一個國家而言,自主可控的信息系統(tǒng)是非常重要的。國防、航天航空領(lǐng)域信息自主化必須構(gòu)筑于安全關(guān)鍵系統(tǒng)之上,而國產(chǎn)龍芯處理器在國產(chǎn)信息化的道路上發(fā)揮著重要作用,其性能的發(fā)揮需要系統(tǒng)核心軟件的全力配合。作為系統(tǒng)核心軟件之一的編譯器的重要性已提升至信息產(chǎn)業(yè)前列,是確保安全關(guān)鍵系統(tǒng)能否正常運(yùn)行的關(guān)鍵。以國防科工委公布的《航天型號軟件C語言安全子集》作為安全檢測技術(shù)的標(biāo)準(zhǔn),構(gòu)造符合規(guī)范的測試用例,對LonGcc編譯器進(jìn)行改造、升級。最后實(shí)測表明,所構(gòu)造的編譯器符合《航天型號軟件C語言安全子集》標(biāo)準(zhǔn),并且沒有增加執(zhí)行時的開銷。本文主要進(jìn)行了以下的工作:(1)通過對比三種編譯器Gcc,CompCert,Clang對《航天型號軟件C語言安全子集》的支持程度選取了Gcc4.9.3作為基準(zhǔn)編譯器,在此基礎(chǔ)上構(gòu)造安全編譯器LonGcc。分析《航天型號軟件C語言安全子集》規(guī)則并結(jié)合LonGcc實(shí)際需求實(shí)現(xiàn)了安全子集的等級劃分策略。(2)對詞法分析、語法分析涉及到的主要函數(shù)和流程進(jìn)行分析,并分析了Gcc中重要數(shù)據(jù)結(jié)構(gòu),對Gcc中重要樹節(jié)點(diǎn)進(jìn)行分析說明。(3)采取移植Gcc前端的方法,添加安全檢測開關(guān)fsafe_c,擴(kuò)展Gcc前端中的詞法分析、語法語義分析部分實(shí)現(xiàn)了基于《航天型號軟件C語言安全子集》的安全編譯器LonGcc。(4)對LonGcc編譯器進(jìn)行安全性測試,根據(jù)《航天型號軟件C語言安全子集》的規(guī)則要求,為每條規(guī)則編寫了大量的測試用例來驗證其正確性,通過與商業(yè)測試軟件工具Testbed的對比,證明LonGcc編譯器具有可靠性和實(shí)用性。
【學(xué)位授予單位】：西華師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2018
【分類號】：TP332
【圖文】：

圖 2-1 程序員人為失誤示例Fig.2-1 Programmers think failure sample員誤解編程語言。比如，盡管 C 語言操作符具有不作符的優(yōu)先級不同，因此一些復(fù)雜表達(dá)式很容易引導(dǎo)-2 所示。

圖 2-3 運(yùn)行時錯誤示例Fig.2-3 Runtime error sample入式系統(tǒng)本身的原因和嵌入式平臺的差異。比如，由于小的可用內(nèi)存空間，因此過度使用動態(tài)內(nèi)存分配可能會導(dǎo)

【參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 趙偉;;代碼規(guī)則檢查工具評析[J];計算機(jī)技術(shù)與發(fā)展;2015年07期

2 石剛;王生原;董淵;嵇智源;甘元科;張玲波;張煜承;王蕾;楊斐;;同步數(shù)據(jù)流語言可信編譯器的構(gòu)造[J];軟件學(xué)報;2014年02期

3 侯成杰;;航天器C語言軟件常見編程錯誤分析及檢測方法研究[J];空間控制技術(shù)與應(yīng)用;2013年06期

4 王蕾;石剛;董淵;白曉穎;王生原;;一個C語言安全子集的可信編譯器[J];計算機(jī)科學(xué);2013年09期

5 何炎祥;吳偉;劉陶;李清安;陳勇;胡明昊;劉健博;石謙;;可信編譯理論及其核心實(shí)現(xiàn)技術(shù):研究綜述[J];計算機(jī)科學(xué)與探索;2011年01期

相關(guān)碩士學(xué)位論文 前4條

1 曲長亮;一種面向安全關(guān)鍵軟件的程序證明方法研究[D];南京航空航天大學(xué);2014年

2 李鋒;航天C程序安全規(guī)則檢查技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2010年

3 申瑞芬;高可信安全編譯器的設(shè)計與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2007年

4 馬文姣;航天型號軟件的安全性測試技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2007年

本文編號：2726470