Qt近日發佈Axivion 7.11工具集，新增自動檢測功能，可驗證採用英偉達加速計算的程序是否符合CUDA編碼安全規則。
Axivion是一套用於執行C/C++靜態代碼分析與架構驗證的工具集，其7.10版已支持CUDA環境，而最新的7.11版本進一步實現了對英偉達CUDA C++編碼指南的自動化強制執行。
Axivion for CUDA現在支持以下功能：
-
自動檢查CUDA代碼是否符合行業標準的安全指南（例如MISRA、CERT、英偉達的 CUDA C++編碼指南）以及企業自定義指南。
-
提供完整可追溯、基於證據的審計軌跡，及早發現標準C++與CUDA源代碼中的死代碼、代碼重複、不安全依賴關係及免於干擾（FFI）等問題，確保符合ISO 26262、IEC 62304與IEC 61508等嚴格的安全標準。
-
確保軟件架構在受監管環境中持續保持一致性與安全性。
此項原生支持將使企業能夠在安全認證項目中依據行業標準快速驗證代碼。從長遠來看，這將有助於早期發現缺陷、最小化技術債務，並縮小GPU加速代碼的合規差距。
