面向龙芯处理器的编译检测技术研究

国产龙芯处理器在国产信息化的道路上发挥着重要作用,其性能的发挥需要系统核心软件的全力配合。作为系统核心软件之一的编译器的重要性已提升至信息产业前列,是确保安全关键系统能否正常运行的关键。以国防科工委公布的航天型号C语言安全子集作为安全检测技术的标准,构造符合规范的测试用例,通过形式化验证技术对LonGcc编译器进行改造、升级。最后实测表明,所构造的编译器符合C语言安全子集标准,并且没有增加执行时的开销。