10.3969/j.issn.1000-3428.2016.11.012
Seeker:流敏感的需求驱动指向分析
需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度,可使一些变量得到准确的指向关系,但实践中存在具有较强流与数据依赖的大型软件系统,较难识别出对目标变量的指向关系产生贡献的程序语句。为此,提出一种流敏感的程序表示方法,通过定义一种上下文无关语言可达性的概念,搜索目标变量的流敏感指向关系。开发一种 Seeker工具,能够为用户感兴趣的变量计算指向集合。实验结果表明,需求驱动的指向分析算法提高了流敏感上下文非敏感指向分析的效率。
指向分析、需求驱动、流敏感、上下文无关语言、静态分析
42
TP311(计算技术、计算机技术)
国家自然科学基金61572312。
2016-12-02(万方平台首次上网日期,不代表论文的发表时间)
共6页
70-75