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