本文關鍵詞：Seeker:流敏感的需求驅動指向分析

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

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

【相似文獻】

中國期刊全文數據庫 前10條

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

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

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

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

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

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

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

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

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

10 ;[J];;年期

中國重要報紙全文數據庫 前1條

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

，

本文編號：563754