鉴释宣布加入RISC-V基金会、Linux基金会、seL4基金会与IoXt联盟，旨在实现静态代码分析服务的全方位赋能

鉴释

于 2021-07-29 15:47:37 发布

阅读量287

点赞数

CC 4.0 BY-SA版权

文章标签： linux iot risc-v

本文链接：https://blog.csdn.net/Xcalibyte/article/details/119093741

鉴释科技宣布加入RISC-V基金会、Linux基金会、seL4基金会和IoXt联盟，旨在提升代码质量和安全性。通过与这些组织的合作，鉴释将为国内客户提供国际标准的代码检测工具和服务，特别是在RISC-V芯片、Linux操作系统、物联网安全和形式化验证的seL4内核等领域。

2021年7月27日，中国深圳——近日，静态代码工具开发商鉴释科技（下文简称：鉴释）宣布其加入RISC-V基金会、Linux基金会、seL4基金会，以及IoXt联盟四大国际非盈利组织。此次加入芯片、开源操作系统、操作系统微内核与物联网四大热门领域内的知名国际组织，标志着鉴释将把国际认可的高质量代码检测工具与行业洞察传递给国内客户，通过综合多行业视角与经验，赋能企业高效提升代码质量。

其中，开源指令集架构RISC-V基金会于2015年成立，意在通过开放标准协作建立良好生态，开启处理器创新的新时代，且基金会成员中不乏华为、谷歌、IBM、高通等耳熟能详的国际行业巨头。专注于开源操作系统的Linux 基金会则致力于围绕开源项目构建可持续的生态系统，从而推动软件技术开发及其商业化应用。IoXt联盟也正为物联网安全和隐私要求、产品合规计划以及上述计划与要求的公开透明度制定全球标准。seL4是世界上首个被形式化验证完全安全的操作系统内核，seL4基金会则正在为推广现实世界中关键计算机系统的机密性、安全性和可靠性做出努力。