需求驅(qū)動指向分析技術(shù)一般用于受到嚴(yán)格時間或內(nèi)存限制的環(huán)境。提高需求驅(qū)動指向分析的流敏感度，可使一些變量得到準(zhǔn)確的指向關(guān)系，但實踐中存在具有較強(qiáng)流與數(shù)據(jù)依賴的大型軟件系統(tǒng)，較難識別出對目標(biāo)變量的指向關(guān)系產(chǎn)生貢獻(xiàn)的程序語句。為此，提出一種流敏感的程序表示方法，通過定義一種上下文無關(guān)語言可達(dá)性的概念，搜索目標(biāo)變量的流敏感指向關(guān)系。開發(fā)一種Ｓｅｅｋｅｒ工具，能夠為用戶感興趣的變量計算指向集合。實驗結(jié)果表明，需求驅(qū)動的指向分析算法提高了流敏感上下文非敏感指向分析的效率。

　　指向分析是一種廣泛應(yīng)用于編譯器優(yōu)化、軟件的測試和驗證、安全性分析的靜態(tài)分析技術(shù)。指向分析的目標(biāo)是計算變量的引用與分配的對象之間的指向關(guān)系。它的實現(xiàn)采用經(jīng)典的數(shù)據(jù)流迭代分析框架，利用不動點(diǎn)算法，在程序的控制流圖（ＣｏｎｔｒｏｌＦｌｏｗＧｒａｐｈ，ＣＦＧ）上，根據(jù)每個ＣＦＧ結(jié)點(diǎn)上定義的轉(zhuǎn)移函數(shù)，迭代地傳播變量的指向關(guān)系，直到所有變量的指向集合都不再發(fā)生變化，即到達(dá)一個不動點(diǎn)。轉(zhuǎn)移函數(shù)定義了在每個ＣＦＧ結(jié)點(diǎn)前后變量指向集合之間的關(guān)系。雖然流敏感分析是提高指向分析精度的主要手段，全程序的流敏感指向分析是一項資源密集、計算密集的分析工作，無法適應(yīng)具有嚴(yán)格的時間或內(nèi)存限制的環(huán)境，如即時編譯器和交互式開發(fā)環(huán)境等。
?