我们很高兴地宣布 Axivion 7.10 正式发布。在新版本中，客户现在可以将所有已支持C/C++的功能应用于CUDA应用程序分析。由于 Axivion 主要用于安全关键领域，本次更新自然也新增了针对MISRA、CWE和CERT等安全与安规标准的相关规则。
Axivion 对CUDA 应用程序的支持
本次最重大的革新是 Axivion 的分析能力扩展——现已支持 CUDA（用于编写英伟达™（NVIDIA®）GPU 代码的编程模型和语法）。CUDA 广泛应用于从科研到商业产品的多个领域，在基于人工智能的应用和高速汽车系统中影响深远。
随着新版本的发布，Axivion套件的全部功能--架构验证、克隆检测与管理、度量监控、编码指南与缺陷检测、死代码分析、循环检测--均可用于CUDA应用程序（Axivion for CUDA）。开发者仅需一个工具即可对完整的 C/C++ 和 CUDA 代码进行全面分析。
满足最高安全标准
确保用于安全关键环境（如汽车、医疗或工业应用）的软件满足严格的安全要求，是 Axivion Suite 的核心关注点之一。本次更新延续了这一方向的改进：通过将最近发布的MISRA C:2025 规则添加到 Axivion 的 MISRA 检查器中，该工具继续保持对MISRA所有可自动检测规则的100%覆盖。
7.10版本还新增了 CERT C/C++ 安全编码标准的相关规则，进一步扩展了编码规范检查器的现有规则集。针对 CWE 和 AUTOSAR 的检查也进行了改进。
配置设置阶段的用户体验优化
配置设置向导进行了重大改进，提升了新项目配置效率。新版本可自动检测版本控制系统，简化的项目配置流程确保新项目能快速实施。另一项改进是编译器设置脚本的自动执行功能。
此外，还为 Dashboard 配置提供了证书向导 （Certificate Wizard）。面对日益严峻的网络安全威胁，标准和法规要求日趋严格。Axivion 7.10 为 Dashboard 配置引入了证书向导（Certificate Wizard），简化了安全通信所需的证书配置流程。
Axivion 7.10 版本的其他亮点
7.10版本还包括以下重要更新：
- 扩展的 SSO 支持
现支持Okta和Ping ID等更多单点登录解决方案，为企业提供更灵活的安全认证选择。 - 支持 Linux ARM
Axivion 继续扩大支持的主机操作系统（Host Operating Systems）列表，现已提供对 Linux ARM 的原生支持。 - C#13 支持
保持与最新编译器版本的同步，使用 C# 13 的开发者可充分利用 Axivion 的代码分析能力。 - 增强的 C23 和 C++23 支持
更新对 C23 和 C++23 标准的支持，确保与最新语言特性的兼容性。
- 优化 Bazel 集成
用户现可下载定制规则集，能够更便捷地将 Axivion 集成至 Bazel 构建系统。该规则集提供基于现有配置创建 Axivion 编译器工具链的功能。
- Qt Creator 插件改进
继上个版本推出 Qt Creator 插件后，本次增强了 Dashboard server 的客户端完整问题属性处理能力，并简化了帮助菜单访问方式。这些改进将在下一个 Qt Creator 版本中生效。
发现更多
Axivion的现有客户可在我们的客户中心或联系客户经理获取有关 Axivion Suite 7.10 版本的详细技术文档。
如需进一步了解我们的架构验证和静态代码分析工具，请访问官网。
如果您有任何咨询或演示预约需求，请联系我们。
