热门
最新
红包
立Flag
投票
同城
我的
发布
验证平台改进和功能
持续安全和代码合规平台为嵌入式和任务关键型应用程序提供功能安全性、安全性、可靠性和质量保证。在此版本中,Validate 集成增强功能包括:
• 更新了服务器上的分析许可,并将结果上传到验证
• 添加了对使用 QAC 命令行工具进行验证的新式身份验证的初始支持
• 改进了 Validate 中对 QAC 消息严重性的处理
语言功能支持
C++20
此版本添加了对以下方面的改进语言功能支持:
• 允许 requires-clause-opt 用于 lambda-expr 的成员函数
• “typename”在几个常见的上下文中是可选的
• 通用 lambda 的模板参数列表
• Char8_t类型
C23型
此版本添加了对以下项的初始语言功能支持:
• C23 增强枚举
• constexpr 聚合
————————————————
版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
原文:代码静态测试工具Helix QAC 2024.2新发布:新的分析选项|验证平台改进和功能|语言功能支持|多编译器项目支持|支持从构建创建多个项目|数据流|编码标准覆盖率|用户体验优化
原文链接:https://blog.csdn.net/weixin_51954443/article/details/140872657
CSDN App 扫码分享
评论
1
打赏
- 复制链接
- 举报