Helix QAC 2022.4 中的新增功能

描述

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。

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

全部0条评论

快来发表一下你的评论吧 !

×
20
完善资料,
赚取积分