首页 > 其他分享 >Helix QAC 2022.4 中的新增功能

Helix QAC 2022.4 中的新增功能

时间:2023-02-14 10:22:23浏览次数:44  
标签:CCT 组件 编译器 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 的编译器)创建新编译器。

 

 

提高使用质量

 

 

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

相关文章

  • 主打综合实力的静态代码试工具Klocwork 2022.4 版更新解析
    Klocwork2022.4中的新增功能 对于2022年的最终版本,Klocwork2022.4提供了针对C、C++、C#、Java的更新和改进,并增强了对Android13的支持。此外,此版本还包括对......
  • AIR32F103(八) 集成Helix MP3解码库播放MP3
    目录AIR32F103(一)合宙AIR32F103CBT6开发板上手报告AIR32F103(二)Linux环境和LibOpenCM3项目模板AIR32F103(三)Linux环境基于标准外设库的项目模板AIR32F103(四)2......
  • kali新版本2022.4发布
    KaliLinux2022.4发布(Azure、Social&KaliNetHunterPro)。在这一年结束之前,我们认为最好是把2022年的最后一个版本发布出来。今天我们发布了KaliLinux2022.4。这可......
  • 2022.49 信息化
    20世纪60年代日本学者梅棹忠夫在题为“论信息产业”的文章中首次提出“信息化”的概念,并明确“信息化是指通信现代化、计算机化和行为合理化的总称”。其中提到,行为合理化......
  • 2022.48 技术的本质
    最近看了陆奇最新在奇迹创谈的分享,感觉很不错,就对其中有启发的点做下总结记录。技术的本质是用信息去转化能源,改变自然现象,满足人的需求。技术的结构有两个组成部分:可编程,......
  • 2022.47 AI中的算法与模型
    最近工作中,发现不少人对AI中的算法和模型的概念分不清楚,导致思考沟通表达问题不准确,其实这两个概念还是有很大差别的。AI中的算法,是指在已知样本数据基础上,按照预先设定的......
  • 场效应管SI7114DN-T1-GE3(11.7A)SM3323NHQAC-TRG(54A)MOSFET NCH 30V
    1、型号:SM3323NHQAC-TRGSM3323NHQAC描述:N沟道30V54A封装:DFN3x3D-82、型号:SI7114DN-T1-GE3SI7114DN描述:MOSFETN-CH30V11.7APPAK1212-8FET类型:N通道技术:MOSFET(金......
  • 2022.46 魔搭社区
    11月3日,2022云栖大会杭州现场,阿里达摩院联手CCF开源发展委员会共同推出AI模型社区“魔搭”ModelScope,旨在降低AI的应用门槛。是国内首个通用的模型交流平台,系统化的模型分......
  • PyQt5 QMenuBar 和 QMenu 和 QAction
    QMenuBar和QMenu和QAction具体作用QMenuBar的作用就是在窗口顶部生成工具栏而QMenu就是生成选项QAction就是QMenu生成的选项具体如图:(注:图中应该是QActionQMenuBa......
  • 2022.45 AIGC
    从语音到静态画面再到动态影像,AIGC(人工智能生成内容)对短视频完成了全面渗透。输入文案,自动合成语音,AI已成为当下短视频批量生产的标配;选一首大众熟悉的歌曲,让AI根据歌词生......