作者：赖策; 李明东; 刘茜; 李艳梅龙芯处理器形式化验证安全检测longcc编译器c语言安全子集
摘要：国产龙芯处理器在国产信息化的道路上发挥着重要作用,其性能的发挥需要系统核心软件的全力配合。作为系统核心软件之一的编译器的重要性已提升至信息产业前列,是确保安全关键系统能否正常运行的关键。以国防科工委公布的航天型号C语言安全子集作为安全检测技术的标准,构造符合规范的测试用例,通过形式化验证技术对LonGcc编译器进行改造、升级。最后实测表明,所构造的编译器符合C语言安全子集标准,并且没有增加执行时的开销。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《西华师范大学学报·哲学社会科学版》（CN：51-1674/C）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。 《西华师范大学学报·哲学社会科学版》坚持人文社会科学的正确导向，注重反映社科学术研究的最新成果，积极追踪社会学术热点和理论前沿，所刊论文具有科学性、创新性和实践性。在编校质量和编排规范上追求高标准、高品位。主要刊载哲学、政治学、法学、经济学、文学、语言学、历史学、教育学等学科的学术论文，辟有巴蜀文化研究、三国历史文化研...
杂志详情
