站LOGO（適配3）.png?5aSn6LWb572R56uZTE9HT++8iOmAgumFjTPvvIkucG5n*/UploadFiles/2025-10-11/utgldj4qe3u4f6ty.png?5aSn6LWb572R56uZTE9HT++8iOWbveenkTHvvIkucG5n*/UploadFiles/2023-10-24/大賽網(wǎng)站LOGO（適配1）.png?5aSn6LWb572R56uZTE9HT++8iOmAgumFjTHvvIkucG5n*/UploadFiles/2023-10-24/大賽網(wǎng)站LOGO（三版）.png?5aSn6LWb572R56uZTE9HT++8iOS4ieeJiO+8iS5wbmc=)
【第一參賽人/留學人員】趙魯
【留學國家】美國
【技術(shù)領(lǐng)域】新一代信息技術(shù)
【參賽屆次】第8屆
【所獲獎項】入圍
【項目簡介】
數(shù)字時代的軟件開發(fā)面臨著兩大痛點：一是軟件安全得不到保證，發(fā)布的程序中有很多安全漏洞，黑客可以利用這些漏洞入侵系統(tǒng)或者盜取數(shù)據(jù)。二是確保程序所使用的開源軟件沒有已知的安全漏洞，并且高效地管理許可合規(guī)。我們的項目通過提供靜態(tài)程序安全分析產(chǎn)品，給研發(fā)軟件的企業(yè)解決上述困難，帶給企業(yè)多項益處：（1）幫助企業(yè)的開發(fā)者和安全審計者自動分析、發(fā)現(xiàn)軟件中的安全漏洞，使開發(fā)者能夠及時修復(fù)它們，保障軟件安全性。（2）幫助企業(yè)發(fā)現(xiàn)軟件設(shè)計缺陷、提高安全設(shè)計能力，從軟件的設(shè)計和編碼根源上發(fā)現(xiàn)和避免漏洞的產(chǎn)生。（3）幫助企業(yè)跟蹤、修復(fù)所使用的開源軟件里面的安全漏洞。（4）幫助企業(yè)管理開源軟件供應(yīng)鏈，完成包括滿足商業(yè)許可在內(nèi)的各種合規(guī)要求。我們團隊技術(shù)核心是留美博士，并在硅谷世界頂級公司工作多年，具有深厚技術(shù)背景的業(yè)界頂尖人才。產(chǎn)品采用當代最新程序安全分析技術(shù)，并結(jié)合前沿形式化驗證技術(shù)、機器學習技術(shù)和代碼大數(shù)據(jù)處理技術(shù)來抽象計算程序的數(shù)據(jù)流、控制流和安全特征，發(fā)現(xiàn)代碼里面的安全漏洞。目前產(chǎn)品已經(jīng)通過華為內(nèi)部測試，并供產(chǎn)品線使用。初步結(jié)果表明，我們的產(chǎn)品在發(fā)現(xiàn)JavaScript等動態(tài)編程語言程序的安全漏洞的廣度和深度上已經(jīng)領(lǐng)先現(xiàn)有業(yè)界頭部廠商的產(chǎn)品。
【展開】
【收起】