本文主要研究了一个支持多平台的C语言编译器,它可以在Windows主机上运行,可编译和反编译运行在Intel 80486实模式、无操作系统目标机下的可执行程序,优化性能卓越,编译目标代码尺寸足够小、执行效率足够高,并且安全可靠。本文以开放源码的优化编译系统——GCC为研究基础,着重对目标机体系结构相关的优化编译方法和优化技术进行了分析研究。在这些工作的基础上,我们进一步研究了这些优化模块引入安全性问题的可能性及其可能嵌入恶意代码的位置,并根据航天军工等领域对嵌入式软件的特殊需求,提出了一个针对编译器本身的安全性验证方案,它包含4个关键环节:编译器代码分析、安全性保障断言和验证代码附加、恶意代码嵌入位置分析和嵌入以及安全性确认测试;同时,有四种角色参与整个验证过程,包括代码分析员、安全保障员、模拟攻击员和安全确认员。最后,为了测试方案的可行性和有效性,我们用一个实例描述了这个方案的具体实施过程。在前期代码分析的基础上,安全保障员对优化模块附加验证代码,模拟攻击员嵌入恶意代码。结果表明,安全确认员能够在合理的时间内成功发现编译器嵌入了恶意代码。