热门

最新

红包

立Flag

投票

同城

发布
weixin_51954443
北汇信息
3 年前
trueweixin_51954443

Helix QAC 2022.4 中的新增功能
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 的编译器）创建新编译器。
————————————————
选自文章：代码静态测试工具的不二之选 Helix QAC 2022.4 版本新功能解析
原文链接：https://blog.csdn.net/weixin_51954443/article/details/128837905

评论
2
打赏
  • 复制链接
  • 举报
下一条：
【近期更新总结 2.2】JavaWeb编程基础教程系列MyBatis持久层框架详细解读：MyBatis快速入门篇：http://t.csdn.cn/HP52W【MyBatis 持久层框架】Mapper代理开发详细解读：http://t.csdn.cn/e9uRK【MyBatis持久层框架】核心配置文件详细解读：http://t.csdn.cn/CSgma【MyBatis持久层框架】配置文件实现增删改查实战案例：http://t.csdn.cn/1GNVA【MyBatis持久层框架】配置文件实现增删改查实战案例（下）：http://t.csdn.cn/HPFBw【MyBatis持久层框架】MyBatis参数传递详细解读：http://t.csdn.cn/PMqW9【MyBatis持久层框架】使用Java注解完成CRUD详细解读：http://t.csdn.cn/Z97Nz