首页 > 其他分享 >主打综合实力的静态代码试工具Klocwork 2022.4 版更新解析

主打综合实力的静态代码试工具Klocwork 2022.4 版更新解析

时间:2023-02-07 10:13:23浏览次数:49  
标签:主打 功能 Java Klocwork 支持 2023.1 2022.4

Klocwork 2022.4 中的新增功能

 


对于 2022 年的最终版本,Klocwork 2022.4 提供了针对 C、C++、C#、Java 的更新和改进,并增强了对 Android 13 的支持。


此外,此版本还包括对 MISRA C:2012 和 DISA STIG 编码标准规则覆盖范围的改进、新的和改进的除以零漏洞检查器,以及验证平台中许多功能的总体使用质量改进。

 


C# 分析引擎

 


改进了对 C# 7.3 语言规范的支持。新的语言功能包括:
•非托管类型约束
•自动实现属性的属性(Auto-implemented property attributes)
•可重新分配的ref局部变量
•对堆栈分配数组的初始值设定项支持
•初始化器中的表达式变量
•元组相等

 


Java 分析引擎

 


支持 Java 14 语言规范。新功能包括:
•改进了编译过程监控,减少了 Java 14 的解析错误和警告。
•升级了 Java 知识库,以提供更高的准确性并支持 Java 14 API。
•语言功能支持:
○Switch表达式
○Yield声明
○箭头表示法和Multi-Case


支持 Gradle Kotlin DSL 格式,提供传统 Groovy DSL 的替代语法。

 


C/C++ 分析引擎

 

 

改进了相对路径的处理,以增强缺陷抑制功能。


•使用缺陷抑制功能专注于重要问题。过滤掉代码中的干扰缺陷或问题,例如库、头文件和第三方代码。
Android 13 支持增强功能
Klocwork C、C++ 和 Java 分析器完全支持 Android 13。

 


编码标准

 


Klocwork 2022.4 的新标准和扩展标准覆盖范围和分类法:
•DISA STIG v5 – Java
•MISRA C:2012 AMD2 具有 98% 的规则覆盖率

 


新的漏洞检查器

 


2022.4 改进了 Klocwork 支持的语言中的几个检查器:C 和 C++。检查器发现以下缺陷:


•除以零
○DBZ.ITERATOR(程序内缺陷检测)
○DBZ.ITERATOR.CALL(过程间缺陷检测)


这两项还改进了包括对不同步长、转义条件(if 条件)和浮点数的支持。

 


提高使用质量

 


Validate平台


•可自定义的文档链接提供了在首页上编辑/添加新文档链接的功能。


•Auto-Delete Builds权限
○在“构建”页面上管理自动删除旧构建标志,并设置自动删除阈值
○管理“Edit build”页面上的“Do no auto delete this build”标志和“update_build”WebAPI命令的“keept”标志


•管理View权限
○添加了在创建新视图和编辑与权限运营商共享的私有视图时管理“public”标志的功能


•Streams权限

○可以向用户分配权限,以限制对流项目的父项或子项的访问


•改进了唯一问题计数,以考虑保存的项目view


•WebAPI 现在可以创建Validate项目和Streams
有关新增功能的更多详细信息,请参阅发行说明。

 


Klocwork 2022.4 的重要变化

 


许可证管理更改


自 2022.2 起,Klocwork 现在支持 Reprise 许可证管理器 (RLM)。


•FLEXlm/FlexNet Publisher 支持已弃用,但将继续工作,直到 Klocwork 2023.1 发布。
在 2023.1 之前,您可以继续使用现有的 FLEX 许可证文件。如果您需要生成新的许可证文件,请联系 [email protected]


•将为Reprise生成新的产品许可证文件,如果您需要旧Klocwork版本的FLEX许可证文件,我们可以为您提供。

 


预公告

 


路径 API 版本升级 – Klocwork 2023.1


在 Klocwork 2023.1 发布后,需要检查自定义 C/C++ PATH 检查器的多线程兼容性。我们建议您查看自定义检查器以了解潜在的竞争风险,并使用 2023.1 Klocwork 路径 API头文件和库重新编译。未重新编译的自定义检查器将继续工作,但无法使用即将推出的并行化功能。请参阅我们的发行说明以了解更多信息。


报废公告 – Klocwork 2023.1


从 Klocwork 2023.1 开始,将不支持以下操作系统和安装程序:

•苹果操作系统
此外,对 FLEXlm/FlexNet Publisher 许可证管理器的支持随着 Klocwork 2023.1 的发布而结束。

 

➡️ 立即体验最新版Klocwork,发送邮件至[email protected]

翻译

搜索

复制

<iframe></iframe>

标签:主打,功能,Java,Klocwork,支持,2023.1,2022.4
From: https://www.cnblogs.com/polelink/p/17097424.html

相关文章

  • 源代码分析改善客户体验:静态分析工具Klocwork通信行业案例
    Polycom,Inc.是全球一体化协作通信的领导者。是专业开发、制造和销售高质量音视频会议系统及解决方案的领先提供商。Polycom的产品通过让人们在全球范围内进行协作和交流,就......
  • kali新版本2022.4发布
    KaliLinux2022.4发布(Azure、Social&KaliNetHunterPro)。在这一年结束之前,我们认为最好是把2022年的最后一个版本发布出来。今天我们发布了KaliLinux2022.4。这可......
  • 开发人员使用Klocwork进行软件安全的五大原因
    开发人员使用Klocwork进行软件安全的五大原因  Klocwork专为企业DevOps和DevSecOps而构建,是首选的静态分析和SAST工具,用于保持高开发速度,同时还强制实施安全性......
  • 支持DevOps和功能安全/信息安全的静态代码分析器Klocwork
    前言 Klocwork是一款现代、灵活的静态代码分析器,适用于C、C++、C#、Java、JavaScript、Python和Kotlin的静态检测,可以识别软件中的潜在缺陷,在开发最前期保证代码的安全......
  • 2022.49 信息化
    20世纪60年代日本学者梅棹忠夫在题为“论信息产业”的文章中首次提出“信息化”的概念,并明确“信息化是指通信现代化、计算机化和行为合理化的总称”。其中提到,行为合理化......
  • 开发人员使用Klocwork进行软件安全的五大原因
    开发人员使用Klocwork进行软件安全的五大原因  Klocwork专为企业DevOps和DevSecOps而构建,是首选的静态分析和SAST工具,用于保持高开发速度,同时还强制实施安全性......
  • 2022.48 技术的本质
    最近看了陆奇最新在奇迹创谈的分享,感觉很不错,就对其中有启发的点做下总结记录。技术的本质是用信息去转化能源,改变自然现象,满足人的需求。技术的结构有两个组成部分:可编程,......
  • 2022.47 AI中的算法与模型
    最近工作中,发现不少人对AI中的算法和模型的概念分不清楚,导致思考沟通表达问题不准确,其实这两个概念还是有很大差别的。AI中的算法,是指在已知样本数据基础上,按照预先设定的......
  • 2022.46 魔搭社区
    11月3日,2022云栖大会杭州现场,阿里达摩院联手CCF开源发展委员会共同推出AI模型社区“魔搭”ModelScope,旨在降低AI的应用门槛。是国内首个通用的模型交流平台,系统化的模型分......
  • 2022.45 AIGC
    从语音到静态画面再到动态影像,AIGC(人工智能生成内容)对短视频完成了全面渗透。输入文案,自动合成语音,AI已成为当下短视频批量生产的标配;选一首大众熟悉的歌曲,让AI根据歌词生......