前言
Helix QAC 2022.4为MISRA C:2012 AMD3提供了100%的规则覆盖,数据流被拆分为一个新的组件,提供了改进的分析性能,并升级了对C++20和C23的语言支持。
此外,此版本还包括改进的编译器支持以及各种 Helix QAC 组件的总体使用质量改进。
数据流组件
在 2022.4 中,数据流已从 QAC/QAC++ 引擎分离到自己的组件中。此更改提供:
- 改进了大型项目的数据流分析性能。
- 编译单元间分析(Inter-TU)在数据流中内化,不再需要两次分析传递。
- 头文件中定义的函数每个项目分析一次。
- 数据流诊断是针对“数据流”组件而不是“qac”或“qacpp”报告的。
- 数据流是分析工具链中的一个单独组件,具有自己的配置选项。
编码标准覆盖范围(MISRA C:2012 AMD3,TS 17961 C 安全)
新的 MISRA C:2012 修正案 3 合规模块,具有 100% 的规则覆盖率
- 针对 C 编程语言强制实施汽车行业软件可靠性协会 (MISRA) 软件开发指南。这些指南旨在促进嵌入式系统环境中的代码功能安全性、信息安全性、可移植性和可靠性。
- 与新的 C11/C18 功能相关的其他规则。
C++20 语言支持
此版本改进了与 C++20 语言功能用法的兼容性,包括在 C++20 模式下处理 GCC 头文件。
C23 语言支持
此版本增加了对以下各项的 C23 语言功能支持:
- 放宽对变量参数列表的要求。
改进的编译过程监控
此版本改进了使用 “qainject”自动生成的 CCT,这简化了编译理解和编译器设置;并且手册中提供了额外的指导,用于创建自定义过滤器,以基于支持的编译器(例如基于 GNU 的编译器)创建新编译器。
提高使用质量
CLI
- 添加了查看自基线以来的诊断功能(qacli 视图)。
- 按抑制类型(qacliview --suppression-filter <type>)进行过滤诊断。
- 以多种格式输出 CMA 诊断: NONE, MULTIPLE, SINGLE(qacli view --multi-homed-format)。
- 使用户能够升级现有项目以与单独的数据流组件兼容(qacli admin --upgrade)。
GUI
- 数据流组件支持。
Dashboard
- 数据流组件支持。
Microsoft Visual Studio 2022 IDE 插件
- 支持使用 VS 2022 扩展安装多个 Helix QAC。
Helix 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。
➡️ 立即体验最新版Helix QAC,发送邮件至[email protected]
翻译
搜索
复制
<iframe></iframe> 标签:CCT,组件,编译器,Helix,QAC,数据流,2022.4 From: https://www.cnblogs.com/polelink/p/17118794.html