首页 > 编程语言 >代码静态测试工具Klocwork 2024.3新版发布:Validate平台改进编码标准CC++

代码静态测试工具Klocwork 2024.3新版发布:Validate平台改进编码标准CC++

时间:2024-11-12 12:07:31浏览次数:1  
标签:2024.3 编码标准 Klocwork C++ 改进 版本 测试工具 Validate

Klocwork 2024.3 为 C/C++ 分析引擎和构建上传流程引入了新功能和性能改进。此版本还附带了增强的安全性和用户体验改进,包括用于 SAML/OIDC 身份验证的 IDE 插件中更好的用户身份验证工作流程。其他增强功能包括更广泛的编码标准覆盖范围以及改进的与 Bazel 构建系统的集成。

Validate平台改进

构建加载

• 将生成上传到 Validate 的速度已得到提高。

认证

• 改进了在使用 ‘kwauth’/‘validate auth’ 时存储用户令牌进行身份Validate的安全性。
○ 文档中 介绍了对 ltokens 使用的更改以及用于指定相关文件位置的新环境变量。
• 增强了使用Validate SAML/OIDC 身份Validate时 IDE 插件中的用户身份Validate。

编码标准

Klocwork 2024.3 新增和扩展的标准覆盖范围:
• MISRA C:2012
○ 100% 覆盖 MISRA C:2012 修正案 2 规则
• CERT C 和 C++
○ 选定的 1 级规则
• AUTOSAR、HKMC C++、MISRA C++:2023 中的相应规则

C/C++ 分析引擎

改进了 C/C++ 的语言特征覆盖率和缺陷检测。
• 改进了对与内存泄漏或释放后尝试使用内存相关的问题的检测分析。
• 增加了对 Windows 和 Linux 上的 Bazel 构建系统的支持。

软件质量一般性改进

文件扩展名

• Klocwork 2024.3 允许在 Suppression 配置的路径匹配中加入文件扩展名(在 .sconf 文件中)。

构建系统支持

• 支持在 Windows 和 Linux 上与 Bazel 构建系统集成(在 2024.1 中添加了支持)。

Licensing

• 更新了“kwadmin”/“validate admin”的许可,以简化构建许可证的使用。

编译器支持

• 对以下编译器的附加或改进的支持:
○ GNU
○ Clang
○ TI ARM Clang
○ QNX
○ iccarm
○ Tricore

Klocwork 2024.3 中的重要更改

安全身份Validate license

从 2024.3 开始,默认情况下,使用 ‘kwauth’/‘validate auth’ 生成的安全身份Validate令牌存储在具有 Java KeyStore 的安全存储中的“credentials”文件中。环境变量 KLOCWORK_SECURE_TOKEN_STORAGE 对于新令牌设置为 JAVA_SECRET_STORAGE,对于预先存在的令牌设置为 empty。如果将 2024.1 或更早版本的 Klocwork 工具与 2024.2 或更高版本的 Validate 服务器一起使用,则必须使用不安全的令牌存储。要将不安全存储与任何身份Validate命令一起使用,请将 VALIDATE_SECURE_TOKEN_STORAGE 环境变量设置为 DISABLED。

许可证管理更改

截至 2023.4 年,Klocwork 工具使用 Reprise 许可证管理器 (RLM) v15.1BL2。
• 2023 许可证与 Klocwork 2024.1 或更高版本不兼容。要使用产品的最新版本,请通过 [email protected] 联系 Perforce 获取新许可证。

维护周期终止公告

弃用 Structure 101 集成

从 2024.3 开始,Klocwork 与 Structure 101 之间的集成已弃用,不再受支持。

Klocwork 2022 结束维护

Klocwork 2022 所有版本的维护 已于 2024 年 3 月 31 日结束。此外,维护终止 (EOM) 日期和销售终止 (EOS) 日期也发生在 2024 年 3 月 31 日。有关任何 Klocwork 版本的支持可用性的信息 ,请参阅 Klocwork 产品维护周期。

CentOS Linux 7 维护周期终止 - Klocwork 2024.3

从 Klocwork 2024.3 开始,将不再支持 CentOS Linux 7。

NIS Access Control 的维护周期终止

从 Klocwork 2024.3 开始,将不再支持 NIS 访问控制。从早期版本迁移到 Klocwork 2024.3 时,必须在迁移前切换到其他身份Validate方法,以确保在升级后可以继续登录。

Legacy维护周期终止帮助网站

• 这是一个通知,通知用户请使用新网站 https://help.klocwork.com/ 来满足您的所有文档需求。
• 需要使用发布包中提供的脱机内容访问 2021.x 及更早版本的文档。

在 2023.4 版中停止安装 Klocwork 服务器

从 2023.4 版开始,Klocwork Server 安装已停止。我们建议过渡到 Validate 安装程序,以获得更简化和集成的体验。

体验最新版Klocwork2024.3⏩⏩⏩[email protected]

翻译

搜索

复制

<iframe></iframe>

标签:2024.3,编码标准,Klocwork,C++,改进,版本,测试工具,Validate
From: https://www.cnblogs.com/polelink/p/18541556

相关文章

  • 代码静态测试工具Klocwork 2024.3
    HelixQAC2024.3附带适用于Windows和Linux的基于Qt的新安装程序,并增强了对ValidateSAML/OIDC身份验证的支持。此版本还包括对某些环境的Dataflow稳健性的改进,以及整个产品中的许多生活质量增强功能。  Jumpto你喜欢的部分��C++分析增强功能Validate平台改进......
  • 最实用的隐私测试工具操作手册来了,错过你就亏了
    注:本工具仅适用于未加固的安卓debug包APK    在开始之前,建议大家先回顾一下我们之前发布的关于隐私合规检测的文章。本次分享的隐私测试工具和以往的xpose隐私检测方法,有很大区别,一个对比后支持范围和准确性,另外一个就是操作简便,兼容性强,报告查看方便;    旧......
  • 云原生全链路性能测试工具深度解析与应用
    1.背景在当今数字化和微服务化时代,系统性能对于用户体验和业务完整性来说至关重要。随着业务的复杂化,系统会越来越不稳定,同时用户对高效、稳定的服务的期望也会不断增长。这时全链路性能测试变得愈发必要。性能测试通常是一种测试实践,用于确定系统在特定工作负载下的响......
  • Linux命令行压力测试工具:基准测试与性能优化
    文章目录Linux命令行压力测试工具:基准测试与性能优化Linux安装模拟CPU压力基本用法:高负载模拟:常见选项解析:模拟CPU满负荷模拟I/O瓶颈随机读测试:顺序写测试:初始化与清理操作:模拟大流量网络压力客户端测试命令:服务端命令:模拟端口禁用与防火墙配置查看当前规则:禁用出口端......
  • Linux系统压力测试工具(命令行工具)
    Linux的命令行压力测试工具在做基准测试时很有用,通过基准测试对了解一个系统所能达到的最大性能指标,这些指标可以作为后续性能比较、优化评估的参考依据。模拟CPU压力:可以使用stress命令使CPU处于高负载状态。例如,通过stress-c4命令(-c选项用于指定CPU核心数),会让系统的4个CPU核......
  • macOS电脑实时渲染和动画制作软件:KeyShot 2024.3 中文激活补丁版
    KeyShotKeyShot是一款互动性的光线追踪与全域光渲染程序,它凭借强大的技术算法和全局光照研究,无需复杂设定即可产生相片般真实的3D渲染影像。该软件用户界面简单直观,运行快速,支持多种3D模型格式和渲染模式,为设计师、工程师等提供了丰富的材质库、灯光库和动画功能,能够满足用户从静......
  • 【MemTester】内存测试工具Memtester使用方法
    1.MemTester简介MemTester是一个用于压力测试内存子系统的工具,它特别有效于发现间歇性和非确定性的故障。以下是MemTester的一些主要特点和功能:内存错误捕获:MemTester主要用于捕获内存错误和识别一直处于高或低电平的坏位。多种测试项目:它提供了一系列测试项目,包括随机值测试......
  • 自动化测试工具Ranorex Studio(十五)-自定义代码ACTION
    在Recorder提供的功能不能够满足的情况下,可以使用自定义代码。这里有一些例子,可以方便演示自定义代码Action。•   自定义验证•   访问测试用例相关的数据和参数•   扩展报告在项目视图窗口中,仔细看一个录制模块文件,你会看到有两个相关的代码文件。 图:录......
  • PC端的Windows软件用什么自动化测试工具好
    Windows软件的自动化测试可以帮助我们在短时间内完成大量的测试任务,并发现软件中的问题。以下是一些常用的Windows软件自动化测试工具:一、Selenium;二、TestComplete;三、Ranorex;四、WinAppDriver;五、AutoIt;六、QTP(UFT);七、Eggplant。Selenium是一款非常流行的开源自动化测试工具,......
  • Pygame游戏手柄(Xbox)输入测试工具
    文章目录前言Xbox手柄测试程序说明使用说明完整代码前言在python做机器人控制时,需要加入xbox操控功能,为了直观显示手柄摇杆与变量之间的对应关系,实时调试手柄输入,开发了python手柄测试程序(本文基于xbox)。Xbox手柄测试程序说明测试程序使用pygame库创建了一......