過程間數(shù)據(jù)流分析技術研究.pdf

1、數(shù)據(jù)流分析是一種程序靜態(tài)分析技術,它能從程序代碼中收集程序的語義信息,并通過代數(shù)的方法確定變量的定義和使用。通過數(shù)據(jù)流分析,可以不必實際運行程序就能夠發(fā)現(xiàn)程序運行行為方面的特性,這樣可以幫助人們理解程序。數(shù)據(jù)流分析被廣泛用于解決編譯優(yōu)化、程序驗證、理解、分片、調(diào)試、測試以及并行化等問題。程序靜態(tài)數(shù)據(jù)流分析是程序測試所采用的一種重要手段。借助于程序靜態(tài)分析工具,能更直接地暴露和定位程序中的錯誤。數(shù)據(jù)流分析作為一種非常重要的程序靜態(tài)分析技術

2、,能夠在保證軟件質(zhì)量與可靠性方面起到重要的作用,而過程調(diào)用使全程數(shù)據(jù)流分析變得非常復雜和困難。目前,過程間分析的模型和算法仍然在探討之中,還沒有針對過程間分析的一個簡明、統(tǒng)一、表現(xiàn)力強的過程間分析問題模型。論文旨在通過對過程間數(shù)據(jù)流分析技術的研究,探討全程數(shù)據(jù)流分析工具的設計思想和實現(xiàn)方法。
　　 本文首先介紹了一些數(shù)據(jù)流分析的基礎知識和一些基本的數(shù)據(jù)流分析方法；然后對已有的數(shù)據(jù)流分析方法及常見的處理過程調(diào)用的策略進行了分析比較

3、,得出了一種基本的過程間數(shù)據(jù)流分析框架,能跨過程提取信息,同時討論了參數(shù)在過程間的傳遞、上下文敏感的過程間指針分析等；最后詳細討論了數(shù)據(jù)流分析工具的設計思想和實現(xiàn)方法。我們利用詞法分析生成工具FLEX,語法分析器生成工具BYACC和后期處理分析器構(gòu)造出通用的C源代碼分析器。分析器對C源代碼進行詞法、語法分析和后期處理,抽象出程序的語義信息存入公共信息庫。公共信息庫由信息表組成,通過樹型結(jié)構(gòu)高效地組織了程序的語義信息,為不同的維護工具提供