Klocwork 2024.3新特性速览-电子发烧友网

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令牌

从 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。