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

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

    关注

    5186

    文章

    20145

    浏览量

    328752
  • 代码
    +关注

    关注

    30

    文章

    4941

    浏览量

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

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

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

    本文将为您详解什么是CVE、CVE标识符的作用,厘清CVE与CWE、CVSS的区别,介绍CVE清单内容,并说明如何借助合适的静态分析工具(如Perforce QAC/Klocwork)
    的头像 发表于 10-31 14:24 280次阅读
    什么是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++代码静态测试工具Perforce QAC 2025.3的新特性

    Perforce QAC 2025.3 通过更新结果存储处理提供了性能改进,可以显著减少总分析时间,具体取决于项目结构和分析所使用的硬件设备。此版本还增强了对 QNX 8.0 编译
    的头像 发表于 10-13 18:11 344次阅读
    <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 427次阅读
    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 866次阅读
    汽车软件团队必看:基于<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合规实践

    太阳光模拟性能的影响参数:光谱匹配度、光谱覆盖率及光谱偏离

    、光谱覆盖率和光谱偏离是太阳光模拟性能的核心指标,直接影响测试结果的准确性与可靠性。紫创Luminbox凭借其在技术研发上的深厚积累,所研发的太阳光模拟在这三大指标上不断突破,为
    发表于 07-21 15:35

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

    Perforce QAC专为C/C++开发者打造,支持多种编码规范、功能安全标准(ISO 26262)等,广泛用于汽车、医疗、嵌入式开发领域,可帮助快速识别关键缺陷、提升代码质量、实现
    的头像 发表于 07-10 15:57 830次阅读
    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%覆盖

    和服务存储占用。  编码规范支持(MISRA C:2025®、CERT C)    MISRA C
    的头像 发表于 05-13 16:48 1114次阅读
    <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 1852次阅读
    <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 923次阅读
    <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 1100次阅读
    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 1717次阅读
    缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助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>)

    VirtualLab:系统建模分析器

    ,系统建模分析器。本文档介绍该工具的使用方法。 系统建模分析器 如何运行建模分析器 系统建模分析器 例1:光束清理滤波
    发表于 01-14 09:45

    偏振分析器

    能够详细分析和优化,不仅是偏振,还有抗反射结构和其他类型的光栅。它提供了与偏振有关的反射和/或透射衍射阶数的信息,同时还可以分析效率与波长和/或入射角的关系。 任务描述 本文件的主题
    发表于 01-13 08:59

    VirtualLab:系统建模分析器

    ,系统建模分析器。本文档介绍该工具的使用方法。 系统建模分析器 如何运行建模分析器 系统建模分析器 例1:光束清理滤波
    发表于 12-19 12:36