Helix QAC 2023.2 提供 100% 的 MISRA C:2012 和 MISRA C:2023 規則覆蓋率,并更新相應的合規性模塊以支持 MISRA C:2023。
此外,此版本還包括改進的 C23 語言支持、對Validate平臺的改進以及 Helix QAC 和 Validate 的集成,以及其他功能改進。
編碼標準覆蓋范圍(MISRA C:2012、MISRA C:2023 和 CWE)
MISRA C:2012, 2023
Helix QAC為MISRA C:2012 AMD 4和MISRA C:2023提供100%的覆蓋,將指南先前的revisions、amendments和技術勘誤合并為一個單一、全面的版本。MISRA C:2023最近于今年出版。
? M3CM合規模塊已更新,以參考MISRA C:2023。
CWE
CWE C 和 C++ 合規性模塊與最新版本的 CWE 4.11 保持一致。
Perforce Validate
持續的安全和代碼合規性平臺為嵌入式和任務關鍵型應用程序提供功能安全性、安全性、可靠性和質量保證。
Validate平臺為整個組織的代碼庫提供分析數據、趨勢和配置的集中存儲,為所有 Perforce 靜態分析產品提供單一管理平臺。
2023.2 提供:
? 支持Validate中的 Helix QAC 指標。
? 更新了Helix QAC Visual Studio插件,支持與Validate集成。
? 完全支持Validate中的 Helix QAC 自定義消息。
C23 / C++23 語言支持
此版本增加了對以下各項的語言功能支持:
? C23 數字分隔符
? C23 / C++23 #elifdef,#enlifndef和#warning指令
產品體驗改善
命令行界面
? 允許啟用/禁用診斷消息和抑制的同步
? 輸出規則組名稱和規則ID的新格式說明符%M
圖形用戶界面
? 允許自定義 RCF 名稱和版本
? 允許啟用/禁用診斷消息和抑制的同步
HIS指標
? 此版本具有 Helix QAC 增強功能,可直接生成復合 HIS 指標(以前在報告腳本中計算)。
Helix QAC 2023.2 的重要變化
許可證管理更改
RLM v15 服務器的新安裝程序與 Helix QAC 2023.2 版本一起提供。如果將 Helix QAC 與Validate 2023.2 一起使用,則此服務器版本是必需的,否則是可選的。
MISRA C++ 2023 — 新合規模塊的早期版本可供預覽
MISRA聯盟預計將在今年晚些時候發布MISRA C++ 2023編碼指南。新標準發布后,將引入新的合規模塊以實施執行。在 2023.2 中,合規性模塊的早期版本可根據請求提供預覽,該模塊迄今為止已完成對規則的98% 覆蓋。請聯系北匯信息以了解更多信息。
-
嵌入式
+關注
關注
5198文章
20442瀏覽量
333963 -
代碼
+關注
關注
30文章
4967瀏覽量
73954
發布評論請先 登錄
嵌入式軟件單元測試必要性與專業工具重要性的系統性專業研究報告
芯片測試覆蓋率99%就夠了嗎?給DFT設計提個醒
C語言安全編碼指南:MISRA C、CERT C、CWE 與 C Secure 標準對比與Perforce QAC應用詳解
汽車網絡安全開發語言選型指南:C/C++/Rust/Java等主流語言對比+Perforce QAC/Klocwork工具支持
C語言單元測試在嵌入式軟件開發中的作用及專業工具的應用
什么是CVE?如何通過SAST/靜態分析工具Perforce QAC 和 Klocwork應對CVE?
C/C++代碼靜態測試工具Perforce QAC 2025.3的新特性
Perforce QAC 2025.2版本更新:虛擬內存優化、100%覆蓋CERT C規則、CI構建性能提升等
汽車軟件團隊必看:基于靜態代碼分析工具Perforce QAC的ISO 26262合規實踐
太陽光模擬器性能的影響參數:光譜匹配度、光譜覆蓋率及光譜偏離率
Perforce QAC產品簡介:面向C/C++的靜態代碼分析工具(已通過SO 26262認證)
MISRA C:2025新標準解析:新增規則、優化點與靜態代碼分析工具支持(Perforce QAC、Klocwork)
靜態代碼分析器工具Helix QAC 2023.2: 提供 100% 的 MISRA C:2012 和 MISRA C:2023 規則覆蓋率
評論