11月17日，Qt Group宣布推出新工具，可自動檢查使用NVIDIA加速計算的程序是否遵循NVIDIA CUDA編碼的安全規(guī)則。該功能在Axivion 7.11版本中推出，使安全關(guān)鍵型行業(yè)的開發(fā)人員能夠更快地構(gòu)建可靠且合規(guī)的應(yīng)用程序，這些應(yīng)用程序具備先進(jìn)的圖形和人工智能功能，可用于自動駕駛汽車、醫(yī)療掃描儀和機(jī)器人等應(yīng)用場景。

圖片來源： Qt Group

NVIDIA CUDA是領(lǐng)先的GPU加速計算平臺，為人工智能、深度學(xué)習(xí)、3D圖形和高性能計算提供強(qiáng)大支持。數(shù)百萬軟件開發(fā)人員都在使用它，其中包括汽車、醫(yī)療保健、工業(yè)自動化等對質(zhì)量和安全要求極高的行業(yè)的開發(fā)人員。近期，NVIDIA發(fā)布了CUDA C++指南，旨在幫助開發(fā)人員實施相關(guān)實踐，從而提高使用CUDA的軟件的安全性和健壯性。

Axivion是一套用于在C/C++中運行靜態(tài)代碼分析和架構(gòu)驗證的工具集。7.10版本增加了對CUDA環(huán)境的支持，而7.11版本則實現(xiàn)了對NVIDIA CUDA C++編碼規(guī)范的自動化執(zhí)行。這種原生支持將使企業(yè)能夠快速地根據(jù)行業(yè)認(rèn)可的標(biāo)準(zhǔn)驗證其代碼，從而確保項目的安全認(rèn)證。從長遠(yuǎn)來看，這有助于開發(fā)人員更早地發(fā)現(xiàn)錯誤，最大限度地減少技術(shù)債務(wù)，并縮小GPU加速代碼中的合規(guī)性差距。

借助Axivion for CUDA，開發(fā)人員現(xiàn)在可以：

• 自動檢查CUDA代碼是否符合行業(yè)標(biāo)準(zhǔn)安全規(guī)則，例如MISRA、CERT、NVIDIA CUDA C++編碼指南以及自定義公司指南。

• 獲得完整的可追溯性和基于證據(jù)的審計跟蹤，以便及早發(fā)現(xiàn)問題，包括死代碼、代碼重復(fù)、不安全依賴項以及標(biāo)準(zhǔn)C++和CUDA源代碼中的無干擾性（FFI）。這確保符合ISO 26262、IEC 62304和IEC 61508等嚴(yán)格的安全標(biāo)準(zhǔn)。

• 確保軟件架構(gòu)保持一致性，并可在受監(jiān)管的環(huán)境中使用。

“QA僅僅識別bug已經(jīng)遠(yuǎn)遠(yuǎn)不夠了。開發(fā)人員現(xiàn)在還需負(fù)責(zé)證明不存在軟件侵蝕——也就是說，今天違反的策略可能會從開發(fā)人員的辦公桌滲透到明天的項目代碼中。隨著NVIDIA CUDA C++編碼指南的正式發(fā)布，CUDA開發(fā)人員擁有了可執(zhí)行的標(biāo)準(zhǔn)化代碼安全性和健壯性指標(biāo)，從而避免軟件侵蝕，”Qt Group高級副總裁Juhapekka Niemi表示?！癆xivion現(xiàn)在可以自動執(zhí)行這些指標(biāo)，因此開發(fā)人員無需擔(dān)心他們的代碼是否符合安全規(guī)則——無論他們是在構(gòu)建新軟件還是更新舊系統(tǒng)。”

Axivion已被所有受監(jiān)管的行業(yè)廣泛使用，用于自動檢查軟件代碼和架構(gòu)中的錯誤、復(fù)雜性以及是否符合安全標(biāo)準(zhǔn)。未來的更新將繼續(xù)增強(qiáng)與內(nèi)存安全檢查和數(shù)據(jù)流分析等領(lǐng)域相關(guān)的功能。