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

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

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