news 2026/7/10 10:31:58

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/7/10 22:35:11

夸克批量转存神器:批量存 + 分享,一键搞定

前言网盘现在已经是生活中云储存的常用软件,尤其是夸克,但是遇到想要的文件就要一条一条的保存,这就有点烦,今天分享一个夸克网盘的小工具,他支持批量分享,批量转存,再也不用一个一个的点击了&a…

作者头像 李华
网站建设 2026/7/11 4:59:02

Wan2.2-T2V-A14B在环保主题宣传中的视觉冲击力建构

Wan2.2-T2V-A14B在环保主题宣传中的视觉冲击力建构你有没有想过,一条关于“海洋塑料污染”的公益短片,从文案到成片,只需要不到两分钟? 不是剪辑、不是调色、也不是后期合成——而是AI直接从一段文字里,“画”出一个会…

作者头像 李华
网站建设 2026/7/10 1:26:29

从需求到上架,现代 iOS 开发流程的工程化方法论

近年来,移动应用的开发模式不断演化,iOS 开发流程不再是“写代码 → 打包 → 上架”的线性结构,而是由需求分析、架构设计、证书体系、构建自动化、测试分发、审查提交等多个环节组成的工程闭环。团队规模越大、使用跨端技术越多、操作系统越…

作者头像 李华
网站建设 2026/7/11 5:25:38

电路设计中的低通滤波器、高通滤波器概念

一、低通滤波器基本原理: 它像一个阻挡大石子的筛网。允许通过:低频信号(粗石子、慢变化)可以轻松通过。阻挡减弱:高频信号(细沙粒、快变化)被筛网挡住、滤除。在电路中如何实现? 最…

作者头像 李华
网站建设 2026/7/10 13:33:29

强力解锁!3步搞定联想拯救者Y7000系列BIOS隐藏设置工具

强力解锁!3步搞定联想拯救者Y7000系列BIOS隐藏设置工具 【免费下载链接】LEGION_Y7000Series_Insyde_Advanced_Settings_Tools 支持一键修改 Insyde BIOS 隐藏选项的小工具,例如关闭CFG LOCK、修改DVMT等等 项目地址: https://gitcode.com/gh_mirrors/…

作者头像 李华
网站建设 2026/7/10 1:47:46

34、搭建和配置邮件服务器:Postfix与Dovecot的全面指南

搭建和配置邮件服务器:Postfix与Dovecot的全面指南 1. 替换默认邮件服务为Postfix 在使用Postfix之前,需要停止并禁用默认的Sendmail服务,同时将默认邮件程序更改为Postfix。具体步骤如下: 1. 停止Sendmail服务 : # service sendmail stop此命令尝试停止Sendmail服务…

作者头像 李华