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文章
7314浏览量
93969 -
编译器
+关注
关注
1文章
1669浏览量
51079
发布评论请先 登录
什么是CVE?如何通过SAST/静态分析工具Perforce QAC 和 Klocwork应对CVE?
C/C++代码静态测试工具Perforce QAC 2025.3的新特性
汽车软件团队必看:基于静态代码分析工具Perforce QAC的ISO 26262合规实践
Perforce QAC产品简介:面向C/C++的静态代码分析工具(已通过SO 26262认证)
代码静态测试工具Perforce QAC 2025.1新特性
Perforce品牌及产品名更新:涵盖版本控制Perforce P4(原Helix Core)、静态代码分析Perforce QAC(原Helix QAC)等
数据管理/版本控制升级指南:龙智解读SVN痛点、Perforce Helix Core功能优势及三种迁移方法
缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助Perforce 的Klocwork/Hleix QAC等静态代码分析工具)
【版本控制安全简报】Perforce Helix Core安全更新:漏洞修复与国内用户支持
SOLIDWORKS 2025 PDM新增功能
版本控制系统Helix Core 2024.2增强功能:与OpenTelemetry协议集成、Delta同步和传输等

Helix QAC 2022.4 中的新增功能
评论