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

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

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

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