成果名稱：Point動態(tài)軟件漏洞檢測與回溯系統(tǒng)

　　成果簡介：

　　“Pointer”團隊開發(fā)了自動化程度較高的“Point”自動化軟件漏洞檢測系統(tǒng)。以黑盒測試為主，主要檢測方式首先是基于AC自動機的API序列樹構(gòu)建與基于顯露模式的漏洞特征庫匹配，其次是對可疑API參數(shù)HOOK檢測，旨在準確檢測出已知漏洞。同時，引入的模糊測試理念與智能離散化模擬數(shù)據(jù)大大提高了軟件檢測的自動化程度，能夠脫離特征庫檢測出更多未知問題，并且系統(tǒng)中也加入了漏洞回溯模塊，重現(xiàn)漏洞發(fā)生過程。本項目由學(xué)生自主開發(fā)并且參加2010年全國第三屆大學(xué)生信息安全大賽獲得全國二等獎。技術(shù)創(chuàng)新：引入模糊測試理念，提高了軟件漏洞檢出率;利用序列匹配并創(chuàng)建有漏洞序列特征庫，尋找函數(shù)序列與漏洞關(guān)系;底層與表現(xiàn)分析結(jié)合，全面排查程序內(nèi)部漏洞;多角度完整反映軟件漏洞問題。

　　合作方式：面議

　　聯(lián)系人：陳柏強 張昊 盛瓊 劉增猛

　　電話：010-68912328/68948531 手機：138-1063-9853(陳柏強)

　　傳真：010-68412886

　　地址：北京市海淀區(qū)中關(guān)村南大街5號，北京理工大學(xué)逸夫樓302室