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

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

3天内不再提示

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

北汇信息POLELINK 2023-11-08 18:37 次阅读

Helix QAC 2023.3预计将于2023年第四季度发布的新MISRA C++®指南,将100%覆盖MISRA C++:2023®规则。

此外,此版本扩展了对C++20语言支持,并改进了Perforce Validate平台和Helix QAC与Validate的集成,包括其他生活质量和性能增强。

编码标准覆盖范围(MISRA C++:2023,MISRA C:2023®)

MISRA C++:2023®

Helix QAC2023.3预计对MISRA C++:2023指南的执行覆盖率为100%,预计将于2023年第四季度发布。

  • 新的M2CPP合规模块将执行MISRA C++:2023,与Helix QAC 2023.3一起使用,将在新标准发布时提供。

MISRA C:2023®

Helix QAC为MISRA C:2023提供100%的执行覆盖范围,将MISRA C:2012与所有四个修正案和两个技术勘误合并为一个单一的综合版本。

  • M3CM合规模块改进了Rule 8.3的执行。

C++20 语言支持

此版本添加了对语言功能的支持:

  • requires-expressions—与C++20概念一起引入,可用于确定结构的有效性而不会导致编译器错误。

Perforce Validate

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

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

2023.3提供:

  • 支持使用多个合规模块的项目--当项目强制执行额外的编码标准、规则或漏洞类型时,可以改进分析结果。
  • Validate、Reports、Plugins和GUI还包括更改,以反映对项目中多个合规性模块的新支持。

提高生存质量

安装

  • 为Helix QAC和合规模块提供了Zip/tar档案,这些模块可作为安装程序的替代品,提供了进一步的产品部署、维护和升级灵活性。

Auto CCT Generator

  • 添加了对使用同步类型时自动生成 CCT 的支持:INJECT、MONITOR和MSVS。
  • 解决了几个现有受支持编译器的问题。

数据流

  • 改进了数据流处理,在内存或交换存储有限的机器上使用更少的内存并提高稳定性。

GUI

  • 改进了使用 GUI 时对4K显示器的支持

插件

VS Code

  • 在文件保存时运行分析
  • 通过远程运行QAC访问帮助的增强功能*
  • *注意:需要diaglist license

Visual Studio

  • 改进以与 GUI 元素保持一致,以便继续与Validate集成

Eclipse

  • 改进了协调GUI元素以继续与Validate集成

操作系统

  • 支持 Windows 11

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

    关注

    8

    文章

    5302

    浏览量

    126637
  • 嵌入式
    +关注

    关注

    5082

    文章

    19123

    浏览量

    305112
  • 编码
    +关注

    关注

    6

    文章

    942

    浏览量

    54825
收藏 人收藏

    评论

    相关推荐

    Helix QAC 2024.3新特性速览

    Helix QAC 2024.3 附带适用于 Windows 和 Linux 的基于 Qt 的新安装程序,并增强了对Validate SAML/OIDC 身份验证的支持。此版本还包括对某些环境的 Dataflow 稳健性的改进,以及整个产品中的许多质量增强功能。
    的头像 发表于 11-06 15:42 264次阅读
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2024.3新特性速览

    汽车异构硬件平台开发如何进行静态代码分析

    先进的静态代码分析工具,其新版本中引入的多CCT功能为开发人员提供了强大的支持,该功能不仅简化了多编译器环境下的代码
    的头像 发表于 10-09 16:15 529次阅读
    汽车异构硬件平台开发如何进行<b class='flag-5'>静态</b><b class='flag-5'>代码</b><b class='flag-5'>分析</b>

    Perforce静态分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改进和安全增强

    ​和Klocwork的最新版本对静态分析工具进行了重大改进,通过尽早修复错误、降低开发成本和加快发布速度,使开发团队实现左移。本文中,我们概述2024.2版本的新特性和新功能。CI/
    的头像 发表于 10-08 16:22 282次阅读
    Perforce<b class='flag-5'>静态</b><b class='flag-5'>分析</b><b class='flag-5'>工具</b>2024.2新增功能:<b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>全新CI/CD集成支持、Klocwork<b class='flag-5'>分析</b>引擎改进和安全增强

    embOS的MISRA-C:2012一致性

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

    whitepaper-perforce-what-is-misra

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

    代码静态测试工具Klocwork 2024.2新发布

    Klocwork 2024.2 为现代 C/C++ 分析引擎引入了显着的准确性和性能改进。此版本还包括增强的安全性和身份验证功能以及改进的用户体验,以及 MISRA® 和 CERT 
    的头像 发表于 08-06 12:16 270次阅读
    <b class='flag-5'>代码</b><b class='flag-5'>静态</b>测试<b class='flag-5'>工具</b>Klocwork 2024.2新发布

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

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

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

    MISRA C++2023——MISRA® C++ 标准的下一个版本来了!为了帮助您了解 MISRA
    的头像 发表于 06-18 12:57 417次阅读

    探讨AI编写代码技术,以及提高代码质量的关键:静态代码分析工具Perforce Helix QAC &amp; Klocwork

    令软件开发人员夜不能寐的事情比比皆是。如今,他们最关心的问题不再是如何用自己喜欢的语言(CC++、Erlang、Java 等)表达最新的算法,而是人工智能(AI)。 本文中,我们介绍AI编写
    的头像 发表于 06-05 14:10 405次阅读

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

    Helix QAC 2024.1改进了对C++20和C23语言特性的支持,并增加了分析使用多个编译器的项目的新功能。此外,Validate增
    的头像 发表于 04-25 12:32 614次阅读
    <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 791次阅读
    使用 <b class='flag-5'>MISRA</b> <b class='flag-5'>C++</b>:<b class='flag-5'>2023</b>® 避免基于范围的 for 循环中的错误

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

    Helix QAC 2023.4 为新的 MISRA C++2023 指南推出了 100%
    的头像 发表于 01-13 12:25 502次阅读
    <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++2023 博客系列的第二部分。 在这篇博客中,我们深入探讨 C++ 的历史、编程语言多年来的发展历程以及它的下一
    的头像 发表于 01-11 09:00 594次阅读
    <b class='flag-5'>C++</b>简史:<b class='flag-5'>C++</b>是如何开始的

    Helix QAC—软件静态测试工具

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