基于GCC抽象語法樹文本的C源程序語義分析方法研究.pdf

1、本文致力于完成C語言源程序的系統(tǒng)依賴圖的構(gòu)造，系統(tǒng)依賴圖是靜態(tài)分析工具的基礎(chǔ)，在逆向工程中具有重要意義。系統(tǒng)依賴圖的構(gòu)造可以歸結(jié)為控制流分析和數(shù)據(jù)流分析，控制流分析主要是求取語句間的控制依賴關(guān)系，可以歸結(jié)為父親-孩子關(guān)系的求解。數(shù)據(jù)流分析主要是求取語句間的數(shù)據(jù)依賴關(guān)系，可以歸結(jié)為到達(dá)-定值信息的求解。
　　本文提出了一種基于GCC抽象語法樹文本的構(gòu)造系統(tǒng)依賴圖的新方法，首先，對GCC抽象語法樹進行了深入的研究，統(tǒng)計出GCC抽象語法

2、樹中各個符號的含義，為后續(xù)研究奠定了基礎(chǔ)。其次，對GCC抽象語法樹文本進行了標(biāo)準(zhǔn)化及消除文本中與控制流分析和數(shù)據(jù)流分析無關(guān)的冗余信息。再次，用面向?qū)ο蟮乃枷雭磉M行靜態(tài)信息提取。最后，在構(gòu)造系統(tǒng)依賴圖時，本文沒有采用傳統(tǒng)構(gòu)造系統(tǒng)依賴圖的流程，而是首先建立了控制依賴圖，其次在控制依賴圖的基礎(chǔ)上構(gòu)建控制流圖，再次在控制流圖的基礎(chǔ)上構(gòu)建數(shù)據(jù)流圖。同時本文給出了各個步驟的具體算法描述，其中包含了自己的算法及對以往算法的改進。為了提高數(shù)據(jù)流的精度，