seeker：流敏感的需求驱动指向分析 seekerflow-sensitive demand-driven points-to analysis.pdfVIP

第４２ 卷　第 １１ 期 　 计 算 机 工 程 ２０１６ 年 １１ 月 　　 Ｖｏｌ．４２　 Ｎｏ．１１ 　 Ｃｏｍｐｕｔｅｒ Ｅｎｇｉｎｅｅｒｉｎｇ Ｎｏｖｅｍｂｅｒ ２０１６ ·体系结构与软件技术 · 文章编号：１０００３４２８（２０１６）１１００７００６　　　文献标志码：Ａ　　　中图分类号：ＴＰ３１１ Ｓｅｅｋｅｒ：流敏感的需求驱动指向分析 ａ ａ ｂ ｂ 肖可君 ，于海波 ，陈雨亭 ，钟　浩 （上海交通大学 ａ．软件学院；ｂ．电子信息与电气工程学院，上海 ２００２４０） 摘　要：需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度， 可使一些变量得到准确的指向关系，但实践中存在具有较强流与数据依赖的大型软件系统，较难识别出对目标变 量的指向关系产生贡献的程序语句。为此，提出一种流敏感的程序表示方法，通过定义一种上下文无关语言可达 性的概念，有哪些信誉好的足球投注网站目标变量的流敏感指向关系。开发一种 Ｓｅｅｋｅｒ工具，能够为用户感兴趣的变量计算指向集合。实 验结果表明，需求驱动的指向分析算法提高了流敏感上下文非敏感指向分析的效率。 关键词：指向分析；需求驱动；流敏感；上下文无关语言；静态分析 中文引用格式：肖可君，于海波，陈雨亭，等．Ｓｅｅｋｅｒ：流敏感的需求驱动指向分析［Ｊ］．计算机工程，２０１６，４２（１１）：７０７５． 英文引用格式：Ｘｉａｏ Ｋｅｊｕｎ，Ｙｕ Ｈａｉｂｏ，Ｃｈｅｎ Ｙｕｔｉｎｇ，ｅｔ ａｌ．Ｓｅｅｋｅｒ：Ｆｌｏｗｓｅｎｓｉｔｉｖｅ Ｄｅｍａｎｄｄｒｉｖｅｎ Ｐｏｉｎｔｓｔｏ Ａｎａｌｙｓｉｓ［Ｊ］． Ｃｏｍｐｕｔｅｒ Ｅｎｇｉｎｅｅｒｉｎｇ，２０１６，４２（１１）：７０７５． Ｓｅｅｋｅｒ：Ｆｌｏｗｓｅｎｓｉｔｉｖｅ Ｄｅｍａｎｄｄｒｉｖｅｎ Ｐｏｉｎｔｓｔｏ Ａｎａｌｙｓｉｓ ａ ａ ｂ ｂ ＸＩＡＯ Ｋｅｊｕｎ ，ＹＵ Ｈａｉｂｏ ，ＣＨＥＮ Ｙｕｔｉｎｇ ，ＺＨＯＮＧ Ｈａｏ （ａ．Ｓｃｈｏｏｌ ｏｆ Ｓｏｆｔｗａｒｅ；ｂ．Ｓｃｈｏｏｌ ｏｆＥｌｅｃｔｒｏｎｉｃ Ｉｎｆｏｒｍａｔｉｏｎ ａｎｄ Ｅｌｅｃｔｒｉｃａｌ Ｅｎｇｉｎｅｅｒｉｎｇ， Ｓｈａｎｇｈａｉ Ｊｉａｏｔｏｎｇ Ｕｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ ２００２４０，Ｃｈｉｎａ） 【Ａｂｓｔｒａｃｔ】Ｍａｎｙ ｄｅｍａｎｄｄｒｉｖｅｎ ｐｏｉｎｔｓｔｏ ａｎａｌｙｓｉｓ ｔｅｃｈｎｉｑｕｅｓ ａｒｅ ｐｒｏｐｏｓｅｄ ｔｏ ｓｕｉｔ ｓｏｍｅ ｅｎｖｉｒｏｎｍｅｎｔｓ ｂｏｕｎｄｅｄ ｂｙ ｓｔｒｉｃｔ ｌｉｍｉｔｓ ｏｆ ｔｉｍｅ ａｎｄ ｍｅｍｏｒｙ ｕｓａｇｅ．Ｉｍｐｒｏｖｉｎｇ ｔｈｅ ｄｅｍａｎｄｄｒｉｖｅｎ ｐｏｉｎｔｓｔｏ ａｎａｌｙｓｉｓ ｉｎ ａ ｆｌｏｗ ｓｅｎｓｉｔｉｖｅ ｍａｎｎｅｒ ｈｅｌｐｓ ａｃｈｉｅｖｅ ｐｒｅｃｉｓｅ ｐｏｉｎｔｓｔｏ ｒｅｌａｔｉｏｎｓ ｆｏｒ ｓｏｍｅ ｖａｒｉａｂｌｅｓ．Ｄｕｅ ｔｏ ｔｈｅ ｅｘｉｓｔｅｎｃｅ ｏｆ ｓｔｒｏｎｇ ｆｌｏｗ ａｎｄ ｄａｔａ ｄｅｐｅｎｄｅｎｃｉｅｓ ｉｎ ｔｈｅ ｌａｒｇｅｓｃａｌｅ ｓｏｆｔｗａｒｅ ｓｙｓｔｅｍｓ，ｉｔ ｉｓ ｄｉｆｆｉｃｕｌｔ ｉｎ ｉｄｅｎｔｉｆｙｉｎｇ ｅｆｆｅｃｔｉｖｅｌｙ ａｌｌ ｔｈｅ ｐｒｏｇｒａｍ ｓｔａｔｅｍｅｎｔｓ ｃｏｎｔｒｉｂｕｔｉｎｇ ｔｏ ｔｈｅ ｐｏｉｎｔｓ ｔｏ ｒｅｌａｔｉｏｎ