当前位置：网站首页 > IT知识 > 正文

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

liuian 2025-03-07 20:50 29 浏览

Klocwork 2022.4 中的新增功能

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

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

C# 分析引擎

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

o 非托管类型约束

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

o 可重新分配的ref局部变量

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

o 初始化器中的表达式变量

o 元组相等

Java 分析引擎

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

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

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

o 语言功能支持：

○ Switch表达式

○ Yield声明

○ 箭头表示法和Multi-Case

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

C/C++ 分析引擎

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

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

Android 13 支持增强功能

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

编码标准

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

o DISA STIG v5 – Java

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

新的漏洞检查器

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

o 除以零

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

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

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

提高使用质量

Validate平台

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

o Auto-Delete Builds权限

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

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

o 管理View权限

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

o Streams权限

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

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

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

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

Klocwork 2022.4 的重要变化

许可证管理更改

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

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

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

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

预公告

路径 API 版本升级 – Klocwork 2023.1

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