Taint-Analysis:Java程序的中间表示形式的静态上下文不相关的污点分析

污点分析 CS 5218作业1 对Java程序的中间表示形式的静态上下文不相关的污点分析。 “污点”信息的属性空间包含标记为污点的变量或用户输入数据的详细信息。 因此，将运行代码以确保不使用受污染的数据使用安全关键代码。 最初，没有污点变量，直到开始用户输入为止。 之后，所有直接或间接与其联系的值都标记为已污染。 有关此类污染变量的信息表示为： 1.1每种方法的固定签名： (a) Pre - Set: It will contain the information about the tainted parameters passed to the function as the input parameters. Hence, the name pre-set. (b) Gen - Set: It will contain the information about the v