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

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

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

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