代码静态测试工具 Helix QAC 2024.1版新功能解读

news/2024/11/20 1:37:31/文章来源:https://www.cnblogs.com/polelink/p/18346878

Helix QAC 2024.1改进了对C++20和C23语言特性的支持,并增加了分析使用多个编译器的项目的新功能。此外,Validate增强了对于搜索功能和角色权限的用户体验,并且包括一个新的问题列表的CSV下载选项。

 

此版本还包括对于C/C++的CWE、C的HKMC和MISRA C++:2023®合规模块的扩展执行,以及许多常规产品质量提升。

 

免费新版试用欢迎私信北汇获取

 

《2024年汽车软件开发报告——影响汽车软件开发的重要挑战有哪些?》

 

 
 
 

相关直播:汽车行业为何需要MISRAC++2023

 

 
 
 

Jump to 你喜欢的部分

 

  • 语言增强C++20C23
  • 多编译器项目支持
  • Validate新的提升和功能以CSV格式下载问题列表扩展搜索新角色权限出于审查目的保留许可证日志
  • 编码标准的覆盖范围(CWE、HKMC、MISRA C++:2023®)与NIST 500-268要求相关的C/C++的CWE模块C的HKMC模块MISRA C++:2023模块
  • 产品质量的提升改进了对CCT自动生成的额外编译器的支持表现libc++编译器扩展符号引用Visual Studio和Eclipse IDE插件CLI操作系统
  • Helix QAC 2024.1的重要变化QACLI Admin命令被弃用合规模块目录更改许可证管理的变更

 

语言增强

 

C++20

此版本增加了对以下语言功能的改进支持:
• C++20的概念
• C++20简化函数模板

 

C23

 

此版本增加了对以下语言特性的初始支持:
• 当设置 -c23constexpr 时支持应用C23 constexpr
除了扩展的语言功能支持外,对于GCC 12/13版本以及MSVC 2022版本的用户体验也得到了改进。

 

多编译器项目支持

 

Helix QAC现在能够为使用多个编译器的项目提供配置分析设置。
• 支持一个项目中每种语言可以使用多个CCT。
• 提供一致的分析结果,降低在各种编译器环境中出现误报或漏报的可能性。
• 允许需要静态分析的跨平台开发项目具有更大的灵活性。
• 帮助识别编译器特定问题。
• 允许开发人员在为项目选择编译器时拥有更大的工具链的灵活性。

 

免费新版试用欢迎私信北汇获取

 

Validate新的提升和功能

以CSV格式下载问题列表

新的CSV下载按钮位于Validate的Issues页面顶部,根据当前的搜索查询下载缺陷列表。如需额外的问题信息,例如行号、评论和理由,需要订阅Validate高级合规报告包。

扩展搜索

Validate模块的正则表达式(RegEx)搜索功能提供了对*和**通配符字符的支持,以便在指定文件系统路径时使用。有关更多信息,请参阅modules 文档。

新角色权限

添加了“变更问题所有者(change issue owner )”权限,该权限允许用户更改问题的所有者,而无需更改问题状态。

出于审查目的保留许可证日志

现在,您可以将日志保留在许可证服务器的license.report.log文件中,以便达到审查的目的。这样,在服务器重启后,不会覆盖该文件。要了解append.license.logging的设置,请参阅validate service.。

免费新版试用欢迎私信获取

编码标准的覆盖范围(CWE、HKMC、MISRA C++:2023®)

对于以下合规模块,改进了规则和指令的执行:

与NIST 500-268要求相关的C/C++的CWE模块

• CWE-259、CWE-412、CWE-367、CWE-99、CWE-321

C的HKMC模块

• C-MSC-011

MISRA C++:2023模块

• Dir 0.3.2

免费新版试用欢迎私信北汇获取

产品质量的提升

改进了对CCT自动生成的额外编译器的支持

• Keil armcc
• 改进了对Clang 12的支持
• GCC 12/13
• MSVC 2022
• ‘qainject’现在是默认的同步方法

 

表现

 

• 对于涉及大量分支的结构,分析时间总体上有所减少。

libc++

增强了对libc++标准库的支持。
• 增加了-iso646keywords的选项,以匹配-fno-operator-names行为。
• 启用时,不使用操作符的替代关键字名称。

 

编译器扩展

 

• C语言的"复合字面量"特性现在作为QAC++的扩展得到支持。

符号引用

• 改进了对VCS和非VCS创建的符号链接的支持。

Visual Studio和Eclipse IDE插件

• 总体稳定性提高

 

CLI

 

• “qacli project”的新命令支持:
• 创建、修改、升级、配置文件

 

操作系统

 

• 支持Ubuntu Linux 22.04

免费新版试用欢迎私信北汇获取

Helix QAC 2024.1的重要变化

QACLI Admin命令被弃用

对于“qacli admin”,以下命令已被弃用,并将在未来版本中删除:
• --qaf-project-config, --upgrade, --create-config-file, --edit-config-file, --list-config-files

 

合规模块目录更改

 

提醒:自Helix QAC 2023.4起,Helix QAC不再从旧的“PRQA”目录中读取合规模块。合规性模块只能从“Perforce”文件目录中读取。
以下是现已过时的文件目录:
• %LOCALAPPDATA%\PRQA\installed_components.ini
• %PROGRAMDATA%\PRQA\installed_components.ini
• ${HOME}/.config/PRQA/installed_components.ini
• /etc/prqa.d/installed_components.ini

 

许可证管理的变更

 

随着Helix QAC 2024.1版本的发布,为RLM v15.1服务器提供了一个新的安装程序。如果使用Validate 2024.1与Helix QAC搭配,则此服务器版本是必需的;否则是可选的。

 

免费新版试用欢迎私信北汇获取

 

《2024年汽车软件开发报告——影响汽车软件开发的重要挑战有哪些?》

 

 
 
 

相关直播:汽车行业为何需要MISRAC++2023

 

 
 

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/779229.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

苹果与英伟达公开分手,谷歌 TPU 芯片成为苹果 AI 训练新利器

苹果公司发布论文公开其 AI 模型的训练细节,放弃英伟达GPU而转向选择谷歌TPU芯片。科技巨头们在尖端 AI 训练方面开始寻求更多元化的算力硬件解决方案。北京时间 7 月 30 日,苹果公司发布了一篇研究论文,论文显示苹果公司使用了谷歌开发的 TPU 芯片而非英伟达的 GPU 芯片来训…

三色法GC总结

作用:因并发标记过程中,程序还在跑。对象间的引用会发生变化,可能会导致漏标或错标情况。因此采用三色法,将扫描的各情况用颜色区别出来。 三种颜色 白色:一开始所有对象的颜色都是白色,即未扫描过的对象。 灰色:表示对象已经扫描到了,但是对象所在的引用对象,还未全部…

Dreamforce 24重磅来袭!年度盛会将有何惊喜?

作为Salesforce的旗舰会议,Dreamforce的历史已有20余年之久,是生态系统中的年度亮点。现如今,Dreamforce已经适应了线上受众的需求,通过Salesforce+提供直播和点播的参与方式。近期,Salesforce宣布Dreamforce 24将于9月17日-19日举行,一年一度的科技盛会又要开始Dreamfor…

笔记:从Aurora 8b/10b 到Aurora 64b/66b (三):自定义PHY层收发

相较于8/10来说没那么复杂,需要考虑的情况只有八种; 但是gearbox的控制需要额外的心思:每三十二周期所有操作都需要停止; 这一点在收发都需要注意; RX: 核心思想是利用header做检测,将夹杂在数据流中的控制包滤除掉;module gt_phy_rx (input wire i_rx_cl…

esp32安装circuitpython

安装Thonny https://thonny.org/ 在Thonny中安装circuitpython 在配置解释器中选择circuitython然后点击右下角“安装或更新...“variant这里我选择了 DOIT esp32 Development Board(试过其他的一些个,不知道为什么安装完之后会无限重启,所以最后选择了这个) 烧录完之后,重…

Linux内核学习—— 1内核体系结构

一 内核体系结构 1内核模式与体系结构 2内核中断概括 3进程管理概括 二 内核源码结构 三 内核引导程序 操作系统结构: 用户应用程序 操作系统服务层 内核(文件系统,内存管理,进程管理,驱动管理) 硬件系统 驱动 操作系统工作方式:把做操作系统从用户态切换到内核态(用户应…

设置windows系统下的tomcat开机自启

设置前的准备工作(配置系统环境变量) 新增CATALINA_HOME变量,变量值为tomcat的安装路径在Path中添加: %CATALINA_HOME%\bin结合安装版本问题,分正常安装版本tomcat和免安装tomcat(无service.bat)两种情况。 一、正常安装版本(tomcat安装文件有service.bat文件) 说明:安装…

基于vscode搭建freertos环境

前言 目前网上windows仿真freertos的资料都是比较久远的,不太适合现有的开发,因此重新整理了一下资料. 目标: 使用Vscode进行FreeRTOS开发和仿真. 关键词: freertos, vscode,llvm,cmake,windows 环境配置 编译器目前使用的是llvm-MinGW-msvcrt:Releases mstorsjo/llvm-mingw (…

QWen2-72B-Instruct模型安装部署过程

最近在给我们的客户私有化部署我们的TorchV系统,客户给的资源足够充裕,借此机会记录下部署千问72B模型的过程,分享给大家! 一、基础信息操作系统:Ubuntu 22.04.3 LTSGPU: A800(80GB) * 8内存:1TB二、软件信息 Python: 3.10 Pytorch:2.3.0 Transformers:4.43.0 vLLM:0.…

塑胶件的结构设计:超声波焊接篇(中)

04 超声波焊接效果的影响因素 一、塑胶材料因素 上篇已经介绍的适合超声波焊接的材料选择,一般情况下两种材料满足Tg或熔点接近、化学相容性良好和熔体流动指数接近这三个条件,基本可认为是可焊接的,但需要注意以下几点: 1、热塑性塑胶又分为非结晶性(也叫无定形)塑胶和…

简易秀投票解决方案功能展示与案例分析

简易秀投票小程序作为一款功能丰富、操作简便的投票工具,其功能案例分析可以从以下几个方面进行: 一、功能概述 简易秀投票小程序支持多种投票类型和丰富的设置选项,主要包括: 1.多样化的投票类型:支持视频投票、音频投票、图文投票、文字投票等多种类型,满足不同场景下的…

周易智慧小程序:功能特色与用户体验案例分析

一、引言 随着人们对传统文化的兴趣日益增长,结合现代科技手段的周易智慧小程序应运而生。这类小程序不仅传承了《周易》的古老智慧,还通过创新的功能设计和用户体验优化,让更多人能够轻松接触并理解周易文化。二、功能特色分析 智能化占卜系统: 1.采用先进的人工智能算法,…