技術(shù)編號：6522719
提示：您尚未登錄，請點(diǎn) 登 陸 后下載，如果您還沒有賬戶請點(diǎn) 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明提出一種并行程序共享數(shù)據(jù)類漏洞的檢測方法，包括以下步驟為軟件不變量中的各條指令的動態(tài)實(shí)例定義瞬時Fetter集，其中，軟件不變量是指程序中執(zhí)行順序預(yù)先固定的指令集合；獲取瞬時Fetter集的包含集和義務(wù)集；將包含集和義務(wù)集進(jìn)行剪枝以獲取剪枝后的結(jié)果，并將剪枝后的結(jié)果存儲在不變量數(shù)據(jù)庫中；利用檢測組件檢測各個瞬時Fetter集是否出現(xiàn)不滿足對應(yīng)的包含集和義務(wù)集的第一瞬時Fetter集，如果是，則判斷第一瞬時Fetter集包含漏洞，檢測組件生成違例報(bào)告；...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。