0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

综合实力超群的静态代码测试工具Klocwork 2022.4 中的新增功能

北汇信息POLELINK 2023-02-13 14:33 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

对于 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许可证文件。

  • 将为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的发布而结束。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 嵌入式
    +关注

    关注

    5186

    文章

    20151

    浏览量

    328894
  • 代码
    +关注

    关注

    30

    文章

    4941

    浏览量

    73151
收藏 人收藏
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    什么是CVE?如何通过SAST/静态分析工具Perforce QAC 和 Klocwork应对CVE?

    本文将为您详解什么是CVE、CVE标识符的作用,厘清CVE与CWE、CVSS的区别,介绍CVE清单内容,并说明如何借助合适的静态分析工具(如Perforce QAC/Klocwork),在软件开发早期发现并修复漏洞。
    的头像 发表于 10-31 14:24 285次阅读
    什么是CVE?如何通过SAST/<b class='flag-5'>静态</b>分析<b class='flag-5'>工具</b>Perforce QAC 和 <b class='flag-5'>Klocwork</b>应对CVE?

    嵌入式C/C++回归测试四大最佳实践(附自动化测试工具TESSY使用教程)

    嵌入式开发,一次微小的代码改动都可能引发“蝴蝶效应”,如何守护系统的稳健?推荐专业的自动化测试工具#TESSY,源自戴姆勒-奔驰,是嵌入式C/C++单元/集成测试的标杆。
    的头像 发表于 10-31 14:21 185次阅读
    嵌入式C/C++回归<b class='flag-5'>测试</b>四大最佳实践(附自动化<b class='flag-5'>测试工具</b>TESSY使用教程)

    嵌入式软件测试与专业测试工具的必要性深度解析

    MSO‌:提供电源完整性测试、时序分析、数字信号验证等硬件调试功能,以及中断处理分析、代码执行流程跟踪等软件调试能力。 测试工具选型建议选择嵌入式软件
    发表于 09-28 17:42

    【直播预告】RT-Trace调试工具V1.1.0版本功能全解析 | 问学直播

    RT-Thread一直致力于为开发者提供更高效的工具和技术支持。RT-Trace调试工具自面世以来持续演进,功能不断丰富:2025年5月:RT-Trace首次亮相,开创性地实现了基于SWO
    的头像 发表于 09-05 11:53 964次阅读
    【直播预告】RT-Trace调<b class='flag-5'>试工具</b>V1.1.0版本<b class='flag-5'>功能</b>全解析 | 问学直播

    汽车软件团队必看:基于静态代码分析工具Perforce QAC的ISO 26262合规实践

    ISO 26262合规指南,从ASIL分级到工具落地,手把手教你用静态代码分析(Perforce QAC)实现高效合规。
    的头像 发表于 08-07 17:33 868次阅读
    汽车软件团队必看:基于<b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析<b class='flag-5'>工具</b>Perforce QAC的ISO 26262合规实践

    试工具:Eclipse调试工具栏与窗口的深入分析

    摘要 :在嵌入式系统开发领域,高效的调试工具链对于项目的成功实施具有决定性意义。本文聚焦于 Eclipse 调试工具栏与窗口的功能特性,深入剖析其在嵌入式开发调试过程的关键作用。以厦
    的头像 发表于 07-07 11:32 631次阅读
    调<b class='flag-5'>试工具</b>:Eclipse调<b class='flag-5'>试工具</b>栏与窗口的深入分析

    RT-Trace调试工具正式发布!

    嵌入式开发者打造的高性能调试工具。RT-Trace支持SWD/JTAG高速连接,搭载板载显示屏离线交互系统与WebUI实时监控平台,助力代码调试、性能分析、故障排查全流程
    的头像 发表于 06-18 12:02 1206次阅读
    RT-Trace调<b class='flag-5'>试工具</b>正式发布!

    如何在Visual Studio 2022运行FX3吞吐量基准测试工具

    我正在尝试运行 John Hyde 的书“SuperSpeed by Design”的 FX3 吞吐量基准测试工具。 但是,我面临一些困难,希望得到任何指导。 具体来说,我正在使用 Visual
    发表于 05-13 08:05

    MISRA C:2025新标准解析:新增规则、优化点与静态代码分析工具支持(Perforce QAC、Klocwork

    MISRA C:2025®发布!新增5条规则,并对部分现有规则进行了扩展、重组,以进一步简化安全关键型系统的开发流程。如何实现最新MISRA合规性?
    的头像 发表于 05-08 17:58 1860次阅读
    MISRA C:2025新标准解析:<b class='flag-5'>新增</b>规则、优化点与<b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析<b class='flag-5'>工具</b>支持(Perforce QAC、<b class='flag-5'>Klocwork</b>)

    代码静态测试工具Perforce QAC 2025.1新特性

    集成/持续交付(CI/CD)环境使用的Perforce Validate平台集成的许可机制。此外,Validate新增了SAML/OIDC群组同步支持,并通过性能
    的头像 发表于 04-21 15:14 928次阅读
    <b class='flag-5'>代码</b><b class='flag-5'>静态</b><b class='flag-5'>测试工具</b>Perforce QAC 2025.1新特性

    缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助Perforce 的Klocwork/Hleix QAC等静态代码分析工具

    本期来认识软件漏洞的“常客”——缓冲区溢出,C/C++开发者尤其要注意!全面了解该漏洞的成因、类型、常见示例,以及如何借助Klocwork、Helix QAC等SAST工具进行防护。
    的头像 发表于 03-04 16:39 1725次阅读
    缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助Perforce 的<b class='flag-5'>Klocwork</b>/Hleix QAC等<b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析<b class='flag-5'>工具</b>)

    芯科科技Z-Wave设备测试工具介绍

    本篇技术博文将介绍SiliconLabs(芯科科技)提供的Z-Wave设备测试工具,通过使用一个旧的Z-Wave DUT项目来测试Z-Wave设备,以确保设备可以正常工作。
    的头像 发表于 01-17 09:39 1034次阅读
    芯科科技Z-Wave设备<b class='flag-5'>测试工具</b>介绍

    Web端TCP/UDP测试工具!小白必学~

    : 02. 终端在代码里面填上对应的IP:112.125.89.8,TCP端口填上46095,然后打开Socket; 03. TCP连接建立后,TCP/UDP web测试工具会在界面上显示连上来的
    的头像 发表于 01-08 18:17 1990次阅读
    Web端TCP/UDP<b class='flag-5'>测试工具</b>!小白必学~

    Modbus测试工具

    非常实用的工具,通信测试前可以用来检查线路接线和仪表设置是否正常。
    发表于 12-31 13:38 3次下载

    宝藏工具LuaTools又新增功能!速看

    LuaTools——合宙自主研发的多功能下载调试工具,支持最新固件获取、固件打包、Trace打印、单机烧录等等功能,支持合宙全系4G模组和4G+GNSS模组,支持AT指令、LuatOS二次开发;便捷、高效、稳定,是工程师朋友必备
    的头像 发表于 12-14 09:33 1300次阅读
    宝藏<b class='flag-5'>工具</b>LuaTools又<b class='flag-5'>新增</b><b class='flag-5'>功能</b>!速看