2021年7月27日,中国深圳——近日,静态代码工具开发商鉴释科技(下文简称:鉴释)宣布其加入RISC-V基金会、Linux基金会、seL4基金会,以及IoXt联盟四大国际非盈利组织。此次加入芯片、开源操作系统、操作系统微内核与物联网四大热门领域内的知名国际组织,标志着鉴释将把国际认可的高质量代码检测工具与行业洞察传递给国内客户,通过综合多行业视角与经验,赋能企业高效提升代码质量。
其中,开源指令集架构RISC-V基金会于2015年成立,意在通过开放标准协作建立良好生态,开启处理器创新的新时代,且基金会成员中不乏华为、谷歌、IBM、高通等耳熟能详的国际行业巨头。专注于开源操作系统的Linux 基金会则致力于围绕开源项目构建可持续的生态系统,从而推动软件技术开发及其商业化应用。IoXt联盟也正为物联网安全和隐私要求、产品合规计划以及上述计划与要求的公开透明度制定全球标准。seL4是世界上首个被形式化验证完全安全的操作系统内核,