Helix QAC 2024.1增強(qiáng)了對(duì)C++20 和C23 語(yǔ)言特性支持,增加了針對(duì)使用多個(gè)編譯器的項(xiàng)目進(jìn)行分析的新功能。此外,Validate 改善了搜索功能、角色權(quán)限等用戶體驗(yàn),并新增了問(wèn)題列表導(dǎo)出為CSV格式的選項(xiàng)。
此版本還加強(qiáng)了對(duì) CWE for C/C++、HKMC for C 和 MISRA C++:2023? 合規(guī)模塊的擴(kuò)展執(zhí)行,提升了用戶體驗(yàn)。
C++20
此版本增加了對(duì)以下改進(jìn)的語(yǔ)言特性的支持:
- C++20 概念(concepts)
- C++20 縮寫函數(shù)模板(abbreviated function templates)
C23
此版本還初步支持以下語(yǔ)言特性:
- 當(dāng)設(shè)置了 -c23constexpr 時(shí),對(duì) C23 constexpr的支持
除了擴(kuò)展語(yǔ)言特性的支持外,Helix QAC還針對(duì)GCC 12 和 13 以及MSVC 2022 版本的編譯器進(jìn)行了改進(jìn),以提升用戶體驗(yàn)。
多編譯器項(xiàng)目的支持
Helix QAC 現(xiàn)在提供了配置分析設(shè)置的能力,以適用于使用多個(gè)編譯器的項(xiàng)目。
- 支持在項(xiàng)目中每種語(yǔ)言的多個(gè)CCT。
- 提供一致的分析結(jié)果,減少在不同編譯器環(huán)境中出現(xiàn)誤報(bào)或漏報(bào)的可能性。
- 為需要靜態(tài)分析的跨平臺(tái)開(kāi)發(fā)項(xiàng)目提供更大的靈活性。
- 有助于識(shí)別編譯器特定問(wèn)題。
- 使開(kāi)發(fā)人員在項(xiàng)目編譯器選擇方面具有更大的靈活性。
新的Validate平臺(tái)改進(jìn)和功能
問(wèn)題列表導(dǎo)出為 CSV 格式
在問(wèn)題頁(yè)面頂部新增的 CSV 下載按鈕將基于 Validate 中當(dāng)前搜索查詢下載一個(gè)缺陷列表。要獲取額外的問(wèn)題信息,如行號(hào)、注釋和理由,您需要訂閱 Validate 高級(jí)合規(guī)性報(bào)告包。
擴(kuò)展搜索
Validate 模塊的正則表達(dá)式(RegEx)搜索功能提供了對(duì)文件系統(tǒng)路徑指定時(shí)使用 * 和 ** 通配符的更強(qiáng)大支持。有關(guān)更多信息,請(qǐng)參閱模塊文檔。
新的角色權(quán)限
添加了更改問(wèn)題所有者的權(quán)限,允許用戶更改問(wèn)題所有者而不無(wú)法更改問(wèn)題狀態(tài)。
保留許可證日志以用于審計(jì)目的
現(xiàn)在,您可以保留日志用于審核目的,方法是將日志附加到許可證服務(wù)器的 license.report.log 文件中,而不是在服務(wù)器重新啟動(dòng)后覆蓋該文件。要了解 append.license.logging設(shè)置,請(qǐng)參閱 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
對(duì)其他編譯器的支持改進(jìn),支持自動(dòng)生成CCT
- Keil armcc
- 改進(jìn)了對(duì) Clang 12 的支持
- GCC 12/13
- MSVC 2022
- 'qainject' 現(xiàn)在是默認(rèn)的同步方法
性能
- 針對(duì)涉及大量分支的結(jié)構(gòu),分析時(shí)間普遍減少。
libc++
對(duì)libc++標(biāo)準(zhǔn)庫(kù)的支持進(jìn)行了改進(jìn)和增強(qiáng)。
- 添加了-iso646keywords 選項(xiàng),以匹配 -fno-operator-names 行為。
- 啟用時(shí),不使用運(yùn)算符的替代關(guān)鍵字名稱。
編譯器擴(kuò)展
- C 的 "compound literal" 功能現(xiàn)在由 QAC++ 作為擴(kuò)展支持。
符號(hào)引用
- 改進(jìn)了對(duì) VCS 和非-VCS 創(chuàng)建的符號(hào)鏈接的支持。
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',并將在未來(lái)的版本中刪除:
- --qaf-project-config, --upgrade, --create-config-file, --edit-config-file, --list-config-files
合規(guī)性模塊目錄變更
提醒:從 Helix QAC 2023.4 版本開(kāi)始,工具不再?gòu)呐f的 "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ù)有限公司是國(guó)內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國(guó)廣大的制造業(yè)客戶提供研發(fā)、設(shè)計(jì)、管理過(guò)程中使用的各種軟件開(kāi)發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計(jì)周期,提升產(chǎn)品可靠性。
十多年來(lái),先后與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)系,并作為他們?cè)谥袊?guó)區(qū)的主要分銷合作伙伴服務(wù)了數(shù)千家中國(guó)本土客戶,為客戶提供從芯片級(jí)開(kāi)發(fā)工具、EDA設(shè)計(jì)工具、軟件編譯以及測(cè)試工具、結(jié)構(gòu)設(shè)計(jì)工具、仿真工具、電氣設(shè)計(jì)工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗(yàn)積累,真正的幫助客戶實(shí)現(xiàn)了讓研發(fā)更簡(jiǎn)單、更可靠、更高效的目標(biāo)。

歡迎關(guān)注“億道電子”公眾號(hào)
了解更多研發(fā)工具軟件知識(shí)