Helix QAC 2022.4新版本发布

创提信息
2023/02/13

分享到

Helix QAC 2022.4新增了哪些功能


Helix QAC 2022.4提供了对MISRA C:2012 AMD3的规则100%的覆盖,将数据流分离到了一个改进了分析性能的新组件中,并升级了对C++20和C23的语言支持。
 
此外,Helix QAC 2022.4还提供对TS 17961 C Secure合规模块的日文支持,改进了编译器支持,普遍提高了各种Helix QAC组件的质量。


数据流组件
 
在Helix QAC 2022.4这个版本中,数据流已经从QAC/QAC++引擎分离出来,形成了数据流组件。此次更新包括:
 
    • 改进了大型项目的数据流分析性能。
 
    • ‘Inter-TU analysis’内嵌于数据流分析中,不再需要分析两次。
 
    • 头文件中定义的函数在每个项目中只分析一次。
 
    • 数据流诊断报告仅针对“dataflow”组件,而不是“qac”或“qacpp”。
 
    • 数据流是分析工具链中的一个独立组件,具有单独的配置选项。


编码标准覆盖范围(MISRA C:2012 AMD3, TS 17961 C Secure)
 
新的MISRA C:2012 Amendment 3 C合规模块,100%地覆盖:
 
    • 执行汽车工业软件可靠性协会(Motor Industry Software Reliability Association, 简称MISRA)针对C编程语言的软件开发准则。这些准则旨在促进嵌入式系统环境下代码的安全性、可移植性和可靠性。
 
    • 关于C11/C18新特性的附加规则。
 
TS 17961 C Secure
 
TS 17961 C Secure合规模块(SECCCM)现在有完整的日文翻译。


支持C++20语言
 
Helix QAC 2022.4改进了与C++ 20语言特性使用的兼容性,包括在C++ 20模式下处理GCC头文件。


支持C23语言
 
Helix QAC 2022.4增加了对C23语言特性的支持:
 
    • 放宽对可变参数列表的要求,论文N2975。


改进构建过程监测
 
Helix QAC 2022.4使用'qainject'对CCT的自动生成进行了改进,这简化了构建理解和编译器设置,并且在手册中提供了额外的指导,用于创建自定义过滤器,以使用基于支持的编译器的新编译器,例如,基于GNU的编译器。


提高质量
 
命令行界面(CLI)
 
    • 增加了从基线开始查看诊断信息的功能(qacli view)。
 
    • 根据抑制类型筛选诊断信息(qacli view --suppression-filter type)。
 
    • 以NONE, MULTIPLE, SINGLE等多种格式输出CMA诊断结果(qacli view --multi-homed-format)。
 
    • 允许用户升级现有的项目,使其与分离的数据流组件相兼容(qacli admin --upgrade)。
 
图形用户界面(GUI)
 
    • 支持数据流组件
 
仪表盘
 
    • 支持数据流组件
 
Microsoft Visual Studio 2022 IDE插件
 
    • 支持多个Helix QAC安装VS 2022扩展插件。


Helix QAC 2022.4的重要更新


提前通知
 
CCT生成器将于2023年结束生命周期
 
Helix QAC 2023.1将不再支持传统的独立CCT生成器。
 
在Helix QAC 2021.3中引入的'qainject'工具将取代当前的CCT 生成器。因此,使用该遗留工具生成的CCT将被弃用,不再受支持。
 
删除QAC包中不受支持的静态CCT
 
随着使用'qainject'自动生成的CCT对各种编译器的构建监测得到改进,之前包含在Helix QAC包中的大多数静态CCT将于2023年1月被删除。与使用静态缺省的CCT相比,自动生成的CCT有望提供更准确的分析结果。我们的目的是删除除了用于GNU gcc、Visual Studio和通用编译器之外的所有CCT。