雙語法規(guī)則程序依賴性分析

0 引言

傳統(tǒng)的程序依賴性可分為數(shù)據(jù)流依賴和控制流依賴，兩者是程序分析的重要基礎(chǔ)。經(jīng)過數(shù)據(jù)流分析，可以使程序模塊內(nèi)部和模塊之間的數(shù)據(jù)流向更加清晰；有效地提高了程序分析和測試的時(shí)間，是分析所有程序依賴關(guān)系的基礎(chǔ)。對一個(gè)龐大的程序系統(tǒng)，生成的數(shù)據(jù)流是錯(cuò)綜復(fù)雜的靜態(tài)流圖，從這些復(fù)雜的數(shù)據(jù)流中提取有用的信息也是一個(gè)繁重的工作，所以就需要?jiǎng)討B(tài)地分析數(shù)據(jù)控制依賴關(guān)系，故依賴性分析是基于程序數(shù)據(jù)流的一種動態(tài)算法。