首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

自动化检测工具助力GJB 8114-2013 C/C++语言编程安全子集标准落地应用

2013年7月10日,中国人民解放军总装备部发布了中华人民共和国国家军用标准GJB 8114,全称为GJB 8114-2013《C/C++语言编程安全子集》,提出软件编程标准,以提高国家军用软件的安全性,并作为静态规则检查的依据。GJB 8114的提出源于2005年发布的GJB 5369,全称为GJB 5359-2005《航天型号软件C语言安全子集》是航天领域嵌入式C语言的编程标准,GJB 8114对原有的规则进行了升级和扩充,扩展了应用场景,适用于所有军用软件开发,同时明确的提出了C语言的编程规范和C++语言的编程规范内容,即标准中的第五章规定C和C++语言编程时应该遵守的共同准则,第六章规定C++语言编程时应遵守的专用准则,其中C 和 C++共用的强制准则共124条,C++专用的强制准则28条,C 和 C++共用的建议准则41条,C++专用的建议准则11条。标准总计204条。标准中每条准则采取固定格式描述,并给出违背和遵循正反两个示例,以供开发人员和评测中心参照。

04
领券