原创 主打综合实力的静态代码测试工具 Klocwork 2022.4 版本更新解析

Klocwork 2022.4 中的新增功能

对于 2022 年的最终版本，Klocwork 2022.4 提供了针对 C、C++、C#、Java 的更新和改进，并增强了对 Android 13 的支持。

此外，此版本还包括对 MISRA C：2012 和 DISA STIG 编码标准规则覆盖范围的改进、新的和改进的除以零漏洞检查器，以及验证平台中许多功能的总体使用质量改进。

C# 分析引擎

改进了对 C# 7.3 语言规范的支持。新的语言功能包括：

非托管类型约束

自动实现属性的属性（Auto-implemented property attributes）

可重新分配的ref局部变量

对堆栈分配数组的初始值设定项支持

初始化器中的表达式变量

元组相等

Java 分析引擎

支持 Java 14 语言规范。新功能包括：

改进了编译过程监控，减少了Java 14的解析错误和警告。

升级了Java知识库，以提供更高的准确性并支持Java 14 API。

语言功能支持：

List item

Switch表达式

Yield声明

箭头表示法和Multi-Case

支持 Gradle Kotlin DSL 格式，提供传统 Groovy DSL 的替代语法。

C/C++ 分析引擎

改进了相对路径的处理，以增强缺陷抑制功能。

使用缺陷抑制功能专注于重要问题。过滤掉代码中的干扰缺陷或问题，例如库、头文件和第三方代码。

Android 13 支持增强功能

Klocwork C、C++ 和 Java 分析器完全支持 Android 13。

编码标准

Klocwork 2022.4 的新标准和扩展标准覆盖范围和分类法：

DISA STIG v5 – Java

MISRA C：2012 AMD2具有98%的规则覆盖率

新的漏洞检查器

2022.4 改进了 Klocwork 支持的语言中的几个检查器：C 和 C++。检查器发现以下缺陷：

除以零

DBZ.ITERATOR（程序内缺陷检测）

DBZ.ITERATOR.CALL(过程间缺陷检测）

这两项还改进了包括对不同步长、转义条件（if 条件）和浮点数的支持。

提高使用质量

Validate平台

1. 可自定义的文档链接提供了在首页上编辑/添加新文档链接的功能。

2. Auto-Delete Builds权限

在“构建”页面上管理自动删除旧构建标志，并设置自动删除阈值

管理“Edit build”页面上的“Do no auto delete this build”标志和“update_build”WebAPI命令的“keept”标志

3. 管理View权限

添加了在创建新视图和编辑与权限运营商共享的私有视图时管理“public”标志的功能

4. Streams权限

可以向用户分配权限，以限制对流项目的父项或子项的访问

5. 改进了唯一问题计数，以考虑保存的项目view

6. WebAPI现在可以创建Validate项目和Streams

有关新增功能的更多详细信息，请参阅发行说明。

Klocwork 2022.4 的重要变化

许可证管理更改

自 2022.2 起，Klocwork 现在支持 Reprise 许可证管理器 （RLM）。

FLEXlm/FlexNet Publisher支持已弃用，但将继续工作，直到Klocwork 2023.1发布。

在 2023.1 之前，您可以继续使用现有的 FLEX 许可证文件。如果您需要生成新的许可证文件，请联系 >info@polelink.com> 。

将为Reprise生成新的产品许可证文件，如果您需要旧Klocwork版本的FLEX许可证文件，我们可以为您提供。

预公告

路径 API 版本升级 – Klocwork 2023.1

在 Klocwork 2023.1 发布后，需要检查自定义 C/C++ PATH 检查器的多线程兼容性。我们建议您查看自定义检查器以了解潜在的竞争风险，并使用 2023.1 Klocwork 路径 API头文件和库重新编译。未重新编译的自定义检查器将继续工作，但无法使用即将推出的并行化功能。请参阅我们的发行说明以了解更多信息。

报废公告 – Klocwork 2023.1

从 Klocwork 2023.1 开始，将不支持以下操作系统和安装程序：

苹果操作系统

此外，对 FLEXlm/FlexNet Publisher 许可证管理器的支持随着 Klocwork 2023.1 的发布而结束。