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

 2024-11-12 14:09  146 2 2 分类: 汽车电子

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。