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

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

3天内不再提示

代码静态测试工具Klocwork 2024.2新发布

北汇信息POLELINK 2024-08-06 12:16 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

Klocwork 2024.2 为现代C/C++分析引擎引入了显着的准确性和性能改进。此版本还包括增强的安全性和身份验证功能以及改进的用户体验,以及MISRA®和CERT规则集改进、Java语言增强功能以及Kotlin的新CWE映射。

C/C++ 分析引擎

Klocwork 2024.2 引入了单独运行现代分析引擎的选项,为C和C++代码结构分析带来了显着的性能改进,并为最新版本扩展的语言特性提供了支持。

“Modern Mode”功能

•为C++17和更新的语言版本提供更大的代码覆盖率和缺陷检测。
•降低假阳性率和假阴性率。
•对于特定项目*,分析时间更快,最高可达25%。
注意:由于分析覆盖范围和理解力的增加,“Modern Mode”可能会导致结果发生更显著的变化。
*(基于内部基准测试的开放源码软件项目)

新的Validate平台身份验证改进

通过 SAML 和OIDC身份验证增强安全性

现在,您可以使用安全断言标记语言 (SAML) 或OpenID Connect(OIDC) 身份验证将身份提供商与Validate集成,以享受以下优势:
•通过集中身份验证增强安全性。
•通过单点登录 (SSO) 简化用户管理和体验。
使用 Validate 测试的身份提供商包括:
• SAML:Keycloak、Okta、AWS、Cisco、GitHub。
• OIDC:Keycloak、Google、Microsoft Entra(以前称为Azure AD)、AWS。

在 Validate 中验证和管理用户会话和应用程序令牌

现在,您可以在 Validate 中创建应用程序令牌,以安全地向SAML或OIDC支持的服务器进行身份验证,以执行以下任务:
•使用kwauth登录命令行工具或验证身份。
•从Validate或Web API导入项目。
管理员现在可以通过 Validate 将用户从其Validate会话中注销来管理单个用户会话。
其他改进包括增强了使用基本身份验证时验证中的密码安全性。

Java 分析引擎

在 kwandroid 中使用-ignore files选项,而无需修改构建规范以专注于一组选定的Java文件进行分析。

Klocwork 实用程序增强功能

•通过设置KW_JAVA环境变量来指定Java虚拟机 (JVM)Klocwork工具应使用的新功能,从而实现更大的灵活性和与不同Java环境的兼容性。
•为了简化Klocwork分析工具在自动化环境中的部署,持续集成工具现在包含在构建工具包中。

MISRA® C 和C++

使用 Klocwork 改进的MISRA C和MISRA C++分类法来执行MISRA合规性。
•规则优先的分类法。
•检查器现在是分类法中规则的子类别。

编码标准

Klocwork 2024.2 的新和扩展编码标准覆盖范围和分类法:
•适用于Kotlin的CWE定义

提高产品质量

IDE 插件和扩展

•引入了新的验证身份验证,允许您使用经典身份验证、SAML或OIDC身份验证连接到任何插件中的项目流。

编译器支持

对以下编译器的额外或改进支持:
• Clang
• Clang-cl
• GCC
• IAR
• Renasas

Klocwork 2024.2 中的重要更改

许可证管理更改

截至 2023.4,Klocwork工具现在使用Reprise许可证管理器 (RLM)v15.1BL2。
•升级后的RLM v15.1BL2服务器包含在Klocwork 2023.4+安装中。任何早期的RLM服务器都需要升级到此版本才能与Klocwork 2023.4及更高版本一起使用。
• FLEXlm /FlexNet Publisher支持在2022.2中已弃用,并且将不再与Klocwork 2023.1+版本一起使用。
• 2023许可证与Klocwork 2024.1或更高版本不兼容。

Klocwork 2022 结束的维护

Klocwork 2022 所有版本的维护 已于2024年3月31日结束。此外,维护结束 (EOM) 日期和销售终止 (EOS) 日期也发生在2024年3月31日。有关 对Klocwork任何版本的支持可用性的信息 ,请参阅Klocwork产品生命周期。

旧版帮助网站的生命周期结束

•这是一份通知,旨在通知用户请使用新网站https://help.klocwork.com/来满足您的所有文档需求。
•版本2021.x及更早版本的文档需要使用发布包中提供的脱机内容进行访问。

弃用 NIS 访问控制

如果使用 NIS 访问控制,则从早期版本迁移到2024.2时,需要切换到其他身份验证方法。建议在迁移前切换到其他方法,以确保用户在升级后可以继续登录。

停止使用 Jenkins 插件

从 Klocwork 2024.2 开始,Klocwork中已经移除了Jenkins插件,不再提供安装包。

删除Validate代码审查

从 Klocwork 2024.2 开始,代码审查功能及其相关的命令行工具已从Validate中删除。

预告

CentOS Linux 7 和RHEL 7的生命周期终止- Klocwork 2024.3

从 Klocwork 2024.3 开始,将不再支持CentOS Linux 7和RHEL 7。CentOS Linux 7将于2024年6月30日终止使用,RHEL 7将停止维护。

NIS 访问控制的停止

从 Klocwork 2024.3 开始,将不再支持NIS访问控制。2024.2版本中的某些功能可能会受到影响。

欢迎联系北汇信息,申请Klocwork最新版本试用。

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

    关注

    0

    文章

    34

    浏览量

    6914
  • 嵌入式代码
    +关注

    关注

    0

    文章

    5

    浏览量

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

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    Perforce 静态分析现已正式支持 Rust语言!

    您是否正计划通过 Rust 编程来提升内存安全性,却又担心它无法覆盖所有的安全漏洞?Perforce QAC 和 Klocwork 现在已支持分析 Rust 代码,填补了开源代码检查工具
    的头像 发表于 04-08 15:38 533次阅读
    Perforce <b class='flag-5'>静态</b>分析现已正式支持 Rust语言!

    MES模型静态测试工具更新信息 01/2026

    MES模赛思很高兴为您带来最新的MES工具更新信息。MXAM、MoRe和MQC的最新版本已经为您下载安装做好了准备。
    的头像 发表于 03-04 19:33 786次阅读
    MES模型<b class='flag-5'>静态</b><b class='flag-5'>测试工具</b>更新信息 01/2026

    开源项目BomberCat安全测试工具总体介绍

    硬件安全测试缺一款多技术融合的利器吗?今天带来一款开源安全测试工具, 集 NFC 与磁条两大主流卡片技术于一体,专为银行终端、门禁系统等设备的漏洞检测打造,支持卡片读写、模拟、磁条仿冒等核心功能。
    的头像 发表于 02-27 09:19 627次阅读
    开源项目BomberCat安全<b class='flag-5'>测试工具</b>总体介绍

    深度解析RK3588芯片Linux测试工具集:硬件性能的全方位核验方案

    在嵌入式开发领域,芯片的稳定性和性能表现直接决定了终端产品的品质。针对 Rockchip 旗舰芯片 RK3588,其配套的 Linux 测试工具集rockchip-test堪称一套“全能体检仪
    的头像 发表于 02-09 17:06 1403次阅读
    深度解析RK3588芯片Linux<b class='flag-5'>测试工具</b>集:硬件性能的全方位核验方案

    北京泰斯汀通信技术有限公司并网及V2G的自动化测试工具/测试服务

    北京泰斯汀通信技术有限公司提供并网及V2G的自动化测试工具及摸底测试服务,提升光、储逆变器及V2G的并网测试效率和准确度。
    的头像 发表于 12-19 14:28 636次阅读
    北京泰斯汀通信技术有限公司并网及V2G的自动化<b class='flag-5'>测试工具</b>/<b class='flag-5'>测试</b>服务

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

    本文将为您详解什么是CVE、CVE标识符的作用,厘清CVE与CWE、CVSS的区别,介绍CVE清单内容,并说明如何借助合适的静态分析工具(如Perforce QAC/Klocwork),在软件开发早期发现并修复漏洞。
    的头像 发表于 10-31 14:24 879次阅读
    什么是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 650次阅读
    嵌入式C/C++回归<b class='flag-5'>测试</b>四大最佳实践(附自动化<b class='flag-5'>测试工具</b>TESSY使用教程)

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

    。提升测试效率与覆盖率专业工具通过以下方式优化测试过程: ‌静态代码分析‌:通过MISRA-C等规则检查防止缓冲区溢出等隐患 ‌动态符号
    发表于 09-28 17:42

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

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

    知识分享 | MXAM入门简介:使用MXAM进行静态测试

    ,还能够根据分析结果自动优化模型。本文为您介绍广受认可的静态测试工具——MES Model Examiner® (MXAM)。通过本文,您将深入了解MXAM如何帮助您
    的头像 发表于 07-23 17:09 1761次阅读
    知识分享 | MXAM入门简介:使用MXAM进行<b class='flag-5'>静态</b><b class='flag-5'>测试</b>

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

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

    是否可以通过 AIROC 蓝牙测试和调试工具 v1.4 或 HCI 命令输出突发波形?

    我正在准备英飞凌蓝牙模块的射频测试。 是否可以通过 AIROC 蓝牙测试和调试工具 v1.4 或 HCI 命令输出突发波形?
    发表于 06-30 06:10

    请问AIROC™ Bluetooth®测试和调试工具_1.4.2是否支持CYW9RPIWIFIBT-EVK ?

    我想知道AIROC™ Bluetooth®测试和调试工具_1.4.2 是否支持 CYW9RPIWIFIBT-EVK 的Bluetooth®测试? 我查看了该软件的用户指南,在第1.3节中似乎表明
    发表于 06-25 08:09

    RT-Trace调试工具正式发布

    5月20日,RT-Thread官方预售了首款调试工具RT-Trace,获得了开发者及企业用户的广泛关注与支持。RT-Trace调试工具结束预售阶段,即日起正式发布!RT-Trace是一款专为
    的头像 发表于 06-18 12:02 1782次阅读
    RT-Trace调<b class='flag-5'>试工具</b>正式<b class='flag-5'>发布</b>!

    老文章新视角:从静态测试到CI/CT生态的进化

    静态测试工具到CI/CT生态的进化,不仅是技术功能的叠加,更是软件工程方法论的范式跃迁。未来汽车行业的CI技术将不再是简单的“工具链拼接”,而是以虚拟化测试为底座、场景化为导向、标准
    的头像 发表于 05-26 10:50 1862次阅读
    老文章新视角:从<b class='flag-5'>静态</b><b class='flag-5'>测试</b>到CI/CT生态的进化