成果完成年份：2010年7月

成果簡(jiǎn)介：“Pointer”團(tuán)隊(duì)開(kāi)發(fā)了自動(dòng)化程度較高的“Point”自動(dòng)化軟件漏洞檢測(cè)系統(tǒng)。以黑盒測(cè)試為主，主要檢測(cè)方式首先是基于A(yíng)C自動(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ó)