一种基于规则定义的Java污点分析方法

摘要

本发明具体公开了一种基于规则定义的Java污点分析方法，所述方法包括：S1、定义Java语言中source点和sink点的规则并形成格式化的规则；S2、定义Java语言的污点传播规则；S3、根据步骤S1中所定义的Java语言中source点和sink点的规则和步骤S2中所定义的污点传播规则，构建Java语言中每个污点的传播路径以对Java污点进行分析。本发明通过对Java语言中source点和sink点的规则以及对污点传播规则进行定义，从而构建出Java语言中污点的传播路径并进行追踪，通过将程序中的污点构建与source点规则、sink点规则和pass点规则的定义相分离，使得污点传播分析具有自定义性和可扩展性，因此，用户可以在不了解静态分析核心技术的情况下构造出对Java污点进行分析的自定义污染分析规则。