鉴释宣布加入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的开发团队提供更高质量、更安全的代码；为身处物联网领域的开发团队提供国际标准合规相关的技术支持等等。”鉴释联合创始人兼首席执行官梁宇宁如是说。

此前，鉴释已和国内人工智能芯片厂商地平线、无人驾驶厂商驭势科技和智能家居厂商海信聚好联等行业领军企业达成深度合作，助力其软件开发人员快速识别代码缺陷和安全隐患，并提升软件性能，从而赋能企业实现高效发展。

基金会代码分析服务四大

免责声明：本网信息来自于互联网，目的在于传递更多信息，并不代表本网赞同其观点。其原创性以及文中陈述文字和内容未经本站证实，对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺，并请自行核实相关内容。本站不承担此类作品侵权行为的直接责任及连带责任。如若本网有任何内容侵犯您的权益，请及时联系我们，本站将会在24小时内处理完毕。