需求驅(qū)動的流敏感指向分析.pdf

1、指向分析是一種推測運(yùn)行時(shí)變量引用的靜態(tài)分析技術(shù)。需求驅(qū)動指向分析技術(shù)的提出一般用于一些時(shí)間或內(nèi)存上受到嚴(yán)格限制的環(huán)境，比如即時(shí)編譯器和交互式的開發(fā)環(huán)境。需求驅(qū)動指向分析中的一項(xiàng)具有挑戰(zhàn)的工作是如何提高流敏感度，從而幫助得到感興趣的變量的準(zhǔn)確指向關(guān)系。這項(xiàng)工作存在挑戰(zhàn)的原因是大型軟件系統(tǒng)里存在較強(qiáng)的流與數(shù)據(jù)的依賴，導(dǎo)致在靜態(tài)分析時(shí)很難識別出所有對目標(biāo)變量的指向關(guān)系產(chǎn)生貢獻(xiàn)的程序語句。
　　本文提出一種需求驅(qū)動的流敏感指向分析 See

2、ker，它能夠?yàn)橛脩舾信d趣的目標(biāo)變量計(jì)算指向關(guān)系。Seeker首次采用一種流敏感的程序表示方法。它在控制流上的每個(gè)程序點(diǎn)存儲了每個(gè)變量的指向集合，并且在指向集合之間建立約束。然后，Seeker根據(jù)一種上下文無關(guān)語言可達(dá)性的定義，實(shí)現(xiàn)了需求驅(qū)動指向分析算法。它通過遍歷已定義的上下文無關(guān)語言接受的指向路徑，快速確定目標(biāo)變量的滿足約束的指向關(guān)系。
　　S eeker支持需求驅(qū)動的流敏感、上下文敏感指向分析。這項(xiàng)分析需要在遍歷指向路徑的過

3、程中維護(hù)一個(gè)調(diào)用棧。該調(diào)用棧被用于推測在遍歷過程中的當(dāng)前變量的上下文。上下文的合法性檢查可以去除一些不可行的指向路徑。為了支持域敏感指向分析，Seeker定義了五種別名檢查條件用于匹配對象實(shí)例域的讀取和寫入。別名檢查依賴于不同精度的指向分析。
　　Seeker組合了上述兩種指向分析和五個(gè)別名檢查條件，從而達(dá)到不同的指向分析精度和效率。本文通過兩個(gè)實(shí)驗(yàn)評估了五種指向分析。實(shí)驗(yàn)結(jié)果顯示，Seeker提高了需求驅(qū)動指向分析的精度和流敏感