靜態(tài)代碼分析器工具Helix QAC 2023.2： 提供 100% 的 MISRA C：2012 和 MISRA C：2023 規(guī)則覆蓋率

Helix QAC 2023.2 提供 100% 的 MISRA C：2012 和 MISRA C：2023 規(guī)則覆蓋率，并更新相應(yīng)的合規(guī)性模塊以支持 MISRA C：2023。

此外，此版本還包括改進(jìn)的 C23 語(yǔ)言支持、對(duì)Validate平臺(tái)的改進(jìn)以及 Helix QAC 和 Validate 的集成，以及其他功能改進(jìn)。

編碼標(biāo)準(zhǔn)覆蓋范圍（MISRA C：2012、MISRA C：2023 和 CWE）
MISRA C：2012， 2023
Helix QAC為MISRA C:2012 AMD 4和MISRA C:2023提供100%的覆蓋，將指南先前的revisions、amendments和技術(shù)勘誤合并為一個(gè)單一、全面的版本。MISRA C:2023最近于今年出版。
? M3CM合規(guī)模塊已更新，以參考MISRA C:2023。

CWE
CWE C 和 C++ 合規(guī)性模塊與最新版本的 CWE 4.11 保持一致。

Perforce Validate
持續(xù)的安全和代碼合規(guī)性平臺(tái)為嵌入式和任務(wù)關(guān)鍵型應(yīng)用程序提供功能安全性、安全性、可靠性和質(zhì)量保證。

Validate平臺(tái)為整個(gè)組織的代碼庫(kù)提供分析數(shù)據(jù)、趨勢(shì)和配置的集中存儲(chǔ)，為所有 Perforce 靜態(tài)分析產(chǎn)品提供單一管理平臺(tái)。

2023.2 提供：
? 支持Validate中的 Helix QAC 指標(biāo)。
? 更新了Helix QAC Visual Studio插件，支持與Validate集成。
? 完全支持Validate中的 Helix QAC 自定義消息。

C23 / C++23 語(yǔ)言支持
此版本增加了對(duì)以下各項(xiàng)的語(yǔ)言功能支持：
? C23 數(shù)字分隔符
? C23 / C++23 #elifdef，#enlifndef和#warning指令

產(chǎn)品體驗(yàn)改善
命令行界面
? 允許啟用/禁用診斷消息和抑制的同步
? 輸出規(guī)則組名稱和規(guī)則ID的新格式說(shuō)明符%M

圖形用戶界面
? 允許自定義 RCF 名稱和版本
? 允許啟用/禁用診斷消息和抑制的同步

HIS指標(biāo)
? 此版本具有 Helix QAC 增強(qiáng)功能，可直接生成復(fù)合 HIS 指標(biāo)（以前在報(bào)告腳本中計(jì)算）。

Helix QAC 2023.2 的重要變化
許可證管理更改
RLM v15 服務(wù)器的新安裝程序與 Helix QAC 2023.2 版本一起提供。如果將 Helix QAC 與Validate 2023.2 一起使用，則此服務(wù)器版本是必需的，否則是可選的。

MISRA C++ 2023 — 新合規(guī)模塊的早期版本可供預(yù)覽
MISRA聯(lián)盟預(yù)計(jì)將在今年晚些時(shí)候發(fā)布MISRA C++ 2023編碼指南。新標(biāo)準(zhǔn)發(fā)布后，將引入新的合規(guī)模塊以實(shí)施執(zhí)行。在 2023.2 中，合規(guī)性模塊的早期版本可根據(jù)請(qǐng)求提供預(yù)覽，該模塊迄今為止已完成對(duì)規(guī)則的98% 覆蓋。請(qǐng)聯(lián)系北匯信息以了解更多信息。