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

• 作者: 于海波 肖可君 钟浩 陈雨亭
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 指向分析 需求驱动 流敏感 上下文无关语言 静态分析
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: ?体系结构与软件技术?
• 页码范围: 70-75
• 页数: 6页
• 分类号: TP311
• 字数: 4861字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.11.012

摘要

需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度，可使一些变量得到准确的指向关系，但实践中存在具有较强流与数据依赖的大型软件系统，较难识别出对目标变量的指向关系产生贡献的程序语句。为此，提出一种流敏感的程序表示方法，通过定义一种上下文无关语言可达性的概念，搜索目标变量的流敏感指向关系。开发一种 Seeker工具，能够为用户感兴趣的变量计算指向集合。实验结果表明，需求驱动的指向分析算法提高了流敏感上下文非敏感指向分析的效率。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于海波	上海交通大学软件学院	7	12	2.0	2.0
2	陈雨亭	上海交通大学电子信息与电气工程学院	9	17	2.0	4.0
3	钟浩	上海交通大学电子信息与电气工程学院	6	8	2.0	2.0
4	肖可君	上海交通大学软件学院	1	0	0.0	0.0