欢迎光临,我们是一家专注中小型企业营销推广服务的公司!

咨询热线:400 9868 577
淮南兰乔电子商务有限公司
新闻中心News
淮南兰乔电子商务有限公司

Qt 推出自动化工具强化 CUDA 编码安全规范

作者:碧海醫心 | 点击: | 来源:碧海醫心
1811
2025
Qt近日推出Axivion7.11工具套件,新增自动化检测能力,可验证基于英伟达加速计算平台的程序是否遵循CUDA编码安全规范。Axivion是一套专用于C/C++语言的静态代码分析与架构合规性验证工具。继7.10版本实现对CUDA环境的支持后,最新发布的7.11版本进一步实现了对英伟达官方《CUDAC++编码指南》的自动化规则强制执行。AxivionforCUDA目前具备以下核心功能:自动扫描CUDA代码,确保其符合主流安全标准(如MISRA、CERT)、英伟达推荐的CUDAC++编码实践,...

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加速应用在合规性方面的差距。

源码地址:点击下载

相关推荐
我要咨询做网站
成功案例
建站流程
  • 网站需
    求分析
  • 网站策
    划方案
  • 页面风
    格设计
  • 程序设
    计研发
  • 资料录
    入优化
  • 确认交
    付使用
  • 后续跟
    踪服务
  • 400 9868 577
    info#ilanqiao.cn
Hi,Are you ready?
准备好开始了吗?
那就与我们取得联系吧

咨询送礼现在提交,将获得兰乔电子商务策划专家免费为您制作
价值5880元《全网营销方案+优化视频教程》一份!
下单送礼感恩七周年,新老用户下单即送创业型空间+域名等大礼
24小时免费咨询热线400 9868 577
合作意向表
您需要的服务
您最关注的地方
预算

直接咨询