考慮指針別名的靜態(tài)分析技術(shù)研究.pdf

1、雖然當今編程語言層出不窮,但C語言作為主流語言仍然被廣泛地應用到各種系統(tǒng)的開發(fā)中。因為當今軟件開發(fā)的成本越來越高,如果稍有不慎,就可能造成很嚴重的軟件故障,從而造成相當嚴重的經(jīng)濟損失。應這方面的需求,軟件測試工具應運而生。作為軟件測試工具,靜態(tài)代碼分析工具不用執(zhí)行源代碼程序就可以檢測軟件中的錯誤或者是缺陷,再加上它對成本的要求比較低,所以被越來越多的公司所采用。
　　 盡管當前靜態(tài)代碼分析工具種類繁多,但是都存在著指針別名分析不

2、夠準確的問題,有的工具忽略指針別名分析,有的工具則采用其他形式來代替指針別名分析。由于指針別名分析的好壞將直接影響到靜態(tài)分析工具代碼分析的準確率,所以針對當前代碼分析工具存在的這些問題,設計和實現(xiàn)了指針別名分析算法,并將此算法應用到自行開發(fā)的工具Cchecker中。
　　 指針別名分析分為過程內(nèi)指針別名分析和過程間指針別名分析。過程內(nèi)采用對控制流圖進行數(shù)據(jù)流分析的方法,通過遍歷程序的控制流圖,記錄下函數(shù)、參數(shù)、變量的使用情況,并

3、且根據(jù)C語言的獨特性設計了C語言別名的規(guī)則集和關(guān)于C語言的過程內(nèi)指針別名分析方法,并通過實例來驗證了方法的正確性。因為C語言存在著參數(shù)傳遞和全局變量,使得過程內(nèi)分析還不夠完善,需要引入過程間的指針別名分析,通過拓展調(diào)用圖生成程序的聯(lián)系圖,增強聯(lián)系圖的屬性,實現(xiàn)了C語言過程間的指針別名分析算法。
　　 本論文在參考Ctree的基礎上,使用面向?qū)ο蟮姆椒ㄗ孕性O計和實現(xiàn)了考慮指針別名的靜態(tài)代碼分析工具Cchecker,設計了靜態(tài)代碼分