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% 覆盖。请联系北汇信息以了解更多信息。

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

    关注

    5082

    文章

    19111

    浏览量

    304845
  • 代码
    +关注

    关注

    30

    文章

    4780

    浏览量

    68531
收藏 人收藏

    评论

    相关推荐

    C2000™ MISRA-C策略

    电子发烧友网站提供C2000™ MISRA-C策略.pdf》资料免费下载
    发表于 10-11 11:43 0次下载
    <b class='flag-5'>C</b>2000™ <b class='flag-5'>MISRA-C</b>策略

    embOS的MISRA-C:2012一致性

    MISRA C是汽车工业软件可靠性协会(MISRA)开发的一套针对C编程语言的软件开发指南,目的是提升嵌入式系统的安全性和可移植性。2012
    的头像 发表于 08-20 11:35 485次阅读

    whitepaper-perforce-what-is-misra

    如果您熟悉嵌入式软件的世界,您可能听说过安全关键系统的MISRA编码准则和合规性。最初为在汽车嵌入式软件行业,MISRA C for CC
    发表于 08-08 15:54 0次下载

    代码静态测试工具Helix QAC 2024.2新发

    Helix QAC 2024.2 带来了新的特性和功能,为开发过程增加了灵活的选项。用户使用新的 CI 分析通过 Validate 获得完整的 CI 集成支持,从而轻松管理 CI/CD 更改
    的头像 发表于 08-05 17:40 348次阅读
    <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> 2024.2新发

    DevOps中的质量门工作原理,以及静态代码分析Klocwork和Perforce Helix QAC在质量门中的实践应用

    如何使用静态代码分析工具(如Klocwork 和 Helix QAC)实现质量门。 什么是质量门
    的头像 发表于 07-29 15:12 391次阅读

    单元测试工具TESSY 新版本亮点速览:提供测试驾驶舱视图、超级覆盖率代码访问分析、增强覆盖率审查

    各种测试对象和方法的所有覆盖率测量结果,并记录在新的测试总结报告中。 了解更多TESSY新版本功能详情或申请免费试用,欢迎咨询TESSY中国授权分销商——龙智。 新版本功能亮点速览: 1、超级覆盖率 逐行评估源代码。 基于标准
    的头像 发表于 07-08 16:20 435次阅读
    单元测试<b class='flag-5'>工具</b>TESSY 新版本亮点速览:<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>审查

    Perforce静态代码分析专家解读MISRA C++:2023®新标准:如何安全、高效地使用基于范围的for循环,防范未定义行

    的特定规则。 什么是MISRA C++:2023规则9.5.2,为什么它很重要? MISRA
    的头像 发表于 06-18 12:57 413次阅读

    MISRA-C-:2004中文版

    MISRA-C-:2004 中文版
    发表于 06-04 11:52 1次下载

    代码静态测试工具 Helix QAC 2024.1版新功能解读

    Helix QAC 2024.1改进了对C++20和C23语言特性的支持,并增加了分析使用多个编译
    的头像 发表于 04-25 12:32 601次阅读
    <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> 2024.1版新功能解读

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

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

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

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

    代码静态测试工具Helix QAC 2023.4新发布

    Helix QAC 2023.4 为新的 MISRA C++:2023 指南推出了 100%
    的头像 发表于 01-13 12:25 495次阅读
    <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.4新发布

    C++简史:C++是如何开始的

    MISRA C++:2023MISRA® C++ 标准的下一个版本,来了!为了帮助您做好准备,我们介绍了 Perforce 首席技术支持工
    的头像 发表于 01-11 09:00 582次阅读
    <b class='flag-5'>C</b>++简史:<b class='flag-5'>C</b>++是如何开始的

    Helix QAC—软件静态测试工具

    Helix QAC是Perforce公司(原PRQA公司)产品,主要用于C/C++代码的自动化静态
    的头像 发表于 01-10 17:35 658次阅读
    <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 1660次阅读
    怎么用Vivado做<b class='flag-5'>覆盖率</b><b class='flag-5'>分析</b>