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

    文章

    6033

    浏览量

    130734
  • 嵌入式
    +关注

    关注

    5186

    文章

    20155

    浏览量

    328964
  • 编码
    +关注

    关注

    6

    文章

    1016

    浏览量

    56658
收藏 人收藏
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    什么是CVE?如何通过SAST/静态分析工具Perforce QAC 和 Klocwork应对CVE?

    本文将为您详解什么是CVE、CVE标识符的作用,厘清CVE与CWE、CVSS的区别,介绍CVE清单内容,并说明如何借助合适的静态分析工具(如Perforce QAC/Klocwork)
    的头像 发表于 10-31 14:24 288次阅读
    什么是CVE?如何通过SAST/<b class='flag-5'>静态</b><b class='flag-5'>分析</b><b class='flag-5'>工具</b>Perforce <b class='flag-5'>QAC</b> 和 Klocwork应对CVE?

    嵌入式C/C++回归测试四大最佳实践(附自动化测试工具TESSY使用教程)

    嵌入式开发中,一次微小的代码改动都可能引发“蝴蝶效应”,如何守护系统的稳健?推荐专业的自动化测试工具#TESSY,源自戴姆勒-奔驰,是嵌入式C/C++单元/集成测试的标杆。
    的头像 发表于 10-31 14:21 190次阅读
    嵌入式<b class='flag-5'>C</b>/<b class='flag-5'>C++</b>回归测试四大最佳实践(附自动化测试<b class='flag-5'>工具</b>TESSY使用教程)

    C/C++代码静态测试工具Perforce QAC 2025.3的新特性

     Perforce Validate 中 QAC 项目的相对/根路径的支持。C++ 分析也得到了增强,增加了用于检测 C++ 并发问题的新检查,并改进了实体名称和实
    的头像 发表于 10-13 18:11 346次阅读
    <b class='flag-5'>C</b>/<b class='flag-5'>C++</b><b class='flag-5'>代码</b><b class='flag-5'>静态</b>测试<b class='flag-5'>工具</b>Perforce <b class='flag-5'>QAC</b> 2025.3的新特性

    嵌入式软件测试与专业测试工具的必要性深度解析

    。提升测试效率与覆盖率专业工具通过以下方式优化测试过程: ‌静态代码分析‌:通过MISRA-C
    发表于 09-28 17:42

    Perforce QAC 2025.2版本更新:虚拟内存优化、100%覆盖CERT C规则、CI构建性能提升等

    【产品更新】Perforce QAC更新至2025.2版本,安装路径和许可证都有变化!重点:虚拟内存占用降低、100%覆盖CERT C规则
    的头像 发表于 09-09 14:40 437次阅读
    Perforce <b class='flag-5'>QAC</b> 2025.2版本更新:虚拟内存优化、<b class='flag-5'>100</b>%<b class='flag-5'>覆盖</b>CERT <b class='flag-5'>C</b><b class='flag-5'>规则</b>、CI构建性能提升等

    汽车软件团队必看:基于静态代码分析工具Perforce QAC的ISO 26262合规实践

    ISO 26262合规指南,从ASIL分级到工具落地,手把手教你用静态代码分析(Perforce QAC)实现高效合规。
    的头像 发表于 08-07 17:33 870次阅读
    汽车软件团队必看:基于<b class='flag-5'>静态</b><b class='flag-5'>代码</b><b class='flag-5'>分析</b><b class='flag-5'>工具</b>Perforce <b class='flag-5'>QAC</b>的ISO 26262合规实践

    Perforce QAC产品简介:面向C/C++静态代码分析工具(已通过SO 26262认证)

    Perforce QAC专为C/C++开发者打造,支持多种编码规范、功能安全标准(ISO 26262)等,广泛用于汽车、医疗、嵌入式开发领域,可帮助快速识别关键缺陷、提升代码质量、实现
    的头像 发表于 07-10 15:57 856次阅读
    Perforce <b class='flag-5'>QAC</b>产品简介:面向<b class='flag-5'>C</b>/<b class='flag-5'>C++</b>的<b class='flag-5'>静态</b><b class='flag-5'>代码</b><b class='flag-5'>分析</b><b class='flag-5'>工具</b>(已通过SO 26262认证)

    Helix QAC 2025.1 重磅发布!MISRA C:2025® 100%覆盖

    Helix QAC 2025.1新增功能 Helix QAC 2025.1实现了对新版MISRA C
    的头像 发表于 05-13 16:48 1131次阅读
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2025.1 重磅发布!<b class='flag-5'>MISRA</b> <b class='flag-5'>C</b>:2025® <b class='flag-5'>100</b>%<b class='flag-5'>覆盖</b>

    MISRA C:2025新标准解析:新增规则、优化点与静态代码分析工具支持(Perforce QAC、Klocwork)

    MISRA C:2025®发布!新增5条规则,并对部分现有规则进行了扩展、重组,以进一步简化安全关键型系统的开发流程。如何实现最新MISRA
    的头像 发表于 05-08 17:58 1870次阅读
    <b class='flag-5'>MISRA</b> <b class='flag-5'>C</b>:2025新标准解析:新增<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 <b class='flag-5'>QAC</b>、Klocwork)

    代码静态测试工具Perforce QAC 2025.1新特性

    Perforce QAC 2025.1实现了对新发布的MISRA C:2025®标准的100%覆盖,并提供了对应的新合规模块。该版本还扩展了
    的头像 发表于 04-21 15:14 928次阅读
    <b class='flag-5'>代码</b><b class='flag-5'>静态</b>测试<b class='flag-5'>工具</b>Perforce <b class='flag-5'>QAC</b> 2025.1新特性

    Perforce品牌及产品名更新:涵盖版本控制Perforce P4(原Helix Core)、静态代码分析Perforce QAC(原Helix QAC)等

    Perforce推出全新P4平台及P4 One客户端!从广为人知的“P4”到Helix Core到Perforce P4,此次品牌重塑是一次初心回归,也是对开发者和数字创作团队需求的深度回应。一起来了解更多吧~
    的头像 发表于 03-28 15:04 1110次阅读
    Perforce品牌及产品名更新:涵盖版本控制Perforce P4(原<b class='flag-5'>Helix</b> Core)、<b class='flag-5'>静态</b><b class='flag-5'>代码</b><b class='flag-5'>分析</b>Perforce <b class='flag-5'>QAC</b>(原<b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>)等

    缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助Perforce 的Klocwork/Hleix QAC静态代码分析工具

    本期来认识软件漏洞的“常客”——缓冲区溢出,C/C++开发者尤其要注意!全面了解该漏洞的成因、类型、常见示例,以及如何借助Klocwork、Helix QAC等SAST
    的头像 发表于 03-04 16:39 1729次阅读
    缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助Perforce 的Klocwork/Hleix <b class='flag-5'>QAC</b>等<b class='flag-5'>静态</b><b class='flag-5'>代码</b><b class='flag-5'>分析</b><b class='flag-5'>工具</b>)

    如何保障自动驾驶卡车系统的安全?

    61508或ISO 26262的开发流程,需通过静态分析验证源代码。Perforce Helix QAC与Klocwork等
    的头像 发表于 02-26 15:45 1576次阅读
    如何保障自动驾驶卡车系统的安全?

    代码加密、源代码防泄漏c/c++与git服务器开发环境

    代码加密对于很多研发性单位来说是至关重要的,当然每家企业的业务需求不同所用的开发环境及开发语言也不尽相同,今天主要来讲一下c++及git开发环境的源代码防泄密保护方案。企业源代码泄密
    的头像 发表于 02-12 15:26 879次阅读
    源<b class='flag-5'>代码</b>加密、源<b class='flag-5'>代码</b>防泄漏<b class='flag-5'>c</b>/<b class='flag-5'>c++</b>与git服务器开发环境

    ADC的静态指标有专用的分析工具吗?

    请问:ADC的静态指标有专用的分析工具吗?该指标很少在评估ADC指标时使用,是否该指标不重要,应用中什么情况下需要评估该指标? 另外ADC的SNR = 6.02*N + 1.76 +10*log10(fs/2BW)
    发表于 02-08 08:13