综合实力超群的静态代码测试工具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。
• 语言功能支持：
• 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平台

• 可自定义的文档链接提供了在英国威廉希尔公司网站 上编辑/添加新文档链接的功能。
• Auto-Delete Builds权限
• 在“构建”页面上管理自动删除旧构建标志，并设置自动删除阈值
• 管理“Edit build”页面上的“Do no auto delete this build”标志和“update_build”WebAPI命令的“keept”标志
• 管理View权限
• 添加了在创建新视图和编辑与权限运营商共享的私有视图时管理“public”标志的功能
• Streams权限
• 可以向用户分配权限，以限制对流项目的父项或子项的访问
• 改进了唯一问题计数，以考虑保存的项目view
• WebAPI 现在可以创建Validate项目和Streams

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

Klocwork 2022.4 的重要变化

许可证管理更改

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

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

在 2023.1 之前，您可以继续使用现有的 FLEX 许可证文件。

• 将为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 的发布而结束。