基于敏感語義關(guān)聯(lián)的代碼切片及應(yīng)用研究

打開文本圖片集

摘  要：利用程序的可伸縮性對程序進行代碼切片，識別出受敏感變量影響的關(guān)鍵語句，消除噪音并挖掘程序內(nèi)部依賴，用以檢測代碼的漏洞與缺陷。針對切片對依賴過于敏感的問題，提出一種基于敏感語義關(guān)聯(lián)的代碼過程間切片方法，提取表征敏感信息的有效語句，捕獲語義依賴關(guān)聯(lián)，將代碼漏洞觸發(fā)點轉(zhuǎn)化為上下文敏感的缺陷依賴流，并基于約束規(guī)則提升切片效率，結(jié)合缺陷約束獲取代碼漏洞的異常來源。（剩余7762字）