基于LLVM-Clang的日志代碼靜態(tài)分析工具的設(shè)計與實現(xiàn).pdf

1、軟件產(chǎn)品在發(fā)生故障時，故障的準確定位和缺陷修復(fù)工作很大程度上依賴于軟件產(chǎn)品中的日志。日志系統(tǒng)是軟件產(chǎn)品中不可缺少的一部分，日志的質(zhì)量也是開發(fā)人員和維護人員快速進行故障排查的關(guān)鍵。但是當(dāng)開發(fā)人員根據(jù)日志信息返回到代碼中進行調(diào)試時，復(fù)雜的回溯關(guān)系，層層嵌套的調(diào)用關(guān)系，以及日志中不夠直觀的變量值記錄，都會給他們帶來很多的麻煩，降低了效率和準確率。
　　針對日志文件中日志內(nèi)容的合理性和故障點位置的執(zhí)行路徑等信息，設(shè)計了一種基于LLVM-C

2、lang的靜態(tài)分析的分析工具，通過靜態(tài)分析的方法，使用控制流分析得到源程序的控制流圖（CFG），利用對有向圖的遍歷找尋 CFG中的關(guān)節(jié)點，由此得出從CFG中某節(jié)點（函數(shù)入口）到另一節(jié)點（故障點）的執(zhí)行路徑信息。同時使用數(shù)據(jù)流方程計算CFG中關(guān)鍵節(jié)點上的活躍變量，結(jié)合執(zhí)行路徑信息中的必然執(zhí)行和可能執(zhí)行路徑，找出對引起程序到達故障點有影響的活躍變量，并將變量值作為補充信息增加到日志記錄中。
　　通過對源代碼中故障日志點的分析，設(shè)計了計