qt近日推出axivion 7.11工具套件，新增自动化检测能力，可验证基于英伟达加速计算平台的程序是否遵循cuda编码安全规范。
Axivion是一套专用于C/C++语言的静态代码分析与架构合规性验证工具。继7.10版本实现对CUDA环境的支持后，最新发布的7.11版本进一步实现了对英伟达官方《CUDA C++ 编码指南》的自动化规则强制执行。
Axivion for CUDA目前具备以下核心功能：
- 自动扫描CUDA代码，确保其符合主流安全标准（如MISRA、CERT）、英伟达推荐的CUDA C++编码实践，以及企业内部制定的编码规范。
- 生成完整可追溯、基于证据的审计日志，帮助开发团队在早期阶段识别标准C++和CUDA源码中的死代码、重复代码、潜在不安全依赖关系及免于干扰（FFI）等风险，助力满足ISO 26262、IEC 62304与IEC 61508等严苛行业认证要求。
- 保障软件架构在受监管场景下的持续一致性与安全性，防止因架构偏离导致的系统性风险。
该原生集成支持将显著提升企业在高安全性要求项目中依据行业规范进行代码合规验证的效率。长期来看，有助于提前暴露缺陷、降低技术债务积累，并有效缩小GPU加速应用在合规性方面的差距。
源码地址：点击下载
