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

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

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