基于控制流分析和數(shù)據(jù)流分析的Java程序靜態(tài)檢測方法的研究.pdf

1、互聯(lián)網(wǎng)產業(yè)的飛速發(fā)展，給人們的生活帶來了非常多的便利，人們對計算機的需求日益增長，同時也刺激著軟件行業(yè)的不斷進步。軟件需求量的增多，需求方式的多樣性，促使軟件開發(fā)者以新的開發(fā)方向和角度滿足著用戶的需求。Java語言作為代表性的程序設計語言，以通用性、高效性、跨平臺型以及安全性的獨特優(yōu)勢，占據(jù)著程序開發(fā)語言的主要市場份額。隨著軟件開發(fā)規(guī)模的增大，代碼復雜度的提高，對軟件安全性的檢測的難度也隨著增大，因此，基于Java源碼的靜態(tài)檢測方法有著

2、重要的研究意義。
　　程序的靜態(tài)檢測方法，是基于程序的執(zhí)行邏輯，依照程序的執(zhí)行過程對程序的執(zhí)行結果進行分析，在分析的過程中能夠準確的定位程序漏洞節(jié)點位置，為后期的修改工作提供有效的支持?，F(xiàn)有的基于Java源碼的靜態(tài)檢測技術在分析效率和結果準確率這兩個程序分析的重要指標上都有著亟待提高的空間，本文基于控制流分析和數(shù)據(jù)流分析方法的研究，提出的一種新的檢測系統(tǒng)在這兩個方面較以往的檢測方法都有著較為明顯的提升。
　　本文的主要研究工

3、作為：第一、基于控制流分析框架對Java源碼進行控制流分析生成過程間控制流圖，第二、結合IFDS問題的理論研究，將Java程序分析問題抽象為具體IFDS問題，第三、根據(jù)IFDS問題，定義IFDS問題求解器的接口類和接口類中的功能函數(shù)，其中最重要的功能函數(shù)為數(shù)據(jù)流函數(shù)；數(shù)據(jù)流函數(shù)定義了不同類型的數(shù)據(jù)流，并根據(jù)程序執(zhí)行的邏輯，判斷當前語句的類型，根據(jù)當前語句的類型，選擇相對應類型的數(shù)據(jù)流函數(shù)，對程序進行數(shù)據(jù)流分析，得出分析結果。