Klocwork 2023.4发布:问题匹配算法升级,编码标准全面支持!

图片

Klocwork 2023.4 的新增功能

Klocwork 2023.4 改进了问题匹配的算法,为桌面端和CI集成构建之间的结果提供了更大的一致性,以及连续构建之间的问题匹配。Klocwork的最新版本还改进了C/C++语言的分析引擎,减少了误报/漏报,跨过程跟踪数组索引中的值和具有常量表达式的值。此外,还对IDE插件、安装程序包进行了一般性改进,并提高了对C/C++、C#和Java等各种编码标准的覆盖范围。

C/C++分析引擎

增强对C/C++语言特性的支持和缺陷检测。

- 在C/C++的跨过程分析中,增加了对跟踪数组元素值(由索引和常量表达式的值索引)的支持。

- 新的C/C++规则,用于在数组使用前查找与数组索引的可疑边界检查相关的缺陷。

Java分析引擎

- 改进了Android 13的Java分析解析。

- 增加了对Gradle 8.4的支持。

编码标准覆盖范围

新的扩展的标准和问题分类:

- CERT-C++/Java

- CWE & 2023 CWE Top 25 Most Dangerous Software Weaknesses for – C#/Java

- DISA STIG v5 – C/C++/Java

- HKMC v4.1 – C/C++

- MISRA C:2023

- PCI DSS 3.2.1-C/C++

提高质量

IDE插件

- 更新了IDE插件,支持新版本的Intellij IDEA、Android Studio和CLion。

- 对Microsoft Visual Studio和VS Code插件的稳定性改进。

安装包

- 合并Klocwork和Validate安装包,减少安装包的数量。

问题匹配算法

- 为桌面端和CI集成构建之间的结果提供了更大的一致性,以及连续构建之间的问题匹配。

准确匹配和覆盖文件的命令行参数

- 在kwcheck和kwciagent中引进了新的功能,用于准确匹配和覆盖文件,更多信息见2023.4版本的发布说明。

Validate Server

- Apache Tomcat升级到8.5.96版本,带有增强的性能、安全属性和更多的优化,用于一个更为有效和可靠的服务器环境。

流(Stream)功能改进

- 扩展了流上的缺陷报告,包含在项目其它流上发现的缺陷概念。

- 问题摘要的分类包含了本地、流、和系统报告。

实用工具的改进

- 在对版本迁移的支持中,改进了实用工具。

Web API

- 扩展了流上的缺陷报告,包含在项目其它流上发现缺陷的概念。

- 通过Web API生成的报告提供了一个到API端点可以检索的“合规报告”文件夹的相对链接。

Klocwork 2023.4 的重要变化

在版本2023.4中停止Klocwork Server的安装

- 自版本2023.4开始,将停止Klocwork Server的安装,我们建议过度到使用Validate安装,用于更精简和集成的体验。

CLion插件和桌面工具2023.4兼容性

2023.4桌面工具的如下后向兼容性的限制:

- 只有版本2023.4或之后的Klocwork桌面工具(kwcheck)能够使用2023.4 CLion插件。

- 只有版本2023.4或之后的服务端能够使用2023.4的kwcheck和桌面工具用于连接的项目。

License管理的变化

自2023.4,Klocwork工具使用Reprise License Manager(RLM) v15.1BL2。

- 重要提示:升级后的RLM v15.1BL2已经包含在Klocwork 2023.4以上的安装中。任何RLM早期版本都需要升级到此版本。

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

图片

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/660378.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

C#,洛布数(Lobb Number)的计算方法与源代码

1 洛布数(Lobb Number) 在组合数学中,洛布数(Lobb Number)L(m,n)计算nm开括号的排列方式,以形成一个有效的平衡括号序列的开始。 Lobb数由两个非负整数m和n参数化,其中n>m>0。…

如何本地部署hMailServer邮件服务并实现远程发送邮件【内网穿透】

🔥博客主页: 小羊失眠啦. 🎥系列专栏:《C语言》 《数据结构》 《C》 《Linux》 《Cpolar》 ❤️感谢大家点赞👍收藏⭐评论✍️ 前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默&…

与 gpio相关的OF函数

一. 简介 前面在设备树文件中&#xff0c;创建了 Led设备节点。如下所示&#xff1a; gpioled{compatible "alientek, gpioled";pinctrl-names "default";pinctrl-0 <&pinctrl_gpioled>;led-gpio <&gpio1 3 GPIO_ACTIVE_LOW>;st…

判断当前设备是不是安卓或者IOS?

代码(重要点): 当前文件要是 xxx.js文件,就需要写好代码后调用才会执行: // 判断是不是安卓 const isAndroid () > {return /android/.test(navigator.userAgent.toLowerCase()); }// 判断是不是ios const isIOS () > {return /iphone|ipad|ipod/.test(navigator.use…

《Pandas 简易速速上手小册》第1章:Pandas入门(2024 最新版)

文章目录 1.1 Pandas 简介1.1.1 基础知识1.1.2 案例&#xff1a;气候变化数据分析1.1.3 拓展案例一&#xff1a;金融市场分析1.1.4 拓展案例二&#xff1a;社交媒体情感分析 1.2 安装和配置 Pandas1.2.1 基础知识1.2.2 案例&#xff1a;个人财务管理1.2.3 拓展案例一&#xff1…

【IMAX6U移植OpenCV】

IMAX6U移植OpenCV V1.3 一 安装通用交叉编译器1.1 下载通用交叉编译器1.2 安装通用交叉编译器1.3 验证通用交叉编译器 二 搭建 OpenCV 3.4.1 的编译环境2.1 下载 OpenCV 3.4.1 源码2.2 配置 OpenCV 环境2.3 编译 OpenCV 源码 三 Qt 项目中加入OpenCV3.1 Qt 项目的 pro 文件Open…

【Spark系列1】DAG中Stage和Task的划分全流程

一、整体流程 每个Aciton操作会创建一个JOB&#xff0c;JOB会提交给DAGScheduler&#xff0c;DAGScheduler根据RDD依赖的关系划分为多个Stage&#xff0c;每个Stage又会创建多个TaskSet&#xff0c;每个TaskSet包含多个Task&#xff0c;这个Task就是每个分区的并行计算的任务。…

数灵通外链工具如何实现回传功能?

在数字营销的世界里&#xff0c;了解用户行为是至关重要的。数灵通提供了一个强大的回传功能&#xff0c;能够让我们在用户完成某个动作后&#xff0c;获取到这个动作的数据反馈。利用这个功能&#xff0c;企业可以更好地了解用户需求和行为&#xff0c;从而优化营销策略&#…

Docker Compose下载

使用插件版本&#xff1a; 进行安装 乌班图的安装方式参考&#xff1a;centos 的安装方式参考&#xff1b; sudo yum update sudo yum install docker-compose-plugin通过检查版本来验证 Docker Compose 是否已正确安装。 docker compose version 预期输出&#xff1a; Dock…

编译LVGL遇到的问题及解决方式

问题1: 编译选项报错, 未识别 -Wshift-negative-value 选项 Building project file: main/src/main.c Building project file: main/src/mouse_cursor_icon.c cc: error: unrecognized command line option ‘-Wshift-negative-value’ cc: error: unrecognized command line …

【目标跟踪】3D点云跟踪

文章目录 一、前言二、代码目录三、代码解读3.1、文件描述3.2、代码框架 四、关联矩阵计算4.1、ComputeLocationDistance4.2、ComputeDirectionDistance4.3、ComputeBboxSizeDistance4.4、ComputePointNumDistance4.5、ComputePointNumDistance4.6、result_distance 五、结果 一…

Node.js 文件系统操作指南

文章目录 Node.js 文件系统操作完全指南一、引言二、基本文件操作2.1 读取文件2.2 写入文件2.3 追加内容到文件 三、文件与目录的创建与删除3.1 创建文件3.2 创建目录3.3 删除文件3.4 删除目录 四、文件与目录的信息查询4.1 检查文件或目录是否存在4.2 获取文件信息4.3 获取目录…

main函数、_tmain函数和wmain函数的区别

作者&#xff1a;朱金灿 来源&#xff1a;clever101的专栏 为什么大多数人学不会人工智能编程&#xff1f;>>> 今天碰到一个问题&#xff0c;算是彻底搞明白了main函数、_tmain函数和wmain函数的区别。就是使用vs2015新建一个控制台工程&#xff0c;如果入口函数是设…

C++ 11新特性之完美转发

概述 在C编程语言的演进过程中&#xff0c;C 11标准引入了一系列重大革新&#xff0c;其中之一便是“完美转发”机制。这一特性使得模板函数能够无损地传递任意类型的实参给其他函数或构造函数&#xff0c;从而极大地增强了C在泛型编程和资源管理方面的灵活性与效率。 完美转发…

探究HMAC算法:消息认证与数据完整性的完美结合

Hash-based Message Authentication Code&#xff08;基于哈希的消息认证码&#xff0c;简称HMAC&#xff09;算法作为一种广泛应用的消息认证码&#xff08;MAC&#xff09;算法&#xff0c;在现代信息安全领域起着至关重要的作用。本文将从算法原理、优缺点、实际应用等方面&…

20240128周报-网络太杂,Tomcat太难

今天来做个小总结吧&#xff0c;之前说想用几个月的时间将Java生态给整理一遍&#xff0c;该工作已经进入第三周了。先和各位老老板汇报一下上一周的工作&#xff0c;然后说一下本周的计划和后面的计划。 1.上周工作 上周的计划是将网络和Tomcat的内容梳理一番&#xff0c;但…

亚马逊要怎么运营?亚马逊运营主要运营内容有哪些?

一个店铺的成长发展少不了运营&#xff0c;而店铺的运营必须要有相关运营经验&#xff0c;才能将店铺做好&#xff0c;近几年亚马逊电商平台在不断的发展&#xff0c;亚马逊的运营模式非常独特&#xff0c;它借助于多种技术解决方案来提供最佳的客户体验。那么亚马逊要怎么运营…

你的MiniFilter安全吗?

简介 筛选器管理器 (FltMgr.sys)是Windows系统提供的内核模式驱动程序, 用于实现和公开文件系统筛选器驱动程序中通常所需的功能; 第三方文件系统筛选器开发人员可以使用FltMgr的功能可以更加简单的编写文件过滤驱动, 这种驱动我们通常称为MiniFilter, 下面是MiniFilter的基本…

python21-Python的字符串查找、替换相关方法

str还提供了如下常用的执行查找、替换等操作的方法。 startswith():判断字符串是否以指定子串开头。 endswith():判断字符串是否以指定子串结尾 find():查找指定子串在字符串中出现的位置&#xff0c;如果没有找到指定子串&#xff0c;则返回-1。 index():查找指定子串在字…

Java多线程--解决单例模式中的懒汉式的线程安全问题

文章目录 一、单例设计模式的线程安全问题&#xff08;1&#xff09;饿汉式没有线程安全问题&#xff08;2&#xff09;懒汉式线程安全问题1、案例2、方式1-同步方法3、方式2-同步代码块4、优化 二、代码&#xff08;1&#xff09;实现线程安全的懒汉式&#xff08;2&#xff0…