可信编译器关键技术研究  

Research on the Key Technology of Trusted Compiler

作　　者：何炎祥[1,2] 刘陶[1] 吴伟[1] 

机构地区：[1]武汉大学计算机学院。湖北武汉430072 [2]软件工程国家重点实验室,湖北武汉430072

出　　处：《计算机工程与科学》2010年第8期1-6,35,共7页Computer Engineering & Science

基　　金：国家自然科学基金可信软件重大研究计划资助项目(90818018)

摘　　要：软件的可信性很大程度上依赖于程序代码的可信性。影响软件可信性的主要因素包括来自软件内部的代码缺陷、代码错误、程序故障以及来自软件外部的病毒、恶意代码等,因此从代码角度来保证软件的可信性是实现可信软件的重要途径之一。编译器作为重要的系统软件之一,其可信性对整个计算机系统而言具有非常重要的意义。软件程序一般都需要经过编译器编译后方能执行,如果编译器不可信,则无法保证其所生成代码的可信性。本文主要讨论设计和实现可信编译器的主要思路和关键技术。The trustworthy of software mainly depends on the trustworthy of source codes. Some factors including de- fects,errors and program faults in the source codes, virus from outside and malicious codes etc decide the trustworthy of software, so guaranteeing the trustworthy of software from aspect of source code is one of the most important methods for ensuring the trustworthy of software. As a kind of the most important system software, the trustworthy of compiler plays a critical role in the whole computer system. The software program can only be executed after compiled by compiler, so if the compiler can not be trusted, the trustworthy of executable code outputted can not be guaranteed. The key technologies and thoughts for developing trusted compiler are discussed in this paper.

关 键 词：可信编译 代码可信赖性 词法分析 微型编译器 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]