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

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

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

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

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

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

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

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

關(guān)于Qt Group

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

【免責(zé)聲明】本文僅代表作者個(gè)人觀點(diǎn)，與云財(cái)經(jīng)無關(guān)。其原創(chuàng)性以及文中陳述文字和內(nèi)容未經(jīng)本站證實(shí)，云財(cái)經(jīng)對(duì)本文以及其中全部或者部分內(nèi)容、文字的真實(shí)性、完整性、及時(shí)性本站不作任何保證或承諾，請(qǐng)讀者僅作參考，并請(qǐng)自行核實(shí)相關(guān)內(nèi)容。