2021年7月27日，中國(guó)深圳——近日，靜態(tài)代碼工具開(kāi)發(fā)商鑒釋科技（下文簡(jiǎn)稱(chēng)：鑒釋?zhuān)┬计浼尤?a target="_blank">RISC-V基金會(huì)、Linux基金會(huì)、seL4基金會(huì)，以及ioXt聯(lián)盟四大國(guó)際非盈利組織。此次加入芯片、開(kāi)源操作系統(tǒng)、操作系統(tǒng)微內(nèi)核與物聯(lián)網(wǎng)四大熱門(mén)領(lǐng)域內(nèi)的知名國(guó)際組織，標(biāo)志著鑒釋將把國(guó)際認(rèn)可的高質(zhì)量代碼檢測(cè)工具與行業(yè)洞察傳遞給國(guó)內(nèi)客戶(hù)，通過(guò)綜合多行業(yè)視角與經(jīng)驗(yàn)，賦能企業(yè)高效提升代碼質(zhì)量。

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

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

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

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