基于源碼的疑問(wèn)代碼和不良編程習(xí)慣檢測(cè).pdf

1、本文介紹了作者在疑問(wèn)代碼和不良習(xí)慣檢測(cè)方面所做的工作，包括疑問(wèn)代碼模式收集、分析和檢測(cè)，并對(duì)疑問(wèn)代碼中一類(lèi)重要模式--重復(fù)代碼模式提出和實(shí)現(xiàn)了一種參數(shù)化非連續(xù)重復(fù)代碼檢測(cè)方法。 疑問(wèn)代碼指那些令代碼走查人員產(chǎn)生疑問(wèn)、其運(yùn)行時(shí)表現(xiàn)不同于預(yù)期、違反了良好的編程實(shí)踐規(guī)則的代碼。我們采用基于源碼的靜態(tài)分析技術(shù)構(gòu)建了面向缺陷的靜態(tài)分析工具DTS，通過(guò)構(gòu)造源碼的抽象語(yǔ)法樹(shù)、控制流圖以及編譯時(shí)上下文等數(shù)據(jù)，跟蹤發(fā)現(xiàn)各種缺陷模式所表現(xiàn)的特征。在

2、實(shí)踐中作者收集了涵蓋C/C++和Java語(yǔ)言的多種疑問(wèn)代碼模式，對(duì)其產(chǎn)生原因和表現(xiàn)特征進(jìn)行深入分析，并結(jié)合缺陷檢測(cè)系統(tǒng)DTS實(shí)現(xiàn)對(duì)這些模式的檢測(cè)，在實(shí)現(xiàn)過(guò)程中引入了別名分析、定義使用系列鏈分析等技術(shù)。重復(fù)代碼的出現(xiàn)往往意味著設(shè)計(jì)不合理并令人產(chǎn)生疑問(wèn)，作者對(duì)重復(fù)代碼檢測(cè)技術(shù)進(jìn)行了深入研究，設(shè)計(jì)和實(shí)現(xiàn)了一種基于抽象語(yǔ)法樹(shù)和上下文信息的檢測(cè)方法。在該方法中，作者設(shè)計(jì)了一套哈希計(jì)算規(guī)則將基于樹(shù)結(jié)構(gòu)的比較化簡(jiǎn)為簡(jiǎn)單數(shù)值比較，降低了算法復(fù)雜度并能夠