“這款軟件為重大關(guān)鍵項(xiàng)目檢測(cè)出了國(guó)外工具沒(méi)檢測(cè)出來(lái)的嚴(yán)重缺陷，有力地保證了系統(tǒng)安全可靠。”前不久，某軍工研究所使用庫(kù)博（CoBOT）靜態(tài)代碼分析工具檢測(cè)后，研究所領(lǐng)導(dǎo)由衷地贊嘆。

庫(kù)博（CoBOT）是什么？據(jù)悉，這是一款軟件缺陷漏洞自動(dòng)檢測(cè)工具，由北京北大軟件工程公司研發(fā)。如今，庫(kù)博系列產(chǎn)品已經(jīng)在船舶、航空、航天等數(shù)十家軍工企業(yè)獲得應(yīng)用推廣。

科技不斷進(jìn)步，軟件承擔(dān)工作越來(lái)越多，規(guī)模越來(lái)越大，尤其是國(guó)防、軍工、金融領(lǐng)域面臨軟件安全挑戰(zhàn)日益復(fù)雜。一旦出現(xiàn)缺陷，則導(dǎo)致不可估量的災(zāi)難。

這是一些令人至今想來(lái)都感到后怕的例子：1997年9月，一家外國(guó)艦船由于軟件非法計(jì)算導(dǎo)致推進(jìn)系統(tǒng)運(yùn)轉(zhuǎn)失敗；2016年7月，國(guó)外一家航空公司調(diào)度系統(tǒng)由于軟件緩沖區(qū)溢出導(dǎo)致系統(tǒng)崩潰，直接影響了7000次航班飛行。大家記憶猶新的是，2017年5月，由于Windows系統(tǒng)的底層漏洞，導(dǎo)致100多個(gè)國(guó)家和地區(qū)超過(guò)10萬(wàn)臺(tái)電腦遭到勒索病毒攻擊、感染……由此可見(jiàn)，大規(guī)模的程序自動(dòng)檢測(cè)成為軟件質(zhì)量進(jìn)一步提高的瓶頸，也成為業(yè)界和研究領(lǐng)域面臨的一大難題。

北京北大軟件工程公司依托北京大學(xué)自主研發(fā)技術(shù)，利用產(chǎn)學(xué)研優(yōu)勢(shì)，研發(fā)出“庫(kù)博（CoBOT）軟件缺陷漏洞自動(dòng)檢測(cè)工具”。

“這一系列工具采用傳統(tǒng)分析及人工智能技術(shù)，輸入用戶(hù)源代碼，就能自動(dòng)分析出程序中的潛在質(zhì)量問(wèn)題和安全漏洞，可顯著提高產(chǎn)品質(zhì)量，降低研發(fā)成本?！睋?jù)相關(guān)負(fù)責(zé)人介紹，庫(kù)博是中國(guó)首家通過(guò)CWE認(rèn)證的軟件分析工具，填補(bǔ)了國(guó)內(nèi)軟件缺陷漏洞檢測(cè)工具難以發(fā)現(xiàn)運(yùn)行時(shí)缺陷的空白，打破了國(guó)外在這一領(lǐng)域的市場(chǎng)壟斷。

去年參加中關(guān)村首屆科技軍民融合專(zhuān)題賽，讓北大軟件工程大展風(fēng)采，同時(shí)也找到了一個(gè)展示自身實(shí)力、尋求更多軍方機(jī)構(gòu)認(rèn)可的新平臺(tái)。

目前，軍工企業(yè)研發(fā)或測(cè)評(píng)中心使用國(guó)外同類(lèi)代碼缺陷測(cè)試工具只能支持一兩種，無(wú)法全類(lèi)型支持所有檢測(cè)項(xiàng)目，而庫(kù)博可支持上百種缺陷及安全漏洞檢測(cè)。尤其值得關(guān)注的是，庫(kù)博已經(jīng)為中電科、互聯(lián)網(wǎng)、高鐵等多種行業(yè)領(lǐng)域定制了檢測(cè)缺陷和檢測(cè)標(biāo)準(zhǔn)，使代碼測(cè)試更加符合軍地各方需求。