發(fā)布時間：2020-06-23 00:07

【摘要】：隨著我國國防、航空等領(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)能否正常運行的關(guān)鍵。以國防科工委公布的《航天型號軟件C語言安全子集》作為安全檢測技術(shù)的標準,構(gòu)造符合規(guī)范的測試用例,對LonGcc編譯器進行改造、升級。最后實測表明,所構(gòu)造的編譯器符合《航天型號軟件C語言安全子集》標準,并且沒有增加執(zhí)行時的開銷。本文主要進行了以下的工作:(1)通過對比三種編譯器Gcc,CompCert,Clang對《航天型號軟件C語言安全子集》的支持程度選取了Gcc4.9.3作為基準編譯器,在此基礎(chǔ)上構(gòu)造安全編譯器LonGcc。分析《航天型號軟件C語言安全子集》規(guī)則并結(jié)合LonGcc實際需求實現(xiàn)了安全子集的等級劃分策略。(2)對詞法分析、語法分析涉及到的主要函數(shù)和流程進行分析,并分析了Gcc中重要數(shù)據(jù)結(jié)構(gòu),對Gcc中重要樹節(jié)點進行分析說明。(3)采取移植Gcc前端的方法,添加安全檢測開關(guān)fsafe_c,擴展Gcc前端中的詞法分析、語法語義分析部分實現(xiàn)了基于《航天型號軟件C語言安全子集》的安全編譯器LonGcc。(4)對LonGcc編譯器進行安全性測試,根據(jù)《航天型號軟件C語言安全子集》的規(guī)則要求,為每條規(guī)則編寫了大量的測試用例來驗證其正確性,通過與商業(yè)測試軟件工具Testbed的對比,證明LonGcc編譯器具有可靠性和實用性。
【學位授予單位】：西華師范大學
【學位級別】：碩士
【學位授予年份】：2018
【分類號】：TP332
【圖文】：

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

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

【參考文獻】

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

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

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

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

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

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

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

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

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

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

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

本文編號：2726470