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

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

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

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