域敏感的Java程序副作用分析研究.pdf

1、副作用分析的目的是分析程序執(zhí)行時哪些變量被讀取或修改。副作用分析可以為編譯器優(yōu)化提供有效信息，提高過程內(nèi)分析精確度，為依賴分析、程序切片等提供幫助。
　　本文以Java中間代碼Jimple為目標(biāo)語言，設(shè)計(jì)實(shí)現(xiàn)基于摘要的流不敏感、上下文敏感、域敏感副作用分析算法，提高大規(guī)模WEB程序漏洞檢測的時空效率。整個算法分為Soot預(yù)處理、過程內(nèi)分析和過程間分析三個階段。
　　通過Soot將Java源程序或字節(jié)碼轉(zhuǎn)化一種三地址形式的中間

2、表示Jimple。這種三地址中間表示結(jié)構(gòu)清晰，為進(jìn)行流不敏感、域敏感、上下文敏感的副作用分析奠定了基礎(chǔ)。
　　過程內(nèi)分析使用指向圖獲取變量指向的所有對象集合，準(zhǔn)確分析了方法內(nèi)讀取和修改的變量集合信息。對于副作用分析的結(jié)果，采取摘要進(jìn)行記錄，采用Java序列化和反序列化的方法，將摘要對象保存到硬盤及從硬盤恢復(fù)摘要對象。
　　根據(jù)上下文信息和類的繼承關(guān)系，對方法虛調(diào)用進(jìn)行處理，確定其具體調(diào)用的方法。采用tarjan算法結(jié)合方法調(diào)