首页 > 编程语言 >静态代码分析工具Helix QAC 2023.3:将100%覆盖MISRA C++2023规则

静态代码分析工具Helix QAC 2023.3:将100%覆盖MISRA C++2023规则

时间:2023-11-10 12:35:07浏览次数:40  
标签:C++ MISRA 2023.3 Helix QAC 2023 Validate

静态代码分析工具Helix QAC 2023.3:将100%覆盖MISRA C++:2023®规则

 

Helix QAC 2023.3预计将于2023年第四季度发布的新MISRA C++®指南,将100%覆盖MISRA C++:2023®规则。

 

此外,此版本扩展了对C++20语言支持,并改进了Perforce Validate平台和Helix QAC与Validate的集成,包括其他生活质量和性能增强。

 

编码标准覆盖范围(MISRA C++:2023,MISRA C:2023®)

 

MISRA C++:2023®

 

Helix QAC2023.3预计对MISRA C++:2023指南的执行覆盖率为100%,预计将于2023年第四季度发布。

  • 新的M2CPP合规模块将执行MISRA C++:2023,与Helix QAC 2023.3一起使用,将在新标准发布时提供。

 

MISRA C:2023®

 

Helix QAC为MISRA C:2023提供100%的执行覆盖范围,将MISRA C:2012与所有四个修正案和两个技术勘误合并为一个单一的综合版本。

  • M3CM合规模块改进了Rule 8.3的执行。

C++20 语言支持

 

此版本添加了对语言功能的支持:

  • requires-expressions — 与C++20概念一起引入,可用于确定结构的有效性而不会导致编译器错误。

 

Perforce Validate

 

持续安全和代码合规平台为嵌入式和任务关键型应用程序提供功能安全性、信息安全性、可靠性和质量保证。

Validate平台为整个组织的代码库提供了一个集中的分析数据、趋势和配置存储,为所有Perforce静态分析产品提供单一管理平台。

2023.3 提供:

  • 支持使用多个合规模块的项目--当项目强制执行额外的编码标准、规则或漏洞类型时,可以改进分析结果。
  • Validate、Reports、Plugins和GUI还包括更改,以反映对项目中多个合规性模块的新支持。

 

产品体验改善

 

安装

  • 为Helix QAC和合规模块提供了Zip/tar档案,这些模块可作为安装程序的替代品,提供了进一步的产品部署、维护和升级灵活性。

Auto CCT Generator

  • 添加了对使用同步类型时自动生成 CCT 的支持:INJECT、MONITOR和MSVS。
  • 解决了几个现有受支持编译器的问题。

数据流

  • 改进了数据流处理,在内存或交换存储有限的机器上使用更少的内存并提高稳定性。

GUI

  • 改进了使用 GUI 时对 4K 显示器的支持

插件

VS Code

  • 在文件保存时运行分析
  • 通过远程运行QAC访问帮助的增强功能*
  • *注意:需要diaglist license

Visual Studio

  • 改进以与 GUI 元素保持一致,以便继续与Validate集成

Eclipse

  • 改进了协调GUI元素以继续与Validate集成

 

操作系统

 

  • 支持 Windows 11

速速体验最新版Helix QAC2023.3➡️邮件至[email protected] 或直接私信即可

 

翻译

搜索

复制

<iframe></iframe>

标签:C++,MISRA,2023.3,Helix,QAC,2023,Validate
From: https://www.cnblogs.com/polelink/p/17823833.html

相关文章

  • C++函数分文件编写
    1、创建.h后缀名的头文件并且声明需要调用的函数,并且给出通用输出流和输出流#include<iostream>usingnamespacestd;voidasd();2、创建.cpp后缀名的源文件并且调用刚刚定义的头文件#include"asd.h"voidasd(){ cout<<"HelloWorld!"<<endl;}3、在源文件中......
  • C++中获取数组长度
    #include<iostream>usingnamespacestd;template<classT>intlength(T&arr){//cout<<sizeof(arr[0])<<endl;//cout<<sizeof(arr)<<endl;returnsizeof(arr)/sizeof(arr[0]);}intmain(){i......
  • C++11 并发编程基础(一):并发、并行与C++多线程
    C++11标准在标准库中为多线程提供了组件,这意味着使用C++编写与平台无关的多线程程序成为可能,而C++程序的可移植性也得到了有力的保证。另外,并发编程可提高应用的性能,这对对性能锱铢必较的C++程序员来说是值得关注的。1.何为并发并发指的是两个或多个独立的活动在同一时段内发生......
  • C++ ubuntu install libpq-fe.h PGconn PQconnectdb PGresult PQexec PQnfields P
    1.Installlibpq-devsudoaptinstalllibpq-devlocatelibpq-fe.h/usr/include/postgresql/libpq-fe.h 2.main.cpp#include<chrono>#include<fstream>#include<iomanip>#include<iostream>#include<sstream>#include<......
  • vs c++ 调试技巧
    C语言基础入门48篇_04VS调试入门https://blog.csdn.net/Dasis/article/details/121397288栈回溯——获取当前线程内ebp与call_rethttps://www.cnblogs.com/qinghuan190319/p/15378357.htmlvs中c++的反汇编分析https://blog.nowcoder.net/n/70946cb0519a4bcab57097a0764990d1?......
  • 【每日例题】蓝桥杯 c++ 报纸页数
    报纸页数题目本题为填空题,只需要算出结果后,在代码中使用输出语句将所填结果输出即可。×星球日报和我们地球的城市早报是一样的,都是一些单独的纸张叠在一起而已。每张纸印有4版。比如,某张报纸包含的4页是:5,6,11,12,可以确定它应该是最上边的第2张报纸。我们在太空中捡到了一张×......
  • 二、认识C++
    二、认识C++1、项目创建1)创建项目①控制台应用②创建项目及解决方法③项目创建成功页面2、内容输出#include<iostream>intmain(){std::cout<<"认识C++\n";//可以理解为把双引号中的字符串,通过<<流入到了屏幕上}"\n"表示换行,若要输入\n,需要输出"\n"......
  • c++数组最大长度(干货)
    ​    在编译器里,每种类型的变量定义数组的时候都有一个数组大小,而这个大小对于不同的变量而言有不同的上限,这里的最大长度更准确的来说应该是系统堆的最大值。字符类型数组一个字符占1byte大小,八位,所以,理论上,在一个64位的编译器中,一个字符数组的最大长度是2147483648,......
  • 记录一次C++内存泄露的检测过程
    线上游戏长时间运行后,占用内存比以前大很多,发现游戏对象也得变多很多.主程尝试从最近改动过的代码检测,做了小改动,更新上线,内存还是不断增加.我提出用服务端根据聊天做个GM命令,输出当前对象个数信息到日记.更新上线,手动输入gm命令,比较几次日记,方现对象是变多,......
  • CMake多个CMakeLists.txt共同合作编译一个C++项目
    一、概述在C++项目比较大或者要根据不同的规则生成不同的执行文件或者动态库/静态库的时候。单独的CMakeLists.txt会变的比较复杂,此时可以利用CMakeLists.txt的父子关系分目录分模块的进行编译及输出。就相当于项目模块化编译参考博客:【大丙课堂】二、具体实现......