C程序文件間依賴性分析.pdf

1、程序依賴性分析是一種重要的程序分析與理解的方法,廣泛應(yīng)用于軟件工程及軟件逆向工程的各個(gè)方面。由于C語言使用比較靈活,程序設(shè)計(jì)自由度大,因此人們很難從C程序中分析清楚系統(tǒng)各個(gè)功能模塊。目前國內(nèi)外提出了多種切片方法來對(duì)程序進(jìn)行分析理解,但這些切片方法大都是基于語句級(jí)的代碼分析,不利于分析程序的人對(duì)整個(gè)系統(tǒng)的了解。雖然通過分析文檔能更概要地了解系統(tǒng)結(jié)構(gòu),但不利于分析員對(duì)程序細(xì)節(jié)的把握。因此我們需要一種分析方法,可以彌合文檔和代碼之間的語義間隙

2、,文件依賴性分析便是這么一種處于中間層次的代碼分析技術(shù)。
　　 本文研究的目的是通過基于依賴性分析的靜態(tài)切片方法來對(duì)文件間依賴性進(jìn)行分析,提供給用戶清晰的文件間依賴性關(guān)系,使用戶對(duì)一個(gè)項(xiàng)目中的多個(gè)程序?qū)嶓w之間的使用關(guān)系有所了解,便于用戶對(duì)程序進(jìn)行修改和維護(hù)。文件間依賴性分析涉及多個(gè)方面,包括語句級(jí)的依賴性分析以及在此基礎(chǔ)之上的函數(shù)間的依賴性分析,文件間的依賴性分析是對(duì)這些底層依賴性分析的一種更高層次的抽象。本文首先討論了依賴性分