Clang上的C-C++過(guò)程間分析.pdf

1、程序靜態(tài)分析不編譯運(yùn)行程序，而是對(duì)程序源代碼進(jìn)行分析以發(fā)現(xiàn)其中的錯(cuò)誤。靜態(tài)分析的目標(biāo)不是證明程序完全正確，而是在程序運(yùn)行前盡可能多地發(fā)現(xiàn)其中隱含的錯(cuò)誤，提高程序的可靠性和健壯性。 現(xiàn)有的C/C++程序的過(guò)程內(nèi)分析已經(jīng)發(fā)展得較為完善，而大部分C/C++程序安全漏洞卻存在于過(guò)程之間的交互作用中，僅僅使用過(guò)程內(nèi)分析技術(shù)無(wú)法檢測(cè)這些漏洞，需要深入研究過(guò)程間靜態(tài)分析的理論和技術(shù)。 在傳統(tǒng)的過(guò)程間分析技術(shù)和經(jīng)典過(guò)程間漏洞發(fā)掘技術(shù)的基

2、礎(chǔ)上，針對(duì)函數(shù)調(diào)用拓?fù)湫蛄械纳珊秃瘮?shù)本地分析路徑的生成等問(wèn)題提出了符合Clang架構(gòu)的實(shí)現(xiàn)算法。對(duì)于函數(shù)調(diào)用序列，采用遞歸向下的分析方法，保證每個(gè)函數(shù)即使被多次調(diào)用，函數(shù)體本身也只需分析一遍；對(duì)于本地分析路徑，采用根據(jù)本地控制流圖生成實(shí)際分析路徑的方法，減少了路徑分析的時(shí)間。 基于LLVM編譯架構(gòu)以及Clang編譯器設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)過(guò)程間分析工具的原型SimpleIPA。SimpleIPA通過(guò)遞歸算法創(chuàng)建控制節(jié)點(diǎn)，然后對(duì)每個(gè)函