Seeker:流敏感的需求驱动指向分析

发布时间：2017-07-19 16:19

  本文关键词：Seeker:流敏感的需求驱动指向分析

  更多相关文章： 指向分析 需求驱动 流敏感 上下文无关语言 静态分析

【摘要】：需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度,可使一些变量得到准确的指向关系,但实践中存在具有较强流与数据依赖的大型软件系统,较难识别出对目标变量的指向关系产生贡献的程序语句。为此,提出一种流敏感的程序表示方法,通过定义一种上下文无关语言可达性的概念,搜索目标变量的流敏感指向关系。开发一种Seeker工具,能够为用户感兴趣的变量计算指向集合。实验结果表明,需求驱动的指向分析算法提高了流敏感上下文非敏感指向分析的效率。
【作者单位】： 上海交通大学软件学院;上海交通大学电子信息与电气工程学院;
【关键词】： 指向分析 需求驱动 流敏感 上下文无关语言 静态分析
【基金】：国家自然科学基金(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 屈永志,骆建彬,宋志刚,邓宪;应用需求驱动的多层作业成本模型设计制造业成本管理系统[J];机械设计与制造工程;2002年01期

3 马小河;;需求管理驱动Telelogic[J];软件世界;2006年16期

4 刘开阳;;软件项目为什么会失败?——浅谈需求驱动的项目管理[J];程序员;2007年09期

5 毋建军;付忠勇;郑宝昆;;基于岗位需求驱动的Java实训课程体系构建研究[J];计算机教育;2010年22期

6 夏一民;曹宏嘉;罗军;张民选;;一种需求驱动的缓冲区溢出检测算法[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