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

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

3天内不再提示

Helix QAC 2022.4 中的新增功能

北汇信息POLELINK 2023-03-06 14:36 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

Helix QAC 2022.4为MISRA C:2012 AMD3提供了100%的规则覆盖,数据流被拆分为一个新的组件,提供了改进的分析性能,并升级了对C++20和C23的语言支持。
此外,此版本还包括改进的编译器支持以及各种 Helix QAC 组件的总体使用质量改进。

01数据流组件
在 2022.4 中,数据流已从 QAC/QAC++ 引擎分离到自己的组件中。此更改提供:•改进了大型项目的数据流分析性能。•编译单元间分析(Inter-TU)在数据流中内化,不再需要两次分析传递。•头文件中定义的函数每个项目分析一次。•数据流诊断是针对“数据流”组件而不是“qac”或“qacpp”报告的。•数据流是分析工具链中的一个单独组件,具有自己的配置选项。

编码标准覆盖范围(MISRA C:2012 AMD3,TS 17961 C 安全)

新的 MISRA C:2012 修正案 3 合规模块,具有 100% 的规则覆盖率

•针对 C 编程语言强制实施汽车行业软件可靠性协会 (MISRA) 软件开发指南。这些指南旨在促进嵌入式系统环境中的代码功能安全性、信息安全性、可移植性和可靠性。•与新的 C11/C18 功能相关的其他规则。02C++20 语言支持
此版本改进了与 C++20 语言功能用法的兼容性,包括在 C++20 模式下处理 GCC 头文件。
C23 语言支持此版本增加了对以下各项的 C23 语言功能支持:•放宽对变量参数列表的要求。
改进的编译过程监控此版本改进了使用 “qainject”自动生成的 CCT,这简化了编译理解和编译器设置;并且手册中提供了额外的指导,用于创建自定义过滤器,以基于支持的编译器(例如基于 GNU 的编译器)创建新编译器。
提高使用质量CLI •添加了查看自基线以来的诊断功能(qacli 视图)。•按抑制类型(qacliview --suppression-filter)进行过滤诊断。•以多种格式输出 CMA 诊断:NONE, MULTIPLE, SINGLE(qacli view --multi-homed-format)。•使用户能够升级现有项目以与单独的数据流组件兼容(qacli admin --upgrade)。GUI•数据流组件支持。Dashboard•数据流组件支持。Microsoft Visual Studio 2022 IDE 插件•支持使用 VS 2022 扩展安装多个 Helix QAC。
03Helix QAC 2022.4的重要变化预公告CCT Generator 将于 2023 年无效Helix QAC 2023.1 将不再支持传统的独立 CCT Generator 。Helix QAC 2021.3 中引入的“qainject”工具将取代当前的 CCT Generator 。因此,使用旧版工具生成的 CCT 将被弃用且不再受支持。
从 QAC 软件包中删除不受支持的静态 CCT随着使用“qainject”自动生成 CCT 的各种编译器的改进构建监控,到 2023.1 将删除以前包含在 Helix QAC 包中的大多数静态 CCT。与使用静态默认 CCT 相比,自动生成的 CCT 有望提供更准确的分析结果。其目的是删除除GNU gcc、Visual Studio和通用编译器之外的所有CCT。

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

    关注

    8

    文章

    7366

    浏览量

    95184
  • 编译器
    +关注

    关注

    1

    文章

    1673

    浏览量

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

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    Vector PC-lint Plus新增项目级静态函数调用图输出功能

    从2025SP1版本起,PC-lint Plus新增项目级静态函数调用图(Static Function Call Graph)输出功能
    的头像 发表于 05-08 16:00 214次阅读
    Vector PC-lint Plus<b class='flag-5'>新增</b>项目级静态函数调用图输出<b class='flag-5'>功能</b>

    深度解析:主流功能安全标准(ISO 26262/IEC 61508)及其软件合规全流程

    合作伙伴,龙智(Dragonsoft)为您解读如何通过 QAC 静态分析和 Perforce ALM 满足功能安全合规要求。
    的头像 发表于 03-10 16:48 760次阅读
    深度解析:主流<b class='flag-5'>功能</b>安全标准(ISO 26262/IEC 61508)及其软件合规全流程

    C语言安全编码指南:MISRA C、CERT C、CWE 与 C Secure 标准对比与Perforce QAC应用详解

    如何编写真正安全的C语言代码?指南涵盖MISRA C、CERT、CWE等国际安全编码标准对比,以及如何借助Perforce QAC自动检测漏洞。推荐给嵌入式/汽车/工业软件的开发者!
    的头像 发表于 01-26 17:38 1233次阅读
    C语言安全编码指南:MISRA C、CERT C、CWE 与 C Secure 标准对比与Perforce <b class='flag-5'>QAC</b>应用详解

    西门子PCB DFM分析工具Valor NPI 2510版本的新增功能

    Valor NPI 2510 版本新增多项检查功能、提升制造风险识别,并推出令人瞩目的 3D 可视化增强特性,这标志着产品的重大升级。Valor NPI 的 3D 视图经过重新设计,让可制造性设计 (DFM) 结果的查看更直观、精准。
    的头像 发表于 01-04 16:10 856次阅读
    西门子PCB DFM分析工具Valor NPI 2510版本的<b class='flag-5'>新增</b><b class='flag-5'>功能</b>

    Perforce QAC 2025.4 的新特性

    Code 扩展也已更新,为桌面用户提供了 AI 辅助的代码修复功能,利用 QAC 高质量的分析结果为建议的修复提供信息,从而提供更快速的查找和修复工作效率。
    的头像 发表于 12-30 13:50 817次阅读
    Perforce <b class='flag-5'>QAC</b> 2025.4 的新特性

    汽车网络安全开发语言选型指南:C/C++/Rust/Java等主流语言对比+Perforce QAC/Klocwork工具支持

    汽车网络安全如何选编程语言?C、C++、Rust、Java……谁更适合AUTOSAR、ISO/SAE 21434?一文了解8种主流语言的优劣与适用场景,以及Perforce QAC/Klocwork对MISRA、CERT等规范的支持。
    的头像 发表于 12-26 11:13 754次阅读
    汽车网络安全开发语言选型指南:C/C++/Rust/Java等主流语言对比+Perforce <b class='flag-5'>QAC</b>/Klocwork工具支持

    MokuOS 4.1新增仪器功能:高速信号采集记录回放仪

    全新仪器功能:高速信号采集记录回放仪MokuOS4.1发布,新增仪器功能高速信号采集记录回放仪(GigabitStreamer),支持使用Moku:Delta的SFP端口,实现信号实时高速捕获与回放
    的头像 发表于 12-05 16:06 2115次阅读
    MokuOS 4.1<b class='flag-5'>新增</b>仪器<b class='flag-5'>功能</b>:高速信号采集记录回放仪

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

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

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

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

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

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

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

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

    匠芯创发布新版GUI开发工具 新增多国语言设置等功能

    。此次版本更新,为用户带来了诸多实用的新功能,进一步提升了设计体验和开发效率。在V1.3.0版本,AiUIBuilder新增了多国语言切换功能,支持设计界面显示
    的头像 发表于 08-07 15:36 1653次阅读
    匠芯创发布新版GUI开发工具 <b class='flag-5'>新增</b>多国语言设置等<b class='flag-5'>功能</b>

    匠芯创发布新版GUI开发工具 新增多国语言设置等功能

    。此次版本更新,为用户带来了诸多实用的新功能,进一步提升了设计体验和开发效率。 在V1.3.0版本,AiUIBuilder新增了 多国语言切换功能,支持设计界面显示刻度尺,拖动控件与
    发表于 07-16 13:54

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

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

    《仿盒马》app开发技术分享-- 新增地址(28)

    实现的是新增地址,把我们的用户信息,填写收件人、门牌号、手机号、经纬度、详细地址等信息添加到我们的云数据库,然后在地址查询列表里展示出来。 功能分析 实现地址的新增对我们现在的应用完
    发表于 06-30 20:13