11月17日，Qt Group宣布推出新工具，可自动检查使用NVIDIA加速计算的程序是否遵循NVIDIA CUDA编码的安全规则。该功能在Axivion 7.11版本中推出，使安全关键型行业的开发人员能够更快地构建可靠且合规的应用程序，这些应用程序具备先进的图形和人工智能功能，可用于自动驾驶汽车、医疗扫描仪和机器人等应用场景。

图片来源： Qt Group

NVIDIA CUDA是领先的GPU加速计算平台，为人工智能、深度学习、3D图形和高性能计算提供强大支持。数百万软件开发人员都在使用它，其中包括汽车、医疗保健、工业自动化等对质量和安全要求极高的行业的开发人员。近期，NVIDIA发布了CUDA C 指南，旨在帮助开发人员实施相关实践，从而提高使用CUDA的软件的安全性和健壮性。

Axivion是一套用于在C/C 中运行静态代码分析和架构验证的工具集。7.10版本增加了对CUDA环境的支持，而7.11版本则实现了对NVIDIA CUDA C 编码规范的自动化执行。这种原生支持将使企业能够快速地根据行业认可的标准验证其代码，从而确保项目的安全认证。从长远来看，这有助于开发人员更早地发现错误，最大限度地减少技术债务，并缩小GPU加速代码中的合规性差距。

借助Axivion for CUDA，开发人员现在可以：

  • 自动检查CUDA代码是否符合行业标准安全规则，例如MISRA、CERT、NVIDIA CUDA C 编码指南以及自定义公司指南。

  • 获得完整的可追溯性和基于证据的审计跟踪，以便及早发现问题，包括死代码、代码重复、不安全依赖项以及标准C 和CUDA源代码中的无干扰性（FFI）。这确保符合ISO 26262、IEC 62304和IEC 61508等严格的安全标准。

  • 确保软件架构保持一致性，并可在受监管的环境中使用。

“QA仅仅识别bug已经远远不够了。开发人员现在还需负责证明不存在软件侵蚀——也就是说，今天违反的策略可能会从开发人员的办公桌渗透到明天的项目代码中。随着NVIDIA CUDA C 编码指南的正式发布，CUDA开发人员拥有了可执行的标准化代码安全性和健壮性指标，从而避免软件侵蚀，”Qt Group高级副总裁Juhapekka Niemi表示。“Axivion现在可以自动执行这些指标，因此开发人员无需担心他们的代码是否符合安全规则——无论他们是在构建新软件还是更新旧系统。”

Axivion已被所有受监管的行业广泛使用，用于自动检查软件代码和架构中的错误、复杂性以及是否符合安全标准。未来的更新将继续增强与内存安全检查和数据流分析等领域相关的功能。