何炎祥

编译器是重要的系统软件，除了编译功能，在许多领域都有应用，如绿色计算、嵌入式系统优化、代码分析与验证、可信计算、软件测试等。编译器是否可信直接影响着整个计算机系统的可信性，因此编译器的可信性一直受到人