基于靜態(tài)分析的C程序控制流圖構(gòu)造方法研究.pdf

1、控制流分析作為軟件分析的重要內(nèi)容，在軟件工程領(lǐng)域受到了越來(lái)越廣泛的關(guān)注。控制流分析的主要目的是構(gòu)造程序的控制流圖。利用控制流分析技術(shù)對(duì)源程序進(jìn)行控制流分析，并生成其所對(duì)應(yīng)的控制流圖，是目前軟件工程領(lǐng)域研究的熱點(diǎn)課題之一。控制流圖在程序的分析和理解領(lǐng)域有著廣泛的應(yīng)用。
　　本文以C程序源代碼作為研究對(duì)象，并利用靜態(tài)分析技術(shù)，來(lái)構(gòu)造程序的控制流圖。首先在C語(yǔ)言文法的基礎(chǔ)上，對(duì)C語(yǔ)言的各種語(yǔ)句結(jié)構(gòu)和用法進(jìn)行了深入的分析和研究，重點(diǎn)分析了

2、其各種語(yǔ)句結(jié)構(gòu)的控制流走向及其特點(diǎn)，然后據(jù)此設(shè)計(jì)了相應(yīng)的數(shù)據(jù)結(jié)構(gòu)和從源程序自動(dòng)生成其所對(duì)應(yīng)的程序控制流圖的算法;接下來(lái)根據(jù)程序控制流圖生成算法，利用語(yǔ)法制導(dǎo)翻譯技術(shù)，在分析器自動(dòng)生成工具ANTLR的基礎(chǔ)上，自動(dòng)的生成其所對(duì)應(yīng)的控制流分析器，然后利用生成的控制流分析器對(duì)給定的C源程序進(jìn)行分析便可得到其所對(duì)應(yīng)的控制流圖;此外為了把生成韻控制流圖以直觀(guān)的形式展現(xiàn)給用戶(hù)，我們還采用了相關(guān)的技術(shù)對(duì)其進(jìn)行可視化輸出研究，并在此基礎(chǔ)上最終實(shí)現(xiàn)了一個(gè)面