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

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

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

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