0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

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

北汇信息POLELINK 2024-04-25 12:32 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

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

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

语言增强
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搭配,则此服务器版本是必需的;否则是可选的。

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

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

    关注

    5186

    文章

    20148

    浏览量

    328841
  • 代码
    +关注

    关注

    30

    文章

    4941

    浏览量

    73150
  • 编译器
    +关注

    关注

    1

    文章

    1669

    浏览量

    51082
  • 嵌入式软件测试

    关注

    2

    文章

    27

    浏览量

    6234
收藏 人收藏
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    什么是CVE?如何通过SAST/静态分析工具Perforce QAC 和 Klocwork应对CVE?

    本文将为您详解什么是CVE、CVE标识符的作用,厘清CVE与CWE、CVSS的区别,介绍CVE清单内容,并说明如何借助合适的静态分析工具(如Perforce QAC/Klocwork),在软件开发早期发现并修复漏洞。
    的头像 发表于 10-31 14:24 283次阅读
    什么是CVE?如何通过SAST/<b class='flag-5'>静态</b>分析<b class='flag-5'>工具</b>Perforce <b class='flag-5'>QAC</b> 和 Klocwork应对CVE?

    嵌入式C/C++回归测试四大最佳实践(附自动化测试工具TESSY使用教程)

    嵌入式开发中,一次微小的代码改动都可能引发“蝴蝶效应”,如何守护系统的稳健?推荐专业的自动化测试工具#TESSY,源自戴姆勒-奔驰,是嵌入式C/C++单元/集成测试的标杆。
    的头像 发表于 10-31 14:21 184次阅读
    嵌入式C/C++回归<b class='flag-5'>测试</b>四大最佳实践(附自动化<b class='flag-5'>测试工具</b>TESSY使用教程)

    C/C++代码静态测试工具Perforce QAC 2025.3的新特性

    Perforce QAC 2025.3 通过更新结果存储处理提供了性能改进,可以显著减少总分析时间,具体取决于项目结构和分析所使用的硬件设备。此版本还增强了对 QNX 8.0 编译器的支持,以及对
    的头像 发表于 10-13 18:11 345次阅读
    C/C++<b class='flag-5'>代码</b><b class='flag-5'>静态</b><b class='flag-5'>测试工具</b>Perforce <b class='flag-5'>QAC</b> 2025.3的新特性

    嵌入式软件测试与专业测试工具的必要性深度解析

    MSO‌:提供电源完整性测试、时序分析、数字信号验证等硬件调试功能,以及中断处理分析、代码执行流程跟踪等软件调试能力。 测试工具选型建议选择嵌入式软件
    发表于 09-28 17:42

    汽车软件团队必看:基于静态代码分析工具Perforce QAC的ISO 26262合规实践

    ISO 26262合规指南,从ASIL分级到工具落地,手把手教你用静态代码分析(Perforce QAC)实现高效合规。
    的头像 发表于 08-07 17:33 867次阅读
    汽车软件团队必看:基于<b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析<b class='flag-5'>工具</b>Perforce <b class='flag-5'>QAC</b>的ISO 26262合规实践

    HarmonyOS AI辅助编程工具(CodeGenie)代码能解读

    功能从DevEco CodeGenie 5.1.0 Beta版本开始支持。 CodeGenie提供智能AI能力对框选的代码片段进行逐条解释,总结代码段含义,帮助开发者提升阅读代码的速
    发表于 07-17 17:02

    Perforce QAC产品简介:面向C/C++的静态代码分析工具(已通过SO 26262认证)

    Perforce QAC专为C/C++开发者打造,支持多种编码规范、功能安全标准(ISO 26262)等,广泛用于汽车、医疗、嵌入式开发领域,可帮助快速识别关键缺陷、提升代码质量、实现合规交付。
    的头像 发表于 07-10 15:57 846次阅读
    Perforce <b class='flag-5'>QAC</b>产品简介:面向C/C++的<b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析<b class='flag-5'>工具</b>(已通过SO 26262认证)

    试工具:Eclipse调试工具栏与窗口的深入分析

    摘要 :在嵌入式系统开发领域,高效的调试工具链对于项目的成功实施具有决定性意义。本文聚焦于 Eclipse 调试工具栏与窗口的功能特性,深入剖析其在嵌入式开发调试过程中的关键作用。以厦门国科安芯
    的头像 发表于 07-07 11:32 631次阅读
    调<b class='flag-5'>试工具</b>:Eclipse调<b class='flag-5'>试工具</b>栏与窗口的深入分析

    Helix QAC 2025.1 重磅发布!MISRA C:2025® 100%覆盖

    Helix QAC 2025.1新增功能 Helix QAC 2025.1实现了对新版MISRA C:2025®标准的 100% 覆盖,并提
    的头像 发表于 05-13 16:48 1119次阅读
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2025.1 重磅发布!MISRA C:2025® 100%覆盖

    代码静态测试工具Perforce QAC 2025.1新特性

    Perforce QAC 2025.1实现了对新发布的MISRA C:2025®标准的100%覆盖,并提供了对应的新合规模块。该版本还扩展了对CERT C Level 1建议的覆盖范围,改进了与持续
    的头像 发表于 04-21 15:14 924次阅读
    <b class='flag-5'>代码</b><b class='flag-5'>静态</b><b class='flag-5'>测试工具</b>Perforce <b class='flag-5'>QAC</b> 2025.1新特性

    Perforce品牌及产品名更新:涵盖版本控制Perforce P4(原Helix Core)、静态代码分析Perforce QAC(原Helix QAC)等

    Perforce推出全新P4平台及P4 One客户端!从广为人知的“P4”到Helix Core到Perforce P4,此次品牌重塑是一次初心回归,也是对开发者和数字创作团队需求的深度回应。一起来了解更多吧~
    的头像 发表于 03-28 15:04 1107次阅读
    Perforce品牌及产品名更新:涵盖版本控制Perforce P4(原<b class='flag-5'>Helix</b> Core)、<b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析Perforce <b class='flag-5'>QAC</b>(原<b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>)等

    缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助Perforce 的Klocwork/Hleix QAC静态代码分析工具

    本期来认识软件漏洞的“常客”——缓冲区溢出,C/C++开发者尤其要注意!全面了解该漏洞的成因、类型、常见示例,以及如何借助Klocwork、Helix QAC等SAST工具进行防护。
    的头像 发表于 03-04 16:39 1719次阅读
    缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助Perforce 的Klocwork/Hleix <b class='flag-5'>QAC</b>等<b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析<b class='flag-5'>工具</b>)

    芯科科技Z-Wave设备测试工具介绍

    本篇技术博文将介绍SiliconLabs(芯科科技)提供的Z-Wave设备测试工具,通过使用一个旧的Z-Wave DUT项目来测试Z-Wave设备,以确保设备可以正常工作。
    的头像 发表于 01-17 09:39 1031次阅读
    芯科科技Z-Wave设备<b class='flag-5'>测试工具</b>介绍

    Web端TCP/UDP测试工具!小白必学~

    : 02. 终端在代码里面填上对应的IP:112.125.89.8,TCP端口填上46095,然后打开Socket; 03. TCP连接建立后,TCP/UDP web测试工具会在界面上显示连上来的
    的头像 发表于 01-08 18:17 1986次阅读
    Web端TCP/UDP<b class='flag-5'>测试工具</b>!小白必学~

    Modbus测试工具

    非常实用的工具,通信测试前可以用来检查线路接线和仪表设置是否正常。
    发表于 12-31 13:38 3次下载