首页 > 其他分享 >静态代码测试多语言特长生 Klocwork 2023.2更新快讯

静态代码测试多语言特长生 Klocwork 2023.2更新快讯

时间:2023-08-01 14:45:33浏览次数:39  
标签:特长生 Klocwork C++ 2023.2 改进 Validate 覆盖范围

随着 2023.2 的发布,Klocwork 为 C、C++、C#、Java 和 JavaScript 分析提供了更新和改进。MISRA C:2012 AMD 2覆盖率和DISA STIG ASD C/C++高严重性规则覆盖率高达83%。还引入了针对 C 语言检查器的附加路径分析。

 

Validate平台现在具有增强的问题浏览和筛选功能。

 

其他增强功能包括改进Microsoft Visual Studio 插件和 Project Streams in Validate 的稳定性和性能。

 

 

审查Validate中的问题

 

 

现在,您可以通过查看、修改和导航问题搜索列表,更轻松地在Validate中查看问题,而无需离开“Issue Details”页面。

 

• 通过新的“File Navigation”窗格搜索单个文件并探索问题,该窗格启用在使用相同浏览器时在会话之间持久存在的配置。

 

 

其他Validate平台改进

 

 

• 使用 "度量元 "报告设计器在Validate中编辑阈值和总度量值报告定义。


• 利用新的命令行应用程序包,为Validate命令提供通用命名。

 

 

C/C++ 分析引擎

 

 

改进了 C/C++ 的语言功能覆盖率和缺陷检测:


• 增强了对 C++14 和 C++17 分析的支持。


• 添加了几个 MISRA 规则并增加了 MISRA C:2012(最高 AMD 2)的覆盖范围。


• 增加了对 DISA STIG 高严重性规则、CERT、OWASP 和 CWE 的覆盖范围,包括为 2022 年 CWE Top 25 最危险的软件弱点添加分类法。

 

C# 分析引擎

 

 

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


• 接口中的静态构造函数。


• 接口中的嵌套类型和运算符声明。


• 内插verbatim字符串。


• 范围和索引支持 …和 ^ 运算符。


• 使用新引擎对 C# 检查程序进行额外的路径分析。

 

Java 分析引擎

 

 

扩展了 Java 14 语言规范的覆盖范围。新功能包括:


• 改进路径分析检查程序对 Java 14 的支持。


• 100% 覆盖 Jakarta EE。

  

JavaScript 分析引擎

 

 

• JavaScript 分析支持 .eslintignore 文件


• 用于指定项目目录的 kwjsspec 工具的新选项


○ --project-dir

 

编码标准

 

Klocwork 2023.2 的新标准和扩展标准覆盖范围和taxonomies:


• CERT


• CWE – 2022 CWE Top 25 最危险的软件弱点


• DISA STIG v 5 - C/C++ 高严重性规则高达 83%


• MISRA – 改进了 MISRA C:2012 AMD 2 覆盖范围(需要支持人员提供额外实用程序,以实现最大覆盖范围)


• OWASP

 

 

产品体验改进

 

 

Microsoft Visual Studio插件

 

使用 Visual Studio 扩展更快地开始分析。


• 在使用 kwcheck 命令作为外部分析引擎时,我们改进了 Visual Studio 扩展的构建规范生成性能。

 

项目流

 

改进了大量项目流的Validate平台的性能。
• 显示和使用项目流清单所需的时间大大减少。

 

第三方依赖项

 

• 软件包中包含Apache Tomcat和Open JDK的升级版本。
有关新增功能的更多详细信息,请参阅发行说明。

 

 

Klockwork 2023.2 的重要变化

 

 

许可证管理更改

 

自 2023.2 起,Klocwork 工具现在使用 Reprise 许可证管理器 (RLM) v15.0。


• 重要提示:升级后的 RLM v15.0 服务器包含在 Klocwork 2023.2 安装中。任何早期的 RLM 服务器都需要升级到此版本才能与 Klocwork 2023.2 及更高版本配合使用。升级到 RLM v15.0 解决了在与服务器连接量较大的情况下Validate 2023.1 的服务器稳定性可能出现的问题。


• 2022 许可证与 Klocwork 2023.2 不兼容。升级时,请联系 [email protected] 以获取新许可证。

 

2022.4 SR/补丁可用

 

已创建 2021.4 至 2022.4 的补丁,以解决自动删除版本中丢失的引用问题。Klocwork 2023.1 及更高版本不受影响。

 

• 使用 2022.4 的所有客户都应升级到该软件的最新版本。

 

➡体验最新版Klcwork2023.2: [email protected]

 

翻译

搜索

复制

<iframe height="240" width="320"></iframe>

标签:特长生,Klocwork,C++,2023.2,改进,Validate,覆盖范围
From: https://www.cnblogs.com/polelink/p/17596420.html

相关文章

  • IDEA,Pycharm,Goland,Webstorm 最新发布2023.2版本,亲测好用!
    期待已久的IntelliJIDEA2023.2终于正式发布了,同时发布的还有Pycharm,Goland,Webstorm等。具体的改变相信大家已经提前有所了解的了,我迫不及待的就下载体验了下,UI变好看了,使用起来感觉更流畅,好用推荐!IDEA2023.2最新版激活成功如下GoLand2023.2最新版激活成功如下......
  • 2023.29 人工智能的发展特征
    今年以来,人工智能又热了起来,发展有以下几个特征:涌现出很多大模型,它们使用大量数据集进行训练,所以称它们为大型语言模型(LLM)。这些模型是生成式的。这意味着他们可以创建新内容,无论是文本、图像、声音、视频、3D对象,甚至是计算机代码。这是相较于旧人工智能模型的一个进步,旧的......
  • 2023.28 WAIC 大模型
    2023世界人工智能大会(简称“WAIC”)于7月6日-8日在中国上海开幕。本届世界人工智能大会以“智联世界,生成未来”为主题,涵盖大模型、AIforScience、通用智能体等十大话题方向,充分展现新技术赋能各行各业的多元生态。本次大会有着多个“之最”,参展企业数为400多家,是历届最多;展览......
  • 2023.27 华为云盘古大模型
    2020年11月,华为盘古大模型在华为云内部立项成功,完成了与合作伙伴、高校的合作搭建。2021年,华为盘古大模型也正式对外公布,包括NLP(自然语言处理)、CV(机器视觉)和科学计算大模型;后续又发布了矿山、药物分子、气象、海浪等行业大模型,深入金融、制造、政务、煤矿、铁路等10多个行......
  • 记一次.net加密神器 Eazfuscator.NET 2023.2 最新版 使用尝试
    合集-.net代码混淆加密产权保护(2) 1.记一次.net加密神器Eazfuscator.NET2023.2最新版使用尝试06-272.将SmartAssembly与单文件可执行文件一起使用(.NETCore6)06-27收起 很多人看到这个Eazfuscator.NET还不知是什么东东。。。首先介绍下。什么是Eazfu......
  • 2023.26 工程化思维
    工程化思维是一种解决问题和实现目标的思考方式,它强调系统性、结构化和分析性。工程化思维要求人们以科学的方法去分析问题、评估方案,并采取有序、可衡量的步骤来实现目标。在技术领域,工程化思维尤为重要,因为它有助于提高工作效率和项目的成功率。这周在处理一个项目问题时意识到......
  • 2023.25 大模型和小模型
    大模型通常指参数较多、层数较深的模型,它们具有更强的表达能力和更高的准确度,但也需要更多的计算资源和时间来训练和推理。常见的大型模型包括深度神经网络(DNN)、卷积神经网络(CNN)、循环神经网络(RNN)等。这些模型适用于数据量较大、计算资源充足的场景,例如云端计算、高性能计算、人工......
  • Kali Linux 2023.2为Xfce版带来PipeWire支持
    Kali Linux 2023.2为Xfce版带来PipeWire支持,彻底改造i3桌面,这个版本还引入了一个新的Hyper-VVM镜像,以及几个新的黑客工具。OffensiveSecurity宣布了他们流行的道德黑客和渗透测试GNU/Linux发行版的新版本,带来了新的功能,更新和新的工具,以及许多改进,KaliLinux2023.2。......
  • Kali Linux 2023.2为Xfce版带来PipeWire支持
    Kali Linux 2023.2为Xfce版带来PipeWire支持,彻底改造i3桌面,这个版本还引入了一个新的Hyper-VVM镜像,以及几个新的黑客工具。OffensiveSecurity宣布了他们流行的道德黑客和渗透测试GNU/Linux发行版的新版本,带来了新的功能,更新和新的工具,以及许多改进,KaliLinux2023.2。......
  • Kali Linux 2023.2为Xfce版带来PipeWire支持
    Kali Linux 2023.2为Xfce版带来PipeWire支持,彻底改造i3桌面,这个版本还引入了一个新的Hyper-VVM镜像,以及几个新的黑客工具。OffensiveSecurity宣布了他们流行的道德黑客和渗透测试GNU/Linux发行版的新版本,带来了新的功能,更新和新的工具,以及许多改进,KaliLinux2023.2。......