代码静态测试工具Klocwork 2024.3新版发布:Validate平台改进编码标准CC++

news/2024/11/14 5:29:48/文章来源:https://www.cnblogs.com/polelink/p/18541556

Klocwork 2024.3 为 C/C++ 分析引擎和构建上传流程引入了新功能和性能改进。此版本还附带了增强的安全性和用户体验改进,包括用于 SAML/OIDC 身份验证的 IDE 插件中更好的用户身份验证工作流程。其他增强功能包括更广泛的编码标准覆盖范围以及改进的与 Bazel 构建系统的集成。

Validate平台改进

构建加载

• 将生成上传到 Validate 的速度已得到提高。

认证

• 改进了在使用 ‘kwauth’/‘validate auth’ 时存储用户令牌进行身份Validate的安全性。
○ 文档中 介绍了对 ltokens 使用的更改以及用于指定相关文件位置的新环境变量。
• 增强了使用Validate SAML/OIDC 身份Validate时 IDE 插件中的用户身份Validate。

编码标准

Klocwork 2024.3 新增和扩展的标准覆盖范围:
• MISRA C:2012
○ 100% 覆盖 MISRA C:2012 修正案 2 规则
• CERT C 和 C++
○ 选定的 1 级规则
• AUTOSAR、HKMC C++、MISRA C++:2023 中的相应规则

C/C++ 分析引擎

改进了 C/C++ 的语言特征覆盖率和缺陷检测。
• 改进了对与内存泄漏或释放后尝试使用内存相关的问题的检测分析。
• 增加了对 Windows 和 Linux 上的 Bazel 构建系统的支持。

软件质量一般性改进

文件扩展名

• Klocwork 2024.3 允许在 Suppression 配置的路径匹配中加入文件扩展名(在 .sconf 文件中)。

构建系统支持

• 支持在 Windows 和 Linux 上与 Bazel 构建系统集成(在 2024.1 中添加了支持)。

Licensing

• 更新了“kwadmin”/“validate admin”的许可,以简化构建许可证的使用。

编译器支持

• 对以下编译器的附加或改进的支持:
○ GNU
○ Clang
○ TI ARM Clang
○ QNX
○ iccarm
○ Tricore

Klocwork 2024.3 中的重要更改

安全身份Validate license

从 2024.3 开始,默认情况下,使用 ‘kwauth’/‘validate auth’ 生成的安全身份Validate令牌存储在具有 Java KeyStore 的安全存储中的“credentials”文件中。环境变量 KLOCWORK_SECURE_TOKEN_STORAGE 对于新令牌设置为 JAVA_SECRET_STORAGE,对于预先存在的令牌设置为 empty。如果将 2024.1 或更早版本的 Klocwork 工具与 2024.2 或更高版本的 Validate 服务器一起使用,则必须使用不安全的令牌存储。要将不安全存储与任何身份Validate命令一起使用,请将 VALIDATE_SECURE_TOKEN_STORAGE 环境变量设置为 DISABLED。

许可证管理更改

截至 2023.4 年,Klocwork 工具使用 Reprise 许可证管理器 (RLM) v15.1BL2。
• 2023 许可证与 Klocwork 2024.1 或更高版本不兼容。要使用产品的最新版本,请通过 license@perforce.com 联系 Perforce 获取新许可证。

维护周期终止公告

弃用 Structure 101 集成

从 2024.3 开始,Klocwork 与 Structure 101 之间的集成已弃用,不再受支持。

Klocwork 2022 结束维护

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

CentOS Linux 7 维护周期终止 - Klocwork 2024.3

从 Klocwork 2024.3 开始,将不再支持 CentOS Linux 7。

NIS Access Control 的维护周期终止

从 Klocwork 2024.3 开始,将不再支持 NIS 访问控制。从早期版本迁移到 Klocwork 2024.3 时,必须在迁移前切换到其他身份Validate方法,以确保在升级后可以继续登录。

Legacy维护周期终止帮助网站

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

在 2023.4 版中停止安装 Klocwork 服务器

从 2023.4 版开始,Klocwork Server 安装已停止。我们建议过渡到 Validate 安装程序,以获得更简化和集成的体验。

体验最新版Klocwork2024.3⏩⏩⏩marketing@polelink.com

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/832216.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【VMware by Broadcom】新闻:VMware Workstation 和 Fusion 产品商业使用免费。

VMware Workstation Pro 和 VMware Fusion Pro 是 VMware Desktop Hypervisor 产品,允许用户在 Windows、Linux 或 Mac 计算机上运行虚拟机、容器和 Kubernetes 集群。我相信绝大部分人使用 VMware 的产品都是从这里开始的,我也不例外。前段时间,VMware 宣布将这两款产品永久…

Qt - 信号与槽的第五个参数

connent函数第五个参数的作用 connect(const QObject *sender, const char *signal, const QObject *receiver, const char *method, Qt::ConnectionType type = Qt::AutoConnection) 第五个参数代表槽函数在哪个线程中执行 :自动连接(Qt::AutoConnection),默认的连接方式,如…

团队作业4——项目冲刺

团队作业4——项目冲刺这个作业属于哪个课程 <计科22级34班>这个作业要求在哪里 <作业要求>这个作业的目标 修改完善需求规格说明书、系统设计、Alpha任务分配计划、测试计划GitHub 链接 https://github.com/tangliweiwww/ChatGpt🍟一、团队 1.团队名称:Eleganc…

Maven打包项目的精准指定——流程管理

作用Maven不仅可以进行依赖管理的自动化,还可以自动化实现编译,打包,发布,等,也被成为构建流程 生命周期(lifecycle) 构成Maven生命周期本身可以看做一个集合,在这个集合中包含了一系列阶段(phase)。也就是说Maven的生命周期由一系列阶段(phase)构成但是话又说回来…

如何正确导入mapstruct,同时避免编译时mapstruct与lombok冲突

本文介绍编译时产生的冲突,导包时期产生的冲突请劳驾查找其他解决方法一般情况下只需要按照官网的导入即可,但如果同时使用了lombok,则需要小心。详细信息可以查看官网文档:MapStruct 1.5.5.Final 集成lombok注意:在编译测试的时候,一定先清理再编译。这样可以解决80%的报…

施耐德UNITY下使用ST编程计算最近一小时的均值

昨晚学习练习了ST语言做最近60秒的分钟均值,今天继续做最近一小时的均值,1秒采集一次数据。在昨晚程序上增加功能,新建一个导出的功能块类型Average_Hour,定义下面的变量:旗下新建一个程序段Average_Hour,使用ST编程 Minute1:=BCD_TO_INT(%SW51);Minute:=mod_int(Minute1…

HyperWorks使用六面体和三棱柱单元进行实体网格剖分

本节将演示如何使用 solid map 功能对一个复杂的几何实体进行网格剖分。剖分的思路是:首先对该实体进行适当的切割,以使其各个部分均处于 mappable 的状态;然后分别对各个子块进行 solid map 剖分。事实上,针对同一个几何实体,可能有多种分块方案。究竟哪种方案能获得更高…

SQLSever将csv文件中的数据导入数据库中的某个表中的操作以及可能会出现的报错

注:导入数据前,检查一下数据类型是否与数据库中的数据类型相匹配 第一种方法: 首先打开SQLSever数据库,右击你的数据库找到任务后点开导入平面文件,如图 在弹开的窗口中点击下一步 接下来 填写完后点击下一步,跳转到预览数据的页面,会显示出表中的前20条数据,在检查没有…

云消息队列 Kafka 版全面升级:经济、弹性、稳定,成本比自建最多降低 82%

本文整理于 2024 年云栖大会阿里云智能集团产品专家张凤婷带来的主题演讲《云消息队列 Kafka 版全面升级:经济、弹性、稳定》作者:娜米 本文整理于 2024 年云栖大会阿里云智能集团产品专家张凤婷带来的主题演讲《云消息队列 Kafka 版全面升级:经济、弹性、稳定》 云原生消息…

Java定时任务大盘点:发工资也能“指日可待”

作者:京东保险 孙昊宇 引子:“指日可待”让我们先从一个成语开始,“指日可待”。没错,我说的就是定时任务😏。“指日可待”: 为任务指定好日程,就可以安心等待任务执行。在实际场景中,我们往往需要在特定时间做某件事情,或以某个时间间隔重复某件事情,如定期备份数据…

B端体验深耕-洞察用户需求,打造心有灵犀的使用体验

作者:京东科技 程跃宇前言 我们常以“心有灵犀”来形容与合作伙伴的默契配合,若我们的产品能与用户达到同样的默契,将极大地提升用户在任务旅程中的流畅体验。 在B端体验设计领域,我们深知用户对我们产品的期待───快速完成任务、即用即走;然而,随着业务需求和产品功能…

YLCTF RE

Round1 [Round 1] xor kail upx脱壳,一眼顶针,xor v5 = [0x45, 0x50, 0x5f, 0x48, 0x5a, 0x67, 0x7f, 0x2d, 0x2b, 0x7e, 0x24, 0x78, 0x2c, 0x24, 0x31, 0x2c, 0x7e, 0x78, 0x24,0x31, 0x28, 0x2d, 0x7a, 0x7d, 0x31, 0x7e, 0x25, 0x79, 0x2b, 0x31, 0x29, 0x79, 0x2a, 0x2f…