开云（中国大陆官方网站）Kaiyun科技股份有限公司 - 领先的GPU计算与AI算力解决方案

　　Qt Group 于 2025 年 11 月 17 日宣布，其 Axivion 7.11 工具现已全面支持英伟达安全与编码指南。这一举措旨在帮助开发者在自动驾驶汽车、医疗扫描仪和机器人等安全关键行业中，更高效地构建符合规范、具备先进图形和

　　英伟达CUDA作为领先的GPU加速计算平台，广泛应用于AI、深度学习、3D 图形与高性能计算。全球数百万开发者依赖该平台开发对质量与安全要求严苛的软件。近期，英伟达发布了面向稳健与安全关键型编程的CUDA C++指南，旨在帮助开发者强化安全实践，从而提升使用CUDA软件的安全性和稳健性。然而，手动检查代码是否符合这些复杂的安全规则，对于开发者而言，无疑是一项耗时且容易出错的任务。

　　Axivion 是一套用于执行 C/C++ 静态代码分析与架构验证的工具集，其 7.10 版已支持CUDA环境。此次发布的 7.11 版本，进一步实现了对英伟达CUDA C++编码指南的自动化强制执行。这一原生支持将使企业能够在安全认证项目中依据行业标准快速验证代码。这意味着开发者可以借助 Axivion 7.11 自动检查CUDA代码是否符合行业标准的安全指南（例如 MISRA、CERT、英伟达的CUDA C++编码指南）以及企业自定义指南。同时，Axivion 还提供完整可追溯、基于证据的审计轨迹，及早发现标准 C++ 与CUDA源代码中的死代码、代码重复、不安全依赖关系及免于干扰 (FFI) 等问题，确保符合 ISO26262、IEC62304 与 IEC61508 等严格的安全标准。从长远来看，这将有助于早期发现缺陷、最小化技术债务，并缩小GPU加速代码的合规差距。

　　“仅靠质量保证发现缺陷已远远不够，开发者现在必须证明软件未受到侵蚀，即防止当前的政策违规行为从开发环节渗透至未来的项目代码中。” Qt Group 高级副总裁 Juhapekka Niemi 表示。随着英伟达CUDA C++编码指南的发布，CUDA开发者现在可以使用强制执行且标准化的代码安全与稳健性度量标准来避免软件侵蚀。Axivion 的自动化能力，使开发者无需过度担忧代码是否符合安全规则，无论他们是正在构建新软件还是更新旧系统。未来，Axivion 还将持续增强内存安全检查与数据流分析等相关功能，进一步提升GPU加速软件的安全性与可靠性。

　　Qt Group 的这一举措，无疑为GPU加速计算领域的软件开发带来了积极影响。它不仅提高了开发效率，降低了合规成本，更重要的是，提升了软件的安全性，为自动驾驶、医疗设备等关键领域的应用提供了坚实的技术保障。随着AI和GPU技术的不断发展，对软件安全性的要求也将越来越高，Axivion 这样的工具，将在未来发挥越来越重要的作用。你认为，在GPU加速的软件开发领域，自动化安全工具的未来发展方向是什么？