首页 > 编程语言 >Klocwork 2023.4发布:问题匹配算法升级,编码标准全面支持!

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

时间:2024-02-01 15:46:01浏览次数:36  
标签:插件 Java 编码标准 Klocwork C++ 版本 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/留言,或按以下方式联系旋极智能

 获取更多资讯▼关注旋极智能

标签:插件,Java,编码标准,Klocwork,C++,版本,2023.4
From: https://www.cnblogs.com/qianrushizhuangbeidianzixitong/p/18001407

相关文章

  • 代码静态测试工具Helix QAC 2023.4新发布
    喜欢本篇文章速速点赞评论⭐收藏 HelixQAC2023.4为新的MISRAC++:2023指南推出了100%MISRAC++:2023®规则覆盖率。此版本还包括扩展的C++20语言支持、数据流分析的性能改进以及整个产品中的许多产品体验增强功能。 Jumpto你喜欢的部分 增强对C++20的支持......
  • Helix QAC 2023.4 新版支持C++20语言,带来更多性能提升!
    HelixQAC2023.4新增功能HelixQAC2023.4全面支持MISRAC++:2023®规则,涵盖100%的指南。此版本还加强了对C++20语言的支持,改进了数据流分析性能,并在整个产品中增加了多项用户体验改进。增强的C++20支持此版本新增了对以下语言特性的支持:-模板参数列表和函数声明的requires-clau......
  • Helix QAC 2023.4 新版支持C++20语言,带来更多性能提升!
    HelixQAC2023.4新增功能HelixQAC2023.4全面支持MISRAC++:2023®规则,涵盖100%的指南。此版本还加强了对C++20语言的支持,改进了数据流分析性能,并在整个产品中增加了多项用户体验改进。增强的C++20支持此版本新增了对以下语言特性的支持:-模板参数列表和函数声明的require......
  • kali官方博客 --- Kali Linux 2023.4 发布(云 ARM64、Vagrant Hyper-V 和 Raspberry Pi
     2023年即将结束,在假期开始之前,我们认为今天是发布Kali2023.4的好时机。虽然这次发布的最终用户功能可能不是最多的,但我们提供了许多新的平台,幕后也发生了许多变化,这些变化产生了积极的连锁反应,使每个人都受益匪浅。撇开新闻、平台和功能不谈,如果我们的软件包(包括新工具和......
  • Kali Linux 2023.4 发布 (Cloud ARM64, Vagrant Hyper-V & Raspberry Pi 5)
    KaliLinux2023.4发布(CloudARM64,VagrantHyper-V&RaspberryPi5)请访问原文链接:https://sysin.org/blog/kali-linux-2023/,查看最新版。原创作品,转载请保留出处。作者主页:sysin.org更新说明今天(2023-12-05),KaliLinux2023.4镜像下载已经可用,但是发行说明未知,官方......
  • Klocwork 2023.3发布,新增功能让您的构建管理更轻松!
    Klocwork2023.3的新增功能Klocwork2023.3使用构建标记为流(Stream)和CI/CD分析管道提供了构建管理的改进。C/C++分析引擎能够跟踪由常量索引引用的单个数组元素的值。Klocwork分析引擎的总体改进为CWE2023Top25和MISRAC:2023提供了更高的准确性和新的编码标准覆盖率。使用构......
  • 为什么编码标准对医疗机器人很重要?
    医疗机器人和医疗保健技术的进步由物联网(IoMT)、机器学习(ML)和人工智能(AI)推动,这意味着我们已经看到了侵入性更小的手术、更准确的诊断和更个性化的患者治疗方案。但所有这些创新都依赖于软件,这就带来了更多的安全风险和隐患。因此确保医疗设备软件代码符合编码标准是非常重要的。医疗......
  • 静态代码测试多语言特长生 Klocwork 2023.2更新快讯
    随着2023.2的发布,Klocwork为C、C++、C#、Java和JavaScript分析提供了更新和改进。MISRAC:2012AMD2覆盖率和DISASTIGASDC/C++高严重性规则覆盖率高达83%。还引入了针对C语言检查器的附加路径分析。 Validate平台现在具有增强的问题浏览和筛选功能。 其他增强......
  • 2023.4-2023.5 水题记录 (持续更新)
    摆烂了属于是.1.P4071[SDOI2016]排列计数错排板子,显然答案为\(\dbinom{n}{m}D_{n-m}\),\(D_k\)m为错排数.2.P5104红包发红包连续型随机变量入门题.本人不太熟练,写一下过程.根据题中条件,抽到钱数在\([0,x](x\in[0,w])\)间的概率为\(\dfrac{x}{w}\).求导得概......
  • 2023.4.26周三每日总结
    Activity的生命周期Activity生命周期是一个非常重要的概念,理解Activity的生命周期对于开发Android应用程序至关重要。在AS中,Activity有始有终,可以选择对应状态的回调函数,根据状态完成一些逻辑操作。学习Activity的生命周期,可以更好的掌握应用程序的启动、销毁、状态保存等操作......