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

    文章

    4453

    浏览量

    125126
  • 嵌入式
    +关注

    关注

    4982

    文章

    18285

    浏览量

    288479
  • 编码
    +关注

    关注

    6

    文章

    835

    浏览量

    54457
收藏 人收藏

    评论

    相关推荐

    C/C++代码动态测试工具VectorCAST插桩功能演示#代码动态测试 #C++

    C++代码
    北汇信息POLELINK
    发布于 :2024年04月18日 11:57:45

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

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

    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>

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

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

    如何开源Helix MP3解码算法移植到AT32F4xx单片机方法

    本应用笔记介绍了如何开源Helix MP3解码算法移植到AT32F4xx单片机方法。本文档提供的源代码演示了使用Helix MP3解码算法的MP3播放器应用程序。该MP3播放器应用程
    发表于 10-24 07:20

    分享一款不错的嵌入式静态代码扫描工具

    之前给大家分享过嵌入式开发常用的代码静态分析工具,比如:PC-lint、LDRA、VectorCAST等。
    的头像 发表于 10-16 15:39 1046次阅读
    分享一款不错的嵌入式<b class='flag-5'>静态</b><b class='flag-5'>代码</b>扫描<b class='flag-5'>工具</b>

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

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

    如何为Arm编译Cc++代码

    编写CC++应用程序时,需要使用编译器工具链将其编译为机器代码。然后,您可以在基于Arm的处理器上运行此编译的可执行代码,或者使用模型对其
    发表于 08-02 17:28

    嵌入软件静态解析工具

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

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

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

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

    Helix QAC 2023.2 提供 100% 的 MISRA C:2012 和 MISRA C:20
    的头像 发表于 07-31 22:53 773次阅读
    <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.2: 提供 <b class='flag-5'>100</b>% 的 <b class='flag-5'>MISRA</b> C:2012 和 <b class='flag-5'>MISRA</b> C:<b class='flag-5'>2023</b> <b class='flag-5'>规则</b><b class='flag-5'>覆盖</b>率

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

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

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

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

    支持Devops,C/C++/Java等的代码静态测试工具Klocwork快速入门 #代码静态测试

    JAVAC++
    北汇信息POLELINK
    发布于 :2023年05月09日 18:05:24

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

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