2021年7月27日，中國深圳——近日，靜態代碼工具開發商鑒釋科技（下文簡稱：鑒釋）宣布其加入RISC-V基金會、Linux基金會、seL4基金會，以及ioXt聯盟四大國際非盈利組織。此次加入芯片、開源操作系統、操作系統微內核與物聯網四大熱門領域內的知名國際組織，標志著鑒釋將把國際認可的高質量代碼檢測工具與行業洞察傳遞給國內客戶，通過綜合多行業視角與經驗，賦能企業高效提升代碼質量。

其中，開源指令集架構RISC-V基金會于2015年成立，意在通過開放標準協作建立良好生態，開啟處理器創新的新時代，且基金會成員中不乏華為、谷歌、IBM、高通等耳熟能詳的國際行業巨頭。專注于開源操作系統的Linux 基金會則致力于圍繞開源項目構建可持續的生態系統，從而推動軟件技術開發及其商業化應用。ioXt聯盟也正為物聯網安全和隱私要求、產品合規計劃以及上述計劃與要求的公開透明度制定全球標準。seL4是世界上首個被形式化驗證完全安全的操作系統內核，seL4基金會則正在為推廣現實世界中關鍵計算機系統的機密性、安全性和可靠性做出努力。

seL4基金會主席Gernot Heiser表示：“鑒釋正積極地與seL4 基金會的成員合作，且由鑒釋自主研發的代碼分析工具正被成員使用。開發高質量和安全的代碼是我們共同的愿景?！?/p>

“此次與這四家國際組織建立合作關系正是基于為開發者提供行業領先的質量和漏洞檢測工具這一核心戰略而落實的。比如，鑒釋可為基于RISC-V的開發團隊提供更高質量、更安全的代碼；為身處物聯網領域的開發團隊提供國際標準合規相關的技術支持等等。”鑒釋聯合創始人兼首席執行官梁宇寧如是說。

此前，鑒釋已和國內人工智能芯片廠商地平線、無人駕駛廠商馭勢科技和智能家居廠商海信聚好聯等行業領軍企業達成深度合作，助力其軟件開發人員快速識別代碼缺陷和安全隱患，并提升軟件性能，從而賦能企業實現高效發展。