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

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