Axivion 7.11通過減少手動檢查代碼安全違規(guī)所需時間，助力開發(fā)者在受監(jiān)管行業(yè)專注于構(gòu)建穩(wěn)健的GPU與AI密集型應(yīng)用程序。

芬蘭埃斯波2025年11月18日 /美通社/ -- Qt Group（Nasdaq, Helsinki: QTCOM）于11月17日推出全新工具，能夠自動檢測使用英偉達加速計算的程序是否遵循英偉達 CUDA編碼安全規(guī)則。該功能集成于新發(fā)布的Axivion 7.11，旨在幫助安全關(guān)鍵行業(yè)的開發(fā)者更高效地開發(fā)符合指南、具備先進圖形和AI功能的可靠應(yīng)用程序，覆蓋自動駕駛汽車、醫(yī)療掃描儀以及機器人等領(lǐng)域。

英偉達 CUDA作為領(lǐng)先的GPU加速計算平臺，廣泛應(yīng)用于AI、深度學(xué)習、3D圖形與高性能計算。全球數(shù)百萬開發(fā)者借助該平臺開發(fā)汽車、醫(yī)療和工業(yè)自動化等對質(zhì)量與安全要求嚴苛的軟件。近期，英偉達發(fā)布了面向穩(wěn)健與安全關(guān)鍵型編程的CUDA C++指南，旨在幫助開發(fā)者強化安全實踐，從而提升使用CUDA軟件的安全性和穩(wěn)健性。

Axivion是一套用于執(zhí)行C/C++靜態(tài)代碼分析與架構(gòu)驗證的工具集，其7.10版已支持CUDA環(huán)境，而最新的7.11版本進一步實現(xiàn)了對英偉達 CUDA C++編碼指南的自動化強制執(zhí)行。此項原生支持將使企業(yè)能夠在安全認證項目中依據(jù)行業(yè)標準快速驗證代碼。從長遠來看，這將有助于早期發(fā)現(xiàn)缺陷、最小化技術(shù)債務(wù)，并縮小GPU加速代碼的合規(guī)差距。

Axivion for CUDA現(xiàn)在支持以下功能：

• 自動檢查CUDA代碼是否符合行業(yè)標準的安全指南（例如MISRA、CERT、英偉達的 CUDA C++編碼指南）以及企業(yè)自定義指南。 
• 提供完整可追溯、基于證據(jù)的審計軌跡，及早發(fā)現(xiàn)標準C++與CUDA源代碼中的死代碼、代碼重復(fù)、不安全依賴關(guān)系及免于干擾（FFI）等問題，確保符合ISO 26262、IEC 62304與IEC 61508等嚴格的安全標準。 
• 確保軟件架構(gòu)在受監(jiān)管環(huán)境中持續(xù)保持一致性與安全性。 
  
  

"僅靠質(zhì)量保證發(fā)現(xiàn)缺陷已遠遠不夠，開發(fā)者現(xiàn)在必須證明軟件未受到侵蝕，即防止當前的政策違規(guī)行為從開發(fā)環(huán)節(jié)滲透至未來的項目代碼中。隨著英偉達CUDA C++編碼指南的發(fā)布，CUDA開發(fā)者現(xiàn)在可以使用強制執(zhí)行且標準化的代碼安全與穩(wěn)健性度量標準來避免軟件侵蝕，"Qt Group高級副總裁Juhapekka Niemi表示，"Axivion現(xiàn)已能夠自動執(zhí)行該指南，使開發(fā)者無需過度擔憂代碼是否符合安全規(guī)則，無論他們是正在構(gòu)建新軟件還是更新舊系統(tǒng)。"

Axivion已廣泛應(yīng)用于各受監(jiān)管行業(yè)，可自動檢測軟件代碼與架構(gòu)中的錯誤、復(fù)雜性和安全標準合規(guī)問題。未來還將持續(xù)增強內(nèi)存安全檢查與數(shù)據(jù)流分析等相關(guān)功能。

關(guān)于Qt Group

Qt Group（Nasdaq, Helsinki: QTCOM）是一家跨國軟件公司，深受各行業(yè)領(lǐng)導(dǎo)者及全球150多萬開發(fā)者的信賴，助力他們打造用戶衷愛的應(yīng)用程序和智能設(shè)備。我們幫助客戶提升整個產(chǎn)品開發(fā)生命周期的生產(chǎn)力：包括UI設(shè)計、軟件開發(fā)到質(zhì)量管理和部署。我們的客戶遍及全球180多個國家/地區(qū)的70多個行業(yè)。Qt Group擁有約900名員工，截至2024年，凈銷售額為2.09億歐元。更多信息，請訪問www.qt.io。