MISRA C:2025新标准解析:新增规则、优化点与静态代码分析工具支持(Perforce QAC、Klocwork)
本文来源perforce.com,新标析新由Perforce中国授权合作伙伴、准解增规则优支持DevSecOps解决方案提供商-龙智翻译整理。化点
2025年3月,静态嵌入式开发领域迎来重要更新——MISRA C:2025®正式发布!代码作为Perforce中国授权合作伙伴,分析龙智一直密切关注、工具及时分享这一关键标准的新标析新演进,助力企业构建更安全、准解增规则优支持可靠的化点嵌入式系统。
本文,静态我们将带您了解:MISRA C:2025有何重要变化?代码对于依赖MISRA®标准开发安全关键型系统的企业来说,新版本意味着什么?分析如何通过静态分析工具(如Perforce QAC、Klocwork)快速实现合规?工具
MISRA C:2025概述
2025年3月,MISRA C:2025在德国纽伦堡举办的新标析新Embedded World大会中正式发布。与前版MISRA C:2023相比,MISRA C:2025的实质性更新较少,但它基于MISRA C:2023的高效框架,引入了重要的政策调整、增强功能和新准则,进一步简化了开发可靠、稳健的安全关键型代码的流程。
MISRA C:2023涵盖哪些内容?
MISRA C软件开发指南旨在确保使用C语言编写的软件安全可靠。这些指南为开发者提供了一系列需要遵循的规则和指令,并允许开发者使用工具(如Perforce的静态分析工具Perforce QAC 和Klocwork)来帮助检测任何违规行为。
在MISRA C:2025发布之前,MISRA C:2023是最后一个主要版本,共包含221条准则,涵盖C90、C99和C11/C18。
MISRA C:2025更多是对现有指南的增量升级,但它为支持下一版C语言标准和开发环境的更新奠定了基础。MISRA C:2025仍涵盖C90、C99和C11/C18,同时对现有准则进行了合理优化和重组,以保持连续性,同时也增加了新的准则,使现行准则总数达到225条。
MISRA C:2025采用了较新的滚动发布开发模式,取代了独立的修订文档形式,以便开发者能够更好地与文档及其迭代进行交互。
MISRA C:2025有哪些变化?
新增规则
MISRA C:2025新增了5条指南。其中一条较为有趣的新规则是Rule 19.3,它通过将“一致使用某个变体成员”与更严格的“禁止更改活动成员(可能有安全风险)”区分开来,放宽了对联合体(union)的使用限制。这条规则原本是一个全面的限制,但现在对于常规“安全”的用法,仅作为建议性规则。
MISRA C:2025还包括其他新规则,例如关于声明的规则,以及从基本类型系统中提取指针的规则,以使其更加连贯。
规则调整
对一些现有规则进行了扩展。例如,指针转换规则(Rule 11.3、11.4、11.6)现在考虑到了”intptr_t “类型,为处理整数和地址的整数表示提供了更多可能性。在之前的版本中,地址操作是全面禁止的,而这种操作对于一些低级系统功能(如指针标记)来说是必不可少的。
规则重组
MISRA C:2025对部分准则进行了重组,将规则归入到更适合的类别中,并重新调整了规则和指令之间的定位。这一重组工作为下一版本的扩展奠定了坚实基础。
引入“已删除”和“不适用”规则
这是首次在新版发布中引入“已删除”和“不适用”规则。
已删除的规则编号在后续版本中不会被重新启用。因此,当检测工具针对旧版本代码提示”违反Rule 21.2″时(该规则已被重新编号并从当前版本中删除),这个警告将特指MSIRA C:2023标准中原来的Rule 21.2含义,不会与其他规则产生歧义。
这是一个重要的里程碑,因为MISRA现在认识到,随着分析技术和审查理念的发展,并非所有的历史规则都具有价值。(例如,备受争议的Rule 15.5在MISRA C:2025中被停用)。
新的”不适用”类别还允许用户在必要时重新启用该规则。
使用Perforce QAC/ Klocwork实现MISRA合规性
MISRA一直在不断审查C和C++语言的规则和指南。虽然每个版本的设计都旨在让代码更安全、更可靠,但开发人员仍然需要了解这些规则,检查代码是否违规,并持续监控代码以确保符合MISRA标准。
选择合适的静态代码分析工具可以加速实现MISRA合规。Perforce静态分析工具QAC(原Helix QAC)和Klocwork能够自动扫描代码,发现违规行为,并立即识别不合规的代码,从而在代码投入生产前修复违规代码。
Perforce QAC还具有新的合规性模块,完全涵盖MISRA C:2025,帮助您轻松满足并记录 MISRA C:2025的合规性。
即刻咨询Perforce中国授权合作伙伴、DevSecOps解决方案提供商-龙智,申请QAC MISRA C:2025合规性模块的应用演示,或免费试用Perforce QAC与Klocwork。
- ·本田警告日产:接触富士康或致合作终止
- ·科龙空调“制热节”启动 购机多重优惠强势来袭—万维家电网
- ·智能化战略再下一城 志高强势引爆国庆双节钜惠—万维家电网
- ·今夏世界杯的正确打开方式,你get到了么?—万维家电网
- ·大模型安全联盟在北京成立,360展示多项创新成果
- ·海尔一站式智慧成套解决方案亮相CES,外媒争相报道—万维家电网
- ·从卖产品到卖场景,统帅电器打造年轻人生活场景上线—万维家电网
- ·IFA2018:海尔智慧客厅里的天玺空调,帮你实现智能空气控制—万维家电网
- ·燧原科技亮相2024中国人工智能大会
- ·为了更安心的呼吸,松下环境在思索中创新求变—万维家电网
- ·空调大战今年有什么新玩意?看专家怎么说—万维家电网
- ·自清洁更健康 海尔“净界”新品定义空调两季新概念—万维家电网
- ·回顾2024年可穿戴芯片新品:AI技术迭代加速,医疗监测成为发展新主线
- ·AWE看家电:省心智能舒适,原来空调可以更美的—万维家电网
- ·海尔全球首款“空净合一”净界空调大中首发 —万维家电网
- ·格兰仕:中国制造的又一张名片!—万维家电网
- ·宁德时代与Stellantis集团合资建厂,总投资41亿欧元
- ·千城万店掀热潮!志高智能王200款全国上演“十月围城”—万维家电网
- ·志高推全球首台真正有效除甲醛空调:引领空调业健康战—万维家电网
- ·双节全民狂欢季 志高智能王200款成就品质生活+—万维家电网
- ·39元抽iPhone14?市场监管部门:网上参与抽奖要谨慎
- ·志高智能王200款:独具慧眼 引领智能新风向—万维家电网
- ·【E探到底】买吹风机原来有这么多坑,你遇到过几个?—万维家电网
- ·风靡2018的爆款空调该是什么样?美的空调MWOW给你答案—万维家电网
- ·三星电子获美47.45亿美元芯片补贴
- ·奥克斯空调合作伙伴大会启幕 解读 “奥克斯现象”—万维家电网
- ·安富利荣获2024亚洲金选奖“优秀供货能力通路商”
- ·AWE2018:探秘空调行业最引人瞩目的“黑科技”—万维家电网
- ·闪耀2018CES 未来家居让你超乎想象—万维家电网
- ·2018冷年空调选购指南!就选志高51款—万维家电网
- ·精彩回顾丨为昕科技出席EDTEST2024深圳大会并发表重要演讲
- ·和净化器效果一样,比普通空调好 海尔净界空调获评“嘉电”—万维家电网
- ·海尔U+智慧卧室空气解决方案,为你定制美好生活—万维家电网
- ·2018AWE:海尔智慧家庭空气解决方案,再次引领消费升级新趋势—万维家电网
- ·鼓楼社区开展防灾减灾安全教育_
- ·空调业“攻新计”:志高智能王第4代200款引爆“双节”—万维家电网
