內(nèi)存泄漏是C/C++程序的一種常見的、難以發(fā)現(xiàn)的缺陷，一直困擾著軟件開發(fā)者，尤其是針對(duì)長(zhǎng)時(shí)間運(yùn)行的程序或者系統(tǒng)軟件，內(nèi)存泄漏的后果十分嚴(yán)重．針對(duì)內(nèi)存泄漏的檢測(cè)，目前主要有靜態(tài)分析和動(dòng)態(tài)測(cè)試兩種方法．動(dòng)態(tài)測(cè)試實(shí)際運(yùn)行程序具有較大開銷，同時(shí)依賴測(cè)試用例的質(zhì)量；靜態(tài)分析技術(shù)及自動(dòng)化工具已被學(xué)術(shù)界和工業(yè)界廣泛運(yùn)用于內(nèi)存泄漏缺陷檢測(cè)中，然而由于靜態(tài)分析采取了保守的策略，其結(jié)果往往包含數(shù)量巨大的誤報(bào)，需要通過進(jìn)一步的人工確認(rèn)來甄別誤報(bào)．但人工確認(rèn)靜態(tài)分析的結(jié)果耗時(shí)且容易出錯(cuò)，嚴(yán)重限制了靜態(tài)分析技術(shù)的實(shí)用性．提出一種基于混合執(zhí)行測(cè)試的靜態(tài)內(nèi)存泄漏警報(bào)的自動(dòng)化確認(rèn)方法：首先，針對(duì)靜態(tài)分析報(bào)告的目標(biāo)程序中內(nèi)存泄漏的靜態(tài)警報(bào)，對(duì)目標(biāo)程序進(jìn)行控制流分析，并計(jì)算警報(bào)的可達(dá)性，形成制導(dǎo)信息；其次，基于警報(bào)制導(dǎo)信息對(duì)目標(biāo)程序進(jìn)行混合執(zhí)行測(cè)試；最后，在混合執(zhí)行測(cè)試過程中，監(jiān)控追蹤內(nèi)存對(duì)象的狀態(tài)，判定內(nèi)存泄漏是否發(fā)生，對(duì)靜態(tài)警報(bào)進(jìn)行動(dòng)態(tài)確認(rèn)并分類．實(shí)驗(yàn)結(jié)果表明：該方法可對(duì)靜態(tài)內(nèi)存泄漏警報(bào)進(jìn)行有效的分類，顯著降低了人工確認(rèn)的工作量。