鉴释宣布加入RISC-V基金会、Linux基金会、seL4基金会与ioXt联盟，旨在实现静态代码分析服务的全方位赋能
2021年7月27日，中国深圳——近日，静态代码工具开发商鉴释科技（下文简称：鉴释）宣布其加入risc-v基金会、linux基金会、sel4基金会，以及ioxt联盟四大国际非盈利组织。此次加入芯片、开源操作系统、操作系统微内核与物联网四大热门领域内的知名国际组织，标志着鉴释将把国际认可的高质量代码检测工具与行业洞察传递给国内客户，通过综合多行业视角与经验，赋能企业高效提升代码质量。
其中，开源指令集架构risc-v基金会于2015年成立，意在通过开放标准协作建立良好生态，开启处理器创新的新时代，且基金会成员中不乏华为、谷歌、ibm、高通等耳熟能详的国际行业巨头。专注于开源操作系统的linux 基金会则致力于围绕开源项目构建可持续的生态系统，从而推动软件技术开发及其商业化应用。ioxt联盟也正为物联网安全和隐私要求、产品合规计划以及上述计划与要求的公开透明度制定全球标准。sel4是世界上首个被形式化验证完全安全的操作系统内核，sel4基金会则正在为推广现实世界中关键计算机系统的机密性、安全性和可靠性做出努力。
sel4基金会主席gernot heiser表示：“鉴释正积极地与sel4 基金会的成员合作，且由鉴释自主研发的代码分析工具正被成员使用。开发高质量和安全的代码是我们共同的愿景。”
“此次与这四家国际组织建立合作关系正是基于为开发者提供行业领先的质量和漏洞检测工具这一核心战略而落实的。比如，鉴释可为基于risc-v的开发团队提供更高质量、更安全的代码；为身处物联网领域的开发团队提供国际标准合规相关的技术支持等等。”鉴释联合创始人兼首席执行官梁宇宁如是说。
此前，鉴释已和国内人工智能芯片厂商地平线、无人驾驶厂商驭势科技和智能家居厂商海信聚好联等行业领军企业达成深度合作，助力其软件开发人员快速识别代码缺陷和安全隐患，并提升软件性能，从而赋能企业实现高效发展。
安全重于泰山 人工智能助力动车段创新管理
GPIO的八种工作模式
如何使用Arduino控制RGB LED
数据是因为区块链技术变成资产的吗
PowerLab 设计具体都包含了些什么？
鉴释宣布加入RISC-V基金会、Linux基金会、seL4基金会与ioXt联盟，旨在实现静态代码分析服务的全方位赋能
音箱分频器的作用_音箱分频器电容的性能要求
电气接地的原理和目的
人工智能技术：保护边缘的人工智能
区块链专家表示98％的比特币矿机在寿命内未曾产生过一个区块
人工智能在新时代具备怎样的潜力
自耦减压起动器的常见故障
简单介绍下LDO分类
UBS to RS232 转接线(PL-2303HX)的特性
英特尔与百度覆盖端-边-云的全面合作，推动5G+AI能力落地与商用
物联网咖啡机制作图解
防雨淋性测试仪简介
美光发布5300和7300系列企业级固态硬盘新品
Vega显卡什么时候上市最新消息：还有水冷版本，现已接受预订
人工智能的技术和设备都得到了飞速的发展
其中，开源指令集架构risc-v基金会于2015年成立，意在通过开放标准协作建立良好生态，开启处理器创新的新时代，且基金会成员中不乏华为、谷歌、ibm、高通等耳熟能详的国际行业巨头。专注于开源操作系统的linux 基金会则致力于围绕开源项目构建可持续的生态系统，从而推动软件技术开发及其商业化应用。ioxt联盟也正为物联网安全和隐私要求、产品合规计划以及上述计划与要求的公开透明度制定全球标准。sel4是世界上首个被形式化验证完全安全的操作系统内核，sel4基金会则正在为推广现实世界中关键计算机系统的机密性、安全性和可靠性做出努力。
sel4基金会主席gernot heiser表示：“鉴释正积极地与sel4 基金会的成员合作，且由鉴释自主研发的代码分析工具正被成员使用。开发高质量和安全的代码是我们共同的愿景。”
“此次与这四家国际组织建立合作关系正是基于为开发者提供行业领先的质量和漏洞检测工具这一核心战略而落实的。比如，鉴释可为基于risc-v的开发团队提供更高质量、更安全的代码；为身处物联网领域的开发团队提供国际标准合规相关的技术支持等等。”鉴释联合创始人兼首席执行官梁宇宁如是说。
此前，鉴释已和国内人工智能芯片厂商地平线、无人驾驶厂商驭势科技和智能家居厂商海信聚好联等行业领军企业达成深度合作，助力其软件开发人员快速识别代码缺陷和安全隐患，并提升软件性能，从而赋能企业实现高效发展。
安全重于泰山 人工智能助力动车段创新管理
GPIO的八种工作模式
如何使用Arduino控制RGB LED
数据是因为区块链技术变成资产的吗
PowerLab 设计具体都包含了些什么？
鉴释宣布加入RISC-V基金会、Linux基金会、seL4基金会与ioXt联盟，旨在实现静态代码分析服务的全方位赋能
音箱分频器的作用_音箱分频器电容的性能要求
电气接地的原理和目的
人工智能技术：保护边缘的人工智能
区块链专家表示98％的比特币矿机在寿命内未曾产生过一个区块
人工智能在新时代具备怎样的潜力
自耦减压起动器的常见故障
简单介绍下LDO分类
UBS to RS232 转接线(PL-2303HX)的特性
英特尔与百度覆盖端-边-云的全面合作，推动5G+AI能力落地与商用
物联网咖啡机制作图解
防雨淋性测试仪简介
美光发布5300和7300系列企业级固态硬盘新品
Vega显卡什么时候上市最新消息：还有水冷版本，现已接受预订
人工智能的技术和设备都得到了飞速的发展