本文關(guān)鍵詞：Seeker:流敏感的需求驅(qū)動指向分析

  更多相關(guān)文章： 指向分析 需求驅(qū)動 流敏感 上下文無關(guān)語言 靜態(tài)分析

【摘要】：需求驅(qū)動指向分析技術(shù)一般用于受到嚴格時間或內(nèi)存限制的環(huán)境。提高需求驅(qū)動指向分析的流敏感度,可使一些變量得到準確的指向關(guān)系,但實踐中存在具有較強流與數(shù)據(jù)依賴的大型軟件系統(tǒng),較難識別出對目標變量的指向關(guān)系產(chǎn)生貢獻的程序語句。為此,提出一種流敏感的程序表示方法,通過定義一種上下文無關(guān)語言可達性的概念,搜索目標變量的流敏感指向關(guān)系。開發(fā)一種Seeker工具,能夠為用戶感興趣的變量計算指向集合。實驗結(jié)果表明,需求驅(qū)動的指向分析算法提高了流敏感上下文非敏感指向分析的效率。
【作者單位】： 上海交通大學(xué)軟件學(xué)院;上海交通大學(xué)電子信息與電氣工程學(xué)院;
【關(guān)鍵詞】： 指向分析 需求驅(qū)動 流敏感 上下文無關(guān)語言 靜態(tài)分析
【基金】：國家自然科學(xué)基金(61572312)
【分類號】：TP311.1
【正文快照】： 中文引用格式:肖可君,于海波,陳雨亭,等.Seeker:流敏感的需求驅(qū)動指向分析[J].計算機工程,2016,42(11):70-75.英文引用格式:Xiao Kejun,Yu Haibo,Chen Yuting,et al.Seeker:Flow-sensitive Demand-driven Points-to Analysis[J].Computer Engineering,2016,42(11):70-75.0概述

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 喬建忠;;需求驅(qū)動的主題爬行技術(shù)研究[J];圖書情報工作;2011年13期

2 屈永志,駱建彬,宋志剛,鄧憲;應(yīng)用需求驅(qū)動的多層作業(yè)成本模型設(shè)計制造業(yè)成本管理系統(tǒng)[J];機械設(shè)計與制造工程;2002年01期

3 馬小河;;需求管理驅(qū)動Telelogic[J];軟件世界;2006年16期

4 劉開陽;;軟件項目為什么會失敗?——淺談需求驅(qū)動的項目管理[J];程序員;2007年09期

5 毋建軍;付忠勇;鄭寶昆;;基于崗位需求驅(qū)動的Java實訓(xùn)課程體系構(gòu)建研究[J];計算機教育;2010年22期

6 夏一民;曹宏嘉;羅軍;張民選;;一種需求驅(qū)動的緩沖區(qū)溢出檢測算法[J];計算機工程與科學(xué);2007年01期

7 田智;;基于崗位需求驅(qū)動的Java課程體系構(gòu)建[J];內(nèi)蒙古教育(職教版);2012年06期

8 唐鈺;;讓軍刀更鋒利 市場需求驅(qū)動UTM革新[J];通信世界;2006年43期

9 章潔;周西柳;;一種需求驅(qū)動的可信指針分析技術(shù)[J];計算機應(yīng)用與軟件;2013年01期

10 ;[J];;年期

中國重要報紙全文數(shù)據(jù)庫 前1條

1 CRCC首席專家 王廣宇 高級顧問 江鵬程 藍一;決策支持需求驅(qū)動[N];計算機世界;2003年

，

本文編號：563754