Qt 推出自动化工具强化 CUDA 编码安全规范
qt近日推出axivion 7.11工具套件，新增自动化检测能力，可验证基于英伟达加速计算平台的程序是否遵循cuda编码安全规范。
Axivion是一套专用于C/C++语言的静态代码分析与架构合规性验证工具。继7.10版本实现对CUDA环境的支持后，最新发布的7.11版本进一步实现了对英伟达官方《CUDA C++ 编码指南》的自动化规则强制执行。
Axivion for CUDA目前具备以下核心功能：
聪豹Wiseal
聪豹Wiseal是一个专业的历史时间线收集整理工具
下载- 自动扫描CUDA代码，确保其符合主流安全标准（如MISRA、CERT）、英伟达推荐的CUDA C++编码实践，以及企业内部制定的编码规范。
- 生成完整可追溯、基于证据的审计日志，帮助开发团队在早期阶段识别标准C++和CUDA源码中的死代码、重复代码、潜在不安全依赖关系及免于干扰（FFI）等风险，助力满足ISO 26262、IEC 62304与IEC 61508等严苛行业认证要求。
- 保障软件架构在受监管场景下的持续一致性与安全性，防止因架构偏离导致的系统性风险。
该原生集成支持将显著提升企业在高安全性要求项目中依据行业规范进行代码合规验证的效率。长期来看，有助于提前暴露缺陷、降低技术债务积累，并有效缩小GPU加速应用在合规性方面的差距。
源码地址：点击下载
扫描二维码推送至手机访问。
版权声明：本文由2345好导航站长资讯发布，如需转载请注明出处。
“Qt 推出自动化工具强化 CUDA 编码安全规范” 的相关文章
高强度竞争领域注定容不下安逸，等待敲锣的协和电子正走在掉队的路上？
扎根印制电路板技术研发二十年，专注于汽车电子、高频通讯等中高端领域的协和电子（605258）本周启动招股，下周四（11月19日）即将网上申购。 多年的沉淀，令其收获了一批优质客户。不过随着行业规模增长放缓、各类成本抬升以及行业龙头集中度提高，协和电子往日优势逐渐消退，利润水平也逐年降低，此...
手握采购、研发、销售三条“命脉” 谁是操控创耀科技命运的神秘“公司A”
1947年，美国贝尔实验室的威廉.肖克利和他的两位助手布拉顿、巴丁，研制出了世界上第一只晶体管，为集成电路产业打开时代大门，也造就了现代信息社会的根基――“芯片”。 但是现代信息社会并不能避不开国与国之间的问题。 “芯片强则产业强，芯片兴则经济兴，没有高端芯片就没有真正的产业安全和国...
威腾电气IPO观察：自夸“头部企业”被打回原形 拿投资者4个亿只为“试试水”？
威腾电气，一家缺乏科创属性、爱夸夸其谈还带着问题供应商的公司，正在冲击科创板市场。 2021年1月14日，以输配电中母线产品研发、制造及销售为主业的威腾电气，正式通过上市委会议，距离科创板上市又近了一步。 但这对投资者而言，可能并不是一件好事。 由于身在传统电力行业，科研步伐又...
新风光：核心材料严重依赖进口 毛利率下滑市场“风光”不再 |
作为“光伏、风电”等大热门行业上游关键零部件供应商的新风光，即将登陆科创资本市场。 2021年3月24日，以大功率电力电子节能控制技术为核心技术平台，构筑电气控制装备产品体系的新风光，在科创板开启招股环节。 招股资料显示，新风光本次共计将募资5.9亿元，其中1.5亿元用于变频器和SV...
上声电子：四年净利仅剩30% 研发低产能又“空置” 三角股权难解丨
历时四年发展，归母净利润反缩水近7成的上声电子，即将登陆科创板，寻求资本助力。 作为国内前装市场汽车声学产品方案供应商的上声电子，于2021年3月29日在科创板启动招股环节。公司计划募集4.47亿元资金，其中2.47亿元用于扩产扬声器项目，1.49亿元用于扩产汽车电子项目，剩余5000万元...
华恒生物：近半市占率的细分龙头 竟然只能“被动挨打”丨
全球最大的丙氨酸生产商华恒生物，即将亮相科创资本市场。 2021年4月7日，以合成生物技术为核心，主要从事氨基酸及其衍生物产品研发、生产、销售的华恒生物，于科创板开启了路演询价环节，距离正式亮相科创板仅剩一步之遥。 图/Wind 目前，华恒生物拥有接近50%的市场占有率...