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加速代码的合规差距。