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

　　成果簡(jiǎn)介：

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

　　合作方式：面議

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

　　電話(huà)：010-68912328/68948531 手機(jī)：138-1063-9853(陳柏強(qiáng))

　　傳真：010-68412886

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