Helix QAC 2024.1增強(qiáng)了對C++20 和C23 語言特性支持,增加了針對使用多個編譯器的項(xiàng)目進(jìn)行分析的新功能。此外,Validate 改善了搜索功能、角色權(quán)限等用戶體驗(yàn),并新增了問題列表導(dǎo)出為CSV格式的選項(xiàng)。
此版本還加強(qiáng)了對 CWE for C/C++、HKMC for C 和 MISRA C++:2023? 合規(guī)模塊的擴(kuò)展執(zhí)行,提升了用戶體驗(yàn)。
C++20
此版本增加了對以下改進(jìn)的語言特性的支持:
- C++20 概念(concepts)
- C++20 縮寫函數(shù)模板(abbreviated function templates)
C23
此版本還初步支持以下語言特性:
- 當(dāng)設(shè)置了 -c23constexpr 時,對 C23 constexpr的支持
除了擴(kuò)展語言特性的支持外,Helix QAC還針對GCC 12 和 13 以及MSVC 2022 版本的編譯器進(jìn)行了改進(jìn),以提升用戶體驗(yàn)。
多編譯器項(xiàng)目的支持
Helix QAC 現(xiàn)在提供了配置分析設(shè)置的能力,以適用于使用多個編譯器的項(xiàng)目。
- 支持在項(xiàng)目中每種語言的多個CCT。
- 提供一致的分析結(jié)果,減少在不同編譯器環(huán)境中出現(xiàn)誤報(bào)或漏報(bào)的可能性。
- 為需要靜態(tài)分析的跨平臺開發(fā)項(xiàng)目提供更大的靈活性。
- 有助于識別編譯器特定問題。
- 使開發(fā)人員在項(xiàng)目編譯器選擇方面具有更大的靈活性。
新的Validate平臺改進(jìn)和功能
問題列表導(dǎo)出為 CSV 格式
在問題頁面頂部新增的 CSV 下載按鈕將基于 Validate 中當(dāng)前搜索查詢下載一個缺陷列表。要獲取額外的問題信息,如行號、注釋和理由,您需要訂閱 Validate 高級合規(guī)性報(bào)告包。
擴(kuò)展搜索
Validate 模塊的正則表達(dá)式(RegEx)搜索功能提供了對文件系統(tǒng)路徑指定時使用 * 和 ** 通配符的更強(qiáng)大支持。有關(guān)更多信息,請參閱模塊文檔。
新的角色權(quán)限
添加了更改問題所有者的權(quán)限,允許用戶更改問題所有者而不無法更改問題狀態(tài)。
保留許可證日志以用于審計(jì)目的
現(xiàn)在,您可以保留日志用于審核目的,方法是將日志附加到許可證服務(wù)器的 license.report.log 文件中,而不是在服務(wù)器重新啟動后覆蓋該文件。要了解 append.license.logging設(shè)置,請參閱 validate 服務(wù)。
編碼標(biāo)準(zhǔn)覆蓋范圍(CWE、HKMC、MISRA C++:2023?)
改進(jìn)了以下合規(guī)模塊的規(guī)則和指令的執(zhí)行:
與NIST 500-268要求相關(guān)的CWE C和CWE C++規(guī)則
- CWE-259、CWE-412、CWE-367、CWE-99、CWE-321
HKMC
- C-MSC-011
MISRA C++:2023
- Dir 0.3.2
對其他編譯器的支持改進(jìn),支持自動生成CCT
- Keil armcc
- 改進(jìn)了對 Clang 12 的支持
- GCC 12/13
- MSVC 2022
- 'qainject' 現(xiàn)在是默認(rèn)的同步方法
性能
- 針對涉及大量分支的結(jié)構(gòu),分析時間普遍減少。
libc++
對libc++標(biāo)準(zhǔn)庫的支持進(jìn)行了改進(jìn)和增強(qiáng)。
- 添加了-iso646keywords 選項(xiàng),以匹配 -fno-operator-names 行為。
- 啟用時,不使用運(yùn)算符的替代關(guān)鍵字名稱。
編譯器擴(kuò)展
- C 的 "compound literal" 功能現(xiàn)在由 QAC++ 作為擴(kuò)展支持。
符號引用
- 改進(jìn)了對 VCS 和非-VCS 創(chuàng)建的符號鏈接的支持。
Visual Studio 和 Eclipse IDE 插件
- 總體穩(wěn)定性改進(jìn)
CLI
- 'qacli project' 的新命令:
- create、modify、upgrade、config-file
操作系統(tǒng)
- 支持 Ubuntu Linux 22.04
Helix QAC 2024.1 中的重要變更
QACLI admin命令棄用
以下命令已被棄用于 'qacli admin',并將在未來的版本中刪除:
- --qaf-project-config, --upgrade, --create-config-file, --edit-config-file, --list-config-files
合規(guī)性模塊目錄變更
提醒:從 Helix QAC 2023.4 版本開始,工具不再從舊的 "PRQA" 目錄中讀取合規(guī)性模塊。合規(guī)性模塊將僅從與 "Perforce" 文件目錄等效的位置讀取。
以下是現(xiàn)在已廢棄的文件目錄:
- %LOCALAPPDATA%PRQAinstalled_components.ini
- %PROGRAMDATA%PRQAinstalled_components.ini
- ${HOME}/.config/PRQA/installed_components.ini
- /etc/prqa.d/installed_components.ini
許可證管理變更
RLM v15.1 服務(wù)器的新安裝程序與 Helix QAC 2024.1 版本一起發(fā)布。 如果將 Helix QAC 與 Validate 2024.1 一起使用,則此服務(wù)器版本是必需的,否則是可選的。
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
關(guān)于億道電子
上海億道電子技術(shù)有限公司是國內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國廣大的制造業(yè)客戶提供研發(fā)、設(shè)計(jì)、管理過程中使用的各種軟件開發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計(jì)周期,提升產(chǎn)品可靠性。
十多年來,先后與ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立戰(zhàn)略合作伙伴關(guān)系,并作為他們在中國區(qū)的主要分銷合作伙伴服務(wù)了數(shù)千家中國本土客戶,為客戶提供從芯片級開發(fā)工具、EDA設(shè)計(jì)工具、軟件編譯以及測試工具、結(jié)構(gòu)設(shè)計(jì)工具、仿真工具、電氣設(shè)計(jì)工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗(yàn)積累,真正的幫助客戶實(shí)現(xiàn)了讓研發(fā)更簡單、更可靠、更高效的目標(biāo)。
歡迎關(guān)注“億道電子”公眾號
了解更多研發(fā)工具軟件知識