0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

静态代码分析器工具Helix QAC 2023.2: 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率

北汇信息POLELINK 2023-07-31 22:53 次阅读

Helix QAC 2023.2 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率,并更新相应的合规性模块以支持 MISRA C:2023。

此外,此版本还包括改进的 C23 语言支持、对Validate平台的改进以及 Helix QAC 和 Validate 的集成,以及其他功能改进。

编码标准覆盖范围(MISRA C:2012、MISRA C:2023 和 CWE)
MISRA C:2012, 2023
Helix QAC为MISRA C:2012 AMD 4和MISRA C:2023提供100%的覆盖,将指南先前的revisions、amendments和技术勘误合并为一个单一、全面的版本。MISRA C:2023最近于今年出版。
• M3CM合规模块已更新,以参考MISRA C:2023。

CWE
CWE C 和 C++ 合规性模块与最新版本的 CWE 4.11 保持一致。

Perforce Validate
持续的安全和代码合规性平台为嵌入式和任务关键型应用程序提供功能安全性、安全性、可靠性和质量保证。

Validate平台为整个组织的代码库提供分析数据、趋势和配置的集中存储,为所有 Perforce 静态分析产品提供单一管理平台。

2023.2 提供:
• 支持Validate中的 Helix QAC 指标。
• 更新了Helix QAC Visual Studio插件,支持与Validate集成。
• 完全支持Validate中的 Helix QAC 自定义消息。

C23 / C++23 语言支持
此版本增加了对以下各项的语言功能支持:
• C23 数字分隔符
• C23 / C++23 #elifdef,#enlifndef和#warning指令

产品体验改善
命令行界面
• 允许启用/禁用诊断消息和抑制的同步
• 输出规则组名称和规则ID的新格式说明符%M

图形用户界面
• 允许自定义 RCF 名称和版本
• 允许启用/禁用诊断消息和抑制的同步

HIS指标
• 此版本具有 Helix QAC 增强功能,可直接生成复合 HIS 指标(以前在报告脚本中计算)。

Helix QAC 2023.2 的重要变化
许可证管理更改
RLM v15 服务器的新安装程序与 Helix QAC 2023.2 版本一起提供。如果将 Helix QAC 与Validate 2023.2 一起使用,则此服务器版本是必需的,否则是可选的。

MISRA C++ 2023 — 新合规模块的早期版本可供预览
MISRA联盟预计将在今年晚些时候发布MISRA C++ 2023编码指南。新标准发布后,将引入新的合规模块以实施执行。在 2023.2 中,合规性模块的早期版本可根据请求提供预览,该模块迄今为止已完成对规则的98% 覆盖。请联系北汇信息以了解更多信息。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 嵌入式
    +关注

    关注

    4982

    文章

    18281

    浏览量

    288467
  • 代码
    +关注

    关注

    30

    文章

    4555

    浏览量

    66772
收藏 人收藏

    评论

    相关推荐

    使用 MISRA C++:2023® 避免基于范围的 for 循环中的错误

    在前两篇博客中,我们 向您介绍了新的 MISRA C++ 标准 和 C++ 的历史 。在这篇博客中,我们将仔细研究以 C++ 中 for 循环为中心的特定规则
    的头像 发表于 03-28 13:53 212次阅读
    使用 <b class='flag-5'>MISRA</b> C++:<b class='flag-5'>2023</b>® 避免基于范围的 for 循环中的错误

    汽车电子行业的MISRA C标准解读

    之前分享了一些编程规范相关的文章,有位读者提到了汽车电子行业的MISRA C标准,说这个很不错。
    的头像 发表于 01-17 11:03 287次阅读

    Helix QAC—软件静态测试工具

    Helix QAC是Perforce公司(原PRQA公司)产品,主要用于C/C++代码的自动化静态分析工作,可以
    的头像 发表于 01-10 17:35 268次阅读
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>—软件<b class='flag-5'>静态</b>测试<b class='flag-5'>工具</b>

    怎么用Vivado做覆盖率分析

    在做仿真的时候往往会去做代码覆盖率和功能覆盖率分析,来保证仿真是做的比较充分完备的。
    的头像 发表于 01-03 12:34 589次阅读
    怎么用Vivado做<b class='flag-5'>覆盖率</b><b class='flag-5'>分析</b>

    汽车行业软件代码满足功能安全与信息安全的最佳实践

    21434信息安全的必要性。这两种功能标准都需要使用诸如MISRA C或C++之类的编码标准。因此,我们将讨论最新的MISRA规则,以及如何使用静态
    的头像 发表于 11-23 20:05 259次阅读
    汽车行业软件<b class='flag-5'>代码</b>满足功能安全与信息安全的最佳实践

    静态代码分析工具Helix QAC 2023.3:将100%覆盖MISRA C++:2023®规则

    Helix QAC 2023.3预计将于2023年第四季度发布的新MISRA C++®指南,将100%
    的头像 发表于 11-08 18:37 226次阅读
    <b class='flag-5'>静态</b><b class='flag-5'>代码</b><b class='flag-5'>分析</b><b class='flag-5'>工具</b><b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2023.3:将<b class='flag-5'>100</b>%<b class='flag-5'>覆盖</b><b class='flag-5'>MISRA</b> C++:<b class='flag-5'>2023</b>®<b class='flag-5'>规则</b>

    代码覆盖率记录

    为确保具体的产品(例如,医疗或航空电子市场)质量合格, 通常需要提供语句覆盖与判定覆盖认证证明。对于各种嵌 入式系统,规范要求高度优化的代码需要实时测试。禁止
    发表于 11-03 11:02 0次下载
    <b class='flag-5'>代码</b><b class='flag-5'>覆盖率</b>记录

    您需要了解的有关下一个MISRA®标准的信息:MISRA C++ 2023®简介

    MISRA C++:2023®是广受期待的MISRA C++ ®标准的下一个版本,将于今年晚些时候发布。新版本将整合AUTOSAR C++14指南,并支持C++的最新版本。 MISRA
    的头像 发表于 08-25 18:06 933次阅读
    您需要了解的有关下一个<b class='flag-5'>MISRA</b>®标准的信息:<b class='flag-5'>MISRA</b> C++ <b class='flag-5'>2023</b>®简介

    嵌入软件静态解析工具

    CasePlayer2 : 适用于嵌入式软件的说明书制作及解析工具 静态解析C/C++源代码自动生成流程图等文件适用于各种嵌入式微机用汇编
    发表于 08-02 11:51

    静态代码测试多语言特长生: Klocwork 2023.2更新快讯

    随着 2023.2 的发布,Klocwork 为 C、C++、C#、Java 和 JavaScript 分析提供了更新和改进。MISRA C:201
    的头像 发表于 08-01 15:19 566次阅读
    <b class='flag-5'>静态</b><b class='flag-5'>代码</b>测试多语言特长生: Klocwork <b class='flag-5'>2023.2</b>更新快讯

    遵守 MISRA 如何提高C++应用的安全性

    有自己的代码审查指南,但MISRA的附加规则集的加入,这些规则已经经过了广泛地研究并证明其可以提高软件质量,代表了在保护软件完整性和可靠性方面的重大飞跃。
    的头像 发表于 07-26 14:12 677次阅读
    遵守 <b class='flag-5'>MISRA</b> 如何提高C++应用的安全性

    什么是静态代码分析静态代码分析概述

    静态分析可帮助面临压力的开发团队。高质量的版本需要按时交付。需要满足编码和合规性标准。错误不是一种选择。 这就是开发团队使用静态分析工具/源
    的头像 发表于 07-19 12:09 925次阅读
    什么是<b class='flag-5'>静态</b><b class='flag-5'>代码</b><b class='flag-5'>分析</b>?<b class='flag-5'>静态</b><b class='flag-5'>代码</b><b class='flag-5'>分析</b>概述

    MISRA C Rule Checker SQMlint V.1.03 用户手册

    MISRA C Rule Checker SQMlint V.1.03 用户手册
    发表于 06-26 20:20 0次下载
    <b class='flag-5'>MISRA</b> C Rule Checker SQMlint V.1.03 用户手册

    MISRA C Rule Checker SQMlint V.1.03 用户手册

    MISRA C Rule Checker SQMlint V.1.03 用户手册
    发表于 05-06 18:34 0次下载
    <b class='flag-5'>MISRA</b> C Rule Checker SQMlint V.1.03 用户手册

    如何将MISRA C:2023整合到您的嵌入式开发流程中

    MISRA C不是编码风格指南,而是一套规则和指令,用于最小化或消除已知危险的编码实践。鉴于对安全和安保关键型系统的这种重要性,AMD4 和 MISRA C:2023 版本使开发人员有
    的头像 发表于 05-04 09:58 1760次阅读
    如何将<b class='flag-5'>MISRA</b> C:<b class='flag-5'>2023</b>整合到您的嵌入式开发流程中