1、本文主要研究了一個(gè)支持多平臺(tái)的C語言編譯器，它可以在Windows主機(jī)上運(yùn)行，可編譯和反編譯運(yùn)行在htel 80486實(shí)模式、無操作系統(tǒng)目標(biāo)機(jī)下的可執(zhí)行程序，優(yōu)化性能卓越，編譯目標(biāo)代碼尺寸足夠小、執(zhí)行效率足夠高，并且安全可靠。 本文以開放源碼的優(yōu)化編譯系統(tǒng)--GCC為研究基礎(chǔ)，著重對(duì)目標(biāo)機(jī)體系結(jié)構(gòu)相關(guān)的優(yōu)化編譯方法和優(yōu)化技術(shù)進(jìn)行了分析研究。在這些工作的基礎(chǔ)上，我們進(jìn)一步研究了這些優(yōu)化模塊引入安全性問題的可能性及其可能嵌入惡意代碼

2、的位置，并根據(jù)航天軍工等領(lǐng)域?qū)η度胧杰浖奶厥庑枨?，提出了一個(gè)針對(duì)編譯器本身的安全性驗(yàn)證方案，它包含4個(gè)關(guān)鍵環(huán)節(jié)：編譯器代碼分析、安全性保障斷言和驗(yàn)證代碼附加、惡意代碼嵌入位置分析和嵌入以及安全性確認(rèn)測(cè)試；同時(shí)，有四種角色參與整個(gè)驗(yàn)證過程，包括代碼分析員、安全保障員、模擬攻擊員和安全確認(rèn)員。 最后，為了測(cè)試方案的可行性和有效性，我們用一個(gè)實(shí)例描述了這個(gè)方案的具體實(shí)施過程。在前期代碼分析的基礎(chǔ)上，安全保障員對(duì)優(yōu)化模塊附加驗(yàn)證代碼，