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

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

3天内不再提示

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

jindaxi 来源:jindaxi 作者:jindaxi 2025-05-13 16:48 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

Helix QAC 2025.1新增功能

Helix QAC 2025.1实现了对新版MISRA C:2025®标准的 100% 覆盖,并提供对应的合规模块。此版本还扩展了对 CERT C Level 1建议的覆盖范围,更新了与 Perforce Validate 平台集成的 CI/CD 环境授权机制。Validate 平台新增 SAML/OIDC 群组同步支持,并通过性能优化降低构建负载时间和服务器存储占用。

编码规范支持(MISRA C:2025®、CERT C)

MISRA C:2025® 全规范覆盖

Helix QAC 2025.1 提供全新的 MC25CM 合规模块,完整实施 MISRA C:2025 标准。该标准包含新增规则、现有规则修订及指南分类结构调整。

CERT C 建议规范

Helix QAC 2025.1 增强了对 CERT C 的支持,现已完全覆盖Level 1建议规范。当前版本持续保持对所有 CERT C 规则的 100% 覆盖。

服务器分析授权

产品授权体系已更新,明确区分桌面端使用与 CI/CD 流水线的服务器分析场景。用户可根据开发流程需求灵活组合用户许可证和服务器构建许可证。有关 Validate 平台服务器构建功能所需的许可证详情,请联系销售团队。

Reprise 许可证管理器(RLM)服务器已升级至最新版本 16.1BL1。

语言特性支持

该版本包含多项 C/C++ 语言特性处理的改进:

- 增强 C++ 分析的 constexpr 常量表达式求值能力

- 优化 C/C++ 混合项目的跨模块实体名称处理

- 新增联合体(union)成员访问一致性数据流分析

Validate 平台功能增强

SAML/OIDC 群组授权集成

Validate 现支持通过 SAML 和 OIDC 认证实现群组同步,可在登录时自动从身份提供商(IdP)获取用户群组成员信息。群组同步功能需手动启用,具体配置步骤详见产品文档。

构建加载时间与磁盘占用优化

Validate 包含多项优化措施和定制选项,可显著降低服务器构建加载时间和磁盘占用。基准测试显示,中大型项目加载速度提升最高达40%,磁盘空间占用减少10-20%。用户还可通过项目级配置文件自定义加载的度量指标,进一步优化资源使用。

问题状态可配置性与报告生成

Validate 服务器新增状态配置文件,支持以下自定义:

- 修改决定项目/视图/构建/CI构建中"未解决问题"计数的状态。

- 定义合规报告中偏差与违规的计算方式。

合规性报告还有其他改进,包括生成报告时应用视图的其他数据,如视图名称、搜索查询和模块定义等。

易用性增强

编译器支持的改进

- TI C7000

- Tasking carm

- Keil armcc

- Green Hills 2018 之前版本编译器

构建系统集成

- Bazel 同步机制升级,优化 include 目录和构建参数处理

Validate 集成

- 增强对日语项目及文件编码的支持

GUI界面

- 跨会话保存界面GUI字段值/路径配置

- 改进 C++ 代码语法高亮显示

CLI命令

- 优化 qacli analyze 和 qacli view 性能

- 加强 qacli baseline 参数验证

Eclipse IDE 插件

- 支持 Eclipse 2024-12 版本

Visual Studio IDE 插件

- 改进报告生成路径和项目创建对话框的路径验证

操作系统支持

- 新增 Windows 11 24H2 官方支持

Helix QAC 2025.1 中的重要变更

许可证管理变更

2025.1 版本引入以下授权机制变更:

- 随版本发布新版 RLM v16.1BL1 服务器安装程序,使用 Validate 2025.1 必须升级至此版本(新版 RLM 仍兼容旧版 QAC)

- 许可证功能采用年度版本标识(显示为 25.0)

- 2024 版许可证与 2025.1 及以上版本不兼容,需联系 contact@watertek.com 申请新许可证

- 因授权机制变更,2024.4 及更早版本合规模块不可用于 2025.1,必须升级配套版本

功能终止声明

2025.1 版本起移除以下命令:

- 删除 qacli upload -validate 命令,需改用 qacli validate build 或 qacli validate cibuild 命令(需持有服务器构建许可证才能分析并上传到validate)

版本预告

2025.2 版本产品名称变更

- 自 2025.2 版本起,产品将全面启用 Perforce QAC 名称及新标识。安装程序与用户界面将更新产品名称,安装目录和用户数据目录将变更为 'QAC-[version]'。

qacli view 命令输出类型弃用

-自2025.1起,qacli view的DIAGLIST/ANNSRC/SARIF 输出类型已被弃用,计划于 2026.1 版本正式移除,并预计在 2026 年 Q1 末发布。这些类型目前只有在使用适当的许可证时才能访问,建议改用 Validate 项目管理分析结果,并通过 Validate Web API 导出所需记录。

(注:MISRA C:2025® 为 The MISRA Consortium Limited 注册商标)


了解更多有关HelixQAC技术信息商务服务,请访问http://www.softtest.cn/留言,或按以下方式联系旋极智能

wKgZO2gjBsmABAJ6AAJeEiylWDk984.png

审核编辑 黄宇

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

    关注

    0

    文章

    11

    浏览量

    8377
  • CCERT
    +关注

    关注

    0

    文章

    3

    浏览量

    6523
  • MISRA
    +关注

    关注

    0

    文章

    22

    浏览量

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

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    复旦微电子集团入选2025上海硬核科技企业TOP100

    近日,上海市产业技术创新促进会联合上海市科学技术协会、徐汇区人民政府等相关机构,重磅发布2025上海硬核科技企业TOP100》等系列榜单。上海复旦微电子集团股份有限公司凭借深厚的研发
    的头像 发表于 12-03 12:47 294次阅读

    联创电子荣登2025江西企业100强榜单

    11月21日,江西省企业联合会、省企业家协会发布2025江西企业100强”榜单,并首次推出“2025江西制造业企业100强”“
    的头像 发表于 12-01 15:53 288次阅读

    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>++代码静态测试工具Perforce <b class='flag-5'>QAC</b> 2025.3的新特性

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

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

    汇川技术17款新品重磅发布

    今天,汇川技术 2025 年度爆品发布会以 “数自融合 软件定义自动化” 为主题,面向全球重磅发布
    的头像 发表于 09-02 15:58 3378次阅读

    AMD 2025.1版嵌入式软件和工具的新增功能

    AMD 2025.1 版嵌入式软件和工具是面向新一代嵌入式系统开发而打造的综合平台,全面加速概念构想到部署落地。
    的头像 发表于 08-15 15:32 1039次阅读

    商汤大装置重磅发布多项标志性成果

    2025世界人工智能大会(WAIC 2025)期间,作为“最懂大模型的AI基础设施”,商汤大装置重磅发布多项标志性成果,持续打造AI基础设施发展新范式,力推动产业生态与应用场景的系统
    的头像 发表于 08-05 10:07 858次阅读

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

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

    AMD Power Design Manager 2025.1现已推出

    AMD Power Design Manager 2025.1 版(PDM)现已推出——增加了对第二代 AMD Versal AI Edge 和 第二代 Versal Prime 系列的支持,并支持已量产的 AMD Spartan UltraScale+ 系列。
    的头像 发表于 07-09 14:33 875次阅读

    全新AMD Vitis统一软件平台2025.1版本发布

    全新 AMD Vitis 统一软件平台 2025.1 版正式上线!此最新版本为使用 AMD Versal AI 引擎的高性能 DSP 应用提供了改进后的设计环境。
    的头像 发表于 06-24 11:44 1453次阅读

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

    MISRA C:2025®发布!新增5条规则,并对部分现有规则进行了扩展、重组,以进一步简化安全关键型系统的开发流程。如何实现最新MISRA
    的头像 发表于 05-08 17:58 1860次阅读
    <b class='flag-5'>MISRA</b> <b class='flag-5'>C</b>:<b class='flag-5'>2025</b>新标准解析:新增规则、优化点与静态代码分析工具支持(Perforce <b class='flag-5'>QAC</b>、Klocwork)

    英特尔OpenVINO 2025.1版本发布

    我们很高兴地宣布 OpenVINO 2025 的最新版本正式发布!本次更新带来了来自工程团队的更多增强功能和新特性。每一次发布,我们都在不断适应日新月异的 AI 发展趋势,迎接层出不穷的新机遇与复杂
    的头像 发表于 04-29 09:27 890次阅读

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

    Perforce QAC 2025.1实现了对新发布MISRA C:2025®标准的
    的头像 发表于 04-21 15:14 928次阅读
    代码静态测试工具Perforce <b class='flag-5'>QAC</b> <b class='flag-5'>2025.1</b>新特性

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

    Perforce推出全新P4平台及P4 One客户端!从广为人知的“P4”到Helix Core到Perforce P4,此次品牌重塑是一次初心回归,也是对开发者和数字创作团队需求的深度回应。一起来了解更多吧~
    的头像 发表于 03-28 15:04 1108次阅读
    Perforce品牌及产品名更新:涵盖版本控制Perforce P4(原<b class='flag-5'>Helix</b> Core)、静态代码分析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 1725次阅读
    缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助Perforce 的Klocwork/Hleix <b class='flag-5'>QAC</b>等静态代码分析工具)