遵循英伟达的CUDA C++指南，受益于Extended Tool Qualification Kit，并通过新增CWE规则保持领先优势
我们很高兴地宣布Axivion 7.11正式发布，该版本带来了提升安全性和易用性的激动人心的新功能。开发者可以继续信赖 Axivion 对最重要行业标准和编码指南最新版本的及时跟进——包括刚刚发布的《CUDA C++稳健与安全关键型编程指南》。 最新发布还对易用性进行了改进，并新增对Rust编程语言的初步支持。
增强版Axivion for CUDA
继今年春季成功推出Axivion for CUDA，本次发布带来了令人瞩目的新功能。不仅提升了基于MISRA标准的CUDA代码合规检查能力，用户现可验证其CUDA C++代码是否符合英伟达的CUDA C++ Guidelines for Robust and Safety-Critical Programming《CUDA C++稳健与安全关键型编程指南》。这对于在安全关键环境（汽车、医疗等领域）使用CUDA C++的开发者而言是独特机遇。Axivion 能让CUDA开发者无需深入研究规则细节，即可轻松满足新指南要求。 
屏幕截图：违反英伟达CUDA C++ 指南第1.4条的详细信息
更新后的Tool Qualification Kit现已支持开发者验证Axivion作为CUDA C++开发（含MISRA规则及CUDA C++指南）的合规工具，更便捷地为CUDA项目认证做好准备。
了解如何通过Axivion遵循英伟达的CUDA C++指南：产品导览 （移动设备建议横屏观看）。
Axivion架构验证工具资质认证套件
更新后的ool Qualification Kit现在也包括Axivion Architecture Verification。作为保障安全关键环境中软件质量的重要环节，架构验证能确保软件组件免受意外干扰。当需要证明软件隔离性或无干扰性时，现在即可使用Axivion Tool Qualification Kit。
访问专题网页，了解 Tool Qualification Kit的更多信息。
持续同步最新安全标准
提供卓越的安全相关功能始终是我们的首要任务。Axivion特别适合于汽车、医疗或工业自动化等安全关键环境中的软件开发。为确保开发者能够轻松满足法规和指南的严格要求，Axivion不仅配备了改进的Tool Qualification Kit，还再次增加了更多来自CWE清单的规则，此次更新还包含了一些针对C#的规则。
观看网络研讨会：Taint Analysis: Closing the Gaps Before Attackers Find Them
新增语言支持：Rust
新版发布支持 Rust 语言，包含架构验证、循环检测和度量指标等基础功能。Rust 同样被纳入报告体系，并与主流 IDE 插件实现兼容。此次初步整合为未来数月的深度开发奠定基础，进一步拓展了 Axivion 的多语言支持能力。
阅读我们的博客：Pitfalls in Multi-Language Software Projects
Axivion 7.11的其他亮点功能
其他亮点功能
- 可下载报告
用户现在可以直接从仪表板下载报告，而不仅限于通过电子邮件接收。 - 优化的仪表板设置
仪表板的设置界面经过重新设计，使配置更加直观和用户友好。 - 简化可视化访问方式
现在能更便捷地访问可视化功能，帮助用户快速解读结果并识别问题。 - 通过GUI集成拉取请求
用户现在可直接在图形界面配置拉取请求集成，简化设置流程并优化CI/CD工作流。 - 简化项目设置
用户现在可直接在图形界面配置拉取请求集成，简化设置流程并优化CI/CD工作流。
探索更多
想了解更多信息？如果您有任何疑问或希望预约演示，请联系我们。
现有Axivion客户可通过我们的客户门户网站或联系其客户经理获取Axivion 7.11的详细技术信息。
了解我们的最新产品动态和活动资讯，请立即订阅我们的通讯。
