基于包含的上下文敏感指針分析技術研究.pdf

1、指針分析，是指通過對源程序的分析近似地求出源程序中指針表達式所指向的目標，它在程序靜態(tài)分析領域中有著非常重要的作用，并非常具有挑戰(zhàn)性，它的分析結果也被廣泛應用于程序的優(yōu)化、安全分析和驗證等方面，其中精確的指針分析結果及盡可能優(yōu)秀的時間分析效率在安全分析方面起著非常重要的作用。因此研究出一個高精度且盡可能高時間分析效率的指針分析算法具有非常重要的意義。
　　 基于包含的指針分析方法是一類重要的上下文無關的指針分析方法，其擁有很好的

2、時間分析效率。而基于包含的橫向傳播和縱向傳播方法是當前最優(yōu)秀的基于包含的指針分析在線優(yōu)化技術，其從時間和空間方面大大優(yōu)化了基于包含的指針分析方法，使得其時間和空間效率較以前的算法有了很大的提高，然而其仍然是上下文無關的指針分析方法，既雖然其時間分析效率優(yōu)越但其指針分析結果仍然不夠精確。而基于調用圖的上下文敏感指針分析及其上的環(huán)消除技術是當前最優(yōu)秀的上下文敏感的指針分析技術，其擁有優(yōu)越于同類指針分析技術的時間分析效率同時又有非常高的分析精

3、度，但是相比基于包含的橫向傳播和縱向傳播方法其時間分析效率仍然不夠樂觀。
　　 因此，本文首先針對縱向傳播方法的不足之處進行了改進，然后，結合基于包含的橫向傳播和縱向傳播方法優(yōu)秀的時間分析效率及基于調用圖的上下文敏感指針分析及其上的環(huán)消除技術高精度的優(yōu)點提出了兩個新的上下文敏感的橫向傳播和縱向傳播算法，既通過使用橫向傳播和縱向傳播方法在線優(yōu)化技術來優(yōu)化上下文敏感指針分析及其上的環(huán)消除技術。本文通過實例分析及使用CIL工具在相應的