💡
原文中文,约400字,阅读约需1分钟。
📝
内容提要
Qt Group于11月17日推出新工具,自动检测使用英伟达CUDA的程序是否遵循安全规则。该工具集成于Axivion 7.11,旨在支持安全关键行业(如自动驾驶、医疗和机器人)开发可靠应用,自动强制执行CUDA编码指南,并提供审计轨迹,确保软件架构的一致性与安全性。
🎯
关键要点
- Qt Group于11月17日推出新工具,自动检测使用英伟达CUDA的程序是否遵循安全规则。
- 该工具集成于Axivion 7.11,旨在支持安全关键行业开发可靠应用。
- Axivion是一套用于执行C/C++静态代码分析与架构验证的工具集。
- Axivion 7.11版本实现了对英伟达CUDA C++编码指南的自动化强制执行。
- 工具可以自动检查CUDA代码是否符合行业标准的安全指南及企业自定义指南。
- 提供完整可追溯的审计轨迹,及早发现代码中的问题,确保软件架构的一致性与安全性。
➡️