面向危險(xiǎn)操作的動(dòng)態(tài)符號(hào)執(zhí)行方法

　　針對(duì)缺陷檢測(cè)的需求，提出了面向危險(xiǎn)操作的動(dòng)態(tài)符號(hào)執(zhí)行方法．依據(jù)所關(guān)注的缺陷類型，定義危險(xiǎn)操作及危險(xiǎn)操作相關(guān)路徑，通過(guò)計(jì)算覆蓋不同上下文中危險(xiǎn)操作的能力，協(xié)助動(dòng)態(tài)符號(hào)執(zhí)行選擇高效初始輸入，并利用危險(xiǎn)操作相關(guān)信息引導(dǎo)測(cè)試流程．缺陷檢測(cè)成為定位待測(cè)程序內(nèi)危險(xiǎn)操作以及對(duì)危險(xiǎn)操作相關(guān)路徑進(jìn)行檢測(cè)的過(guò)程．實(shí)現(xiàn)了面向Linux平臺(tái)二進(jìn)制可執(zhí)行程序的原型系統(tǒng)CrashFinder，買驗(yàn)結(jié)果表明，該方法能夠更快地發(fā)現(xiàn)更多缺陷．