news 2026/4/15 16:40:20

Klocwork 2025.3 发布:强化全栈静态分析,打造安全可靠数字基石

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
Klocwork 2025.3 发布:强化全栈静态分析,打造安全可靠数字基石

Klocwork 2025.3 新特性

在Klocwork 2025.3中,桌面工具和Validate门户网站的安装程序和用户界面已更新为新徽标,以反映Perforce品牌的更新,并提供一致的体验。

该版本增强了对 QNX 编译器的支持,并在使用现代 C/C++ 时,为选定的 MISRA C 和 C++ 检查器提供了更精准的分析。Java 分析的准确性也得到了提升,包括针对目标为 JDK 15 或更高版本的项目(例如分析使用 Android 14 及更高版本的项目时)。在 2025.3 版本中,IDE 插件有所更新,包括在 Visual Studio 插件中直接显示与结果关联的分类信息和参考数据,并且 VS Code 扩展插件的易用性得到了改进。其他增强功能包括:提升了 Perforce Validate 数据库在处理多流项目时的稳健性并减少了存储空间占用,以及进一步改进了 Validate 合规性报告的一致性和可读性。

C/C++分析引擎

改进了对现代 C/C++ 的处理

从 2025.2 版本开始,现代模式已成为数据流分析默认的C/C++分析模式。在 2025.3 版本中,对C11或C++14及更新语言版本的改进处理已扩展到选定的语义检查,主要涉及MISRA C和C++规则。为了更好地与现代模式兼容,对QNX编译器的现有支持也已更新。

其他 C/C++ 分析增强

▶ KAST表达式现在支持使用 (: comment :) 语法添加单行和多行注释,以提高KAST检查器的可读性和可维护性。

▶ CERT C/C++分类体系已更新,以反映该标准中针对特定规则和建议级别变更的最新变化。

▶ 新增了检查器,用于识别在特定上下文中使用浮点值时的除零问题。

Java分析引擎

当分析目标为JDK版本15或更高的项目时,分析引擎现在默认使用JDK 15。因此,这些项目将体验到改进的语义解析和更准确的数据流分析。例如,对 Android 14(使用 JDK 17 编译)的分析在准确性和整体分析质量方面展现出显著提升。

Validate平台改进

合规性报告改进

Validate合规性报告已更新,以提升可读性和完整性。通用报告中的“规则摘要”部分现在会显示所有规则类别,包括那些没有映射检查器的类别,以便您能对照完整标准检查合规性。MISRA合规性报告包含了两个新的合规级别:“未强制执行(未应用)”和“未强制执行(禁用)”,用于识别映射到某规则的所有检查器均已被禁用的情况。

安全性改进

当分析目标为JDK版本15或更高的项目时,分析引擎现在默认使用JDK 15。因此,这些项目将体验到改进的语义解析和更准确的数据流分析。例如,对 Android 14(使用 JDK 17 编译)的分析在准确性和整体分析质量方面展现出显著提升。

编码标准

CERT C/C++分类体系得到改进,包含选定的改进映射和更新后的级别,以符合标准的最新变化。还包含了特定于POSIX和Windows的规则,以简化比较并阐明执行情况。

使用体验优化

IDE插件

▶ 现在可以直接在Visual Studio插件中查看问题的分类信息和参考数据。

▶ VS Code扩展插件的易用性得到改进,包括“缺陷历史”面板中显示的消息清晰度更高。

KAST表达式编辑

▶ Checker Studio现在为C/C++、C#和Java的KAST模式提供了智能代码补全和语法高亮功能,类似于现代IDE。

Validate易用性改进

▶ 改进了问题浏览器中“列表视图”和“表格视图”之间选择/导航操作的浏览器一致性。

编译器支持

增强了对以下编译器的支持:

▶ Clang

▶ GCC

▶ QNX

集成

通过更新review_action.py的内部实现,修复了先前版本中与缺陷跟踪系统集成的一个问题。因此,您需要将review_action.py脚本迁移到Python 3。

Klocwork 2025.3 中的重要变化

2025.2中移除了kwmatch 实用工具

自Klocwork 2025.2起,已移除kwmatch实用工具。如果您是从旧版本升级,我们建议使用流来管理项目分支,并使用kwsync进行跨项目问题同步。

如果您之前对特定项目使用过kwmatch并为其创建了数据库,当您将这些项目迁移到2025.2或更高版本后,您的数据库将不再被使用,您可以将其删除。

2025.2中移除了dbvalidate清理实用工具

从2025.2版本开始,您无法再直接运行dbvalidate清理实用工具。某些用于删除重复问题和注释的dbvalidate命令在Perforce技术支持特别建议的情况下仍可使用。

许可证管理变更

自2025.1版本起,许可证管理发生了以下变更:

▶ Klocwork工具现在使用Reprise License Manager (RLM) v16.1BL1。升级后的服务器包含在Validate安装包中,任何较早的RLM服务器都需要升级到此版本才能与Klocwork 2025.1及更高版本配合使用。

▶ 2024许可证与Klocwork 2025.1或更新版本不兼容。要使用最新版本的产品,联系 Perforce 获取新许可证。

Visual Studio 2015的IDE插件在2025.4版本终止支持

预发布通知

自Klocwork 2025.4开始,将不再提供或支持用于Visual Studio 2015的IDE插件,这与Microsoft对Visual Studio 2015扩展支持的终止保持一致。

了解有关Klocwork技术信息商务服务,请访问http://www.softtest.cn/留言,或按以下方式联系旋极智能

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/4/3 10:48:42

[Android] 祈风TTS - 全能离线语音合成助手

获取地址:祈风TTS 一款功能全面的离线语音合成工具,内置多种高自然度发音引擎,无需网络即可将文字转换为流畅语音。支持多国语言朗读、自定义发音人、语速语调精细调节,适用于有声阅读、内容创作、语音提醒等多种场景。

作者头像 李华
网站建设 2026/4/14 16:45:10

Unity高效3D模型导入神器:glTFast深度解析与应用指南

Unity高效3D模型导入神器:glTFast深度解析与应用指南 【免费下载链接】glTFast Efficient glTF 3D import / export package for Unity 项目地址: https://gitcode.com/gh_mirrors/gl/glTFast 在Unity项目开发中,3D模型的导入和优化一直是开发者面…

作者头像 李华
网站建设 2026/4/8 7:34:03

day02 mysql学习之单表查询

一、多表查询核心概念铺垫先明确核心术语:关系表:有等值关联字段的表(如hzuser的jiejiNum和jieji的jiejiNum),关系型数据库的核心特征。等值连接条件:多表查询时必须通过 “表 A. 字段 表 B. 字段” 消除笛…

作者头像 李华
网站建设 2026/4/11 8:33:10

官方| Highcharts V12 版本的改变说明文档

Highcharts V12 版本的改变 Highcharts v12 引入了一种基于 Webpack 的新的通用模块定义(UMD),旨在使 Highcharts 模块的使用更加便捷且加载速度更快。 感谢这一变化,用户很快就能充分利用 ESM(ES 模块)包…

作者头像 李华
网站建设 2026/4/10 6:58:31

矩阵协同效应:海外多平台推广的流量互通与品牌协同策略

在全球化背景下,企业在海外市场的推广不再仅依赖单一平台的流量红利,而是需要构建多平台的矩阵式推广策略,实现流量的互通与品牌影响力的协同效应。多平台推广不仅能够覆盖更广的受众,还能在不同渠道中形成互补优势,使…

作者头像 李华