今日頭條
官方微信
官方抖音
資訊頻道“這款軟件為重大關(guān)鍵項目檢測出了國外工具沒(méi)檢測出來(lái)的嚴重缺陷，有力地保證了系統安全可靠?！鼻安痪?，某軍工研究所使用庫博（CoBOT）靜態(tài)代碼分析工具檢測后，研究所領(lǐng)導由衷地贊嘆。
庫博（CoBOT）是什么？據悉，這是一款軟件缺陷漏洞自動(dòng)檢測工具，由北京北大軟件工程公司研發(fā)。如今，庫博系列產(chǎn)品已經(jīng)在船舶、航空、航天等數十家軍工企業(yè)獲得應用推廣。
科技不斷進(jìn)步，軟件承擔工作越來(lái)越多，規模越來(lái)越大，尤其是國防、軍工、金融領(lǐng)域面臨軟件安全挑戰日益復雜。一旦出現缺陷，則導致不可估量的災難。
這是一些令人至今想來(lái)都感到后怕的例子：1997年9月，一家外國艦船由于軟件非法計算導致推進(jìn)系統運轉失??；2016年7月，國外一家航空公司調度系統由于軟件緩沖區溢出導致系統崩潰，直接影響了7000次航班飛行。大家記憶猶新的是，2017年5月，由于Windows系統的底層漏洞，導致100多個(gè)國家和地區超過(guò)10萬(wàn)臺電腦遭到勒索病毒攻擊、感染……由此可見(jiàn)，大規模的程序自動(dòng)檢測成為軟件質(zhì)量進(jìn)一步提高的瓶頸，也成為業(yè)界和研究領(lǐng)域面臨的一大難題。
北京北大軟件工程公司依托北京大學(xué)自主研發(fā)技術(shù)，利用產(chǎn)學(xué)研優(yōu)勢，研發(fā)出“庫博（CoBOT）軟件缺陷漏洞自動(dòng)檢測工具”。
“這一系列工具采用傳統分析及人工智能技術(shù)，輸入用戶(hù)源代碼，就能自動(dòng)分析出程序中的潛在質(zhì)量問(wèn)題和安全漏洞，可顯著(zhù)提高產(chǎn)品質(zhì)量，降低研發(fā)成本?！睋嚓P(guān)負責人介紹，庫博是中國首家通過(guò)CWE認證的軟件分析工具，填補了國內軟件缺陷漏洞檢測工具難以發(fā)現運行時(shí)缺陷的空白，打破了國外在這一領(lǐng)域的市場(chǎng)壟斷。
去年參加中關(guān)村首屆科技軍民融合專(zhuān)題賽，讓北大軟件工程大展風(fēng)采，同時(shí)也找到了一個(gè)展示自身實(shí)力、尋求更多軍方機構認可的新平臺。
目前，軍工企業(yè)研發(fā)或測評中心使用國外同類(lèi)代碼缺陷測試工具只能支持一兩種，無(wú)法全類(lèi)型支持所有檢測項目，而庫博可支持上百種缺陷及安全漏洞檢測。尤其值得關(guān)注的是，庫博已經(jīng)為中電科、互聯(lián)網(wǎng)、高鐵等多種行業(yè)領(lǐng)域定制了檢測缺陷和檢測標準，使代碼測試更加符合軍地各方需求。
摘自《解放軍報》
北京市公安局海淀分局備案號：11010802023656號