基于依赖的J2EE程序污点分析方法

摘要：

污点分析通常采用近似或简化方法对大规模程序进行分析,导致分析结果不精确.为此,扩展现有变量依赖关系定义,对不同方法参数的依赖关系以及域变量和参数的依赖关系进行建模,提出一种面向J2EE程序、基于需求的数据依赖图构建方法.根据预定义的污点分析方法和扩展定义的依赖关系构建数据依赖边,采用多阶段分析方法遍历依赖图中的依赖路径,以有效分析较大规模程序.实验结果表明,与现有Java污点分析方法TAJ相比,该方法的精确度和时间性能均有较大提高.

关键词：污点分析、依赖关系、建模方法、数据依赖图、多阶段分析

所属期刊栏目：42

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61562040,61562041

在线出版日期：2016-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：131-138