论文部分内容阅读
软件的可信性很大程度上依赖于程序代码的可信性。影响软件可信性的主要因素包括来自软件内部的代码缺陷、代码错误、程序故障以及来日软件外部的病毒、恶意代码等，因此从代码角度来保证软件的可信性是实现可信软件的重要途径之一。编译器作为重要的系统软件之一，其可信性对整个计算机系统而言具有非常重要的意义。软件程序一般都需要经过编译器编译后方能执行，如果编译器不可信，则无法保证其所生成代码的可信性。本文主要讨论设计和实现可信编译器的主要思路和关键技术。