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

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

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

“此次與這四家國際組織建立合作關(guān)系正是基于為開發(fā)者提供行業(yè)領先的質(zhì)量和漏洞檢測工具這一核心戰(zhàn)略而落實的。比如，鑒釋可為基于RISC-V的開發(fā)團隊提供更高質(zhì)量、更安全的代碼；為身處物聯(lián)網(wǎng)領域的開發(fā)團隊提供國際標準合規(guī)相關(guān)的技術(shù)支持等等?！辫b釋聯(lián)合創(chuàng)始人兼首席執(zhí)行官梁宇寧如是說。

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