程序包 proguard.analysis.cpa.jvm.domain.taint

类 JvmTaintSource

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSource

proguard.analysis.cpa.jvm.domain.taint.JvmTaintSource

public class JvmTaintSource
extends TaintSource

A JvmTaintSource specifies a method which can taint any (subset) of the following: the instance, the return value, the argument objects, or static fields. The callMatcher decides whether the call (already filtered by its Signature) should trigger this source.

字段概要

字段

修饰符和类型	字段	说明
java.util.Optional<java.util.function.Predicate<Call>>	callMatcher

从类继承的字段 proguard.analysis.cpa.domain.taint.TaintSource

signature, taintsArgs, taintsGlobals, taintsReturn, taintsThis

构造器概要

构造器

构造器	说明
JvmTaintSource(Signature signature, boolean taintsThis, boolean taintsReturn, java.util.Set<java.lang.Integer> taintsArgs, java.util.Set<java.lang.String> taintsGlobals)	Create a taint source.
JvmTaintSource(Signature signature, java.util.function.Predicate<Call> callMatcher, boolean taintsThis, boolean taintsReturn, java.util.Set<java.lang.Integer> taintsArgs, java.util.Set<java.lang.String> taintsGlobals)	Create a taint source.
JvmTaintSource(Signature signature, java.util.Optional<java.util.function.Predicate<Call>> callMatcher, boolean taintsThis, boolean taintsReturn, java.util.Set<java.lang.Integer> taintsArgs, java.util.Set<java.lang.String> taintsGlobals)	Create a taint source.

方法概要

修饰符和类型	方法	说明
boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

从类继承的方法 java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

字段详细资料

callMatcher

public final java.util.Optional<java.util.function.Predicate<Call>> callMatcher

构造器详细资料

JvmTaintSource

public JvmTaintSource(Signature signature,
                      java.util.function.Predicate<Call> callMatcher,
                      boolean taintsThis,
                      boolean taintsReturn,
                      java.util.Set<java.lang.Integer> taintsArgs,
                      java.util.Set<java.lang.String> taintsGlobals)

Create a taint source.

参数:

signature - the signature a source method

callMatcher - whether the call matches this taint source

taintsThis - whether the source taints the calling instance

taintsReturn - whether the source taints its return

taintsArgs - a set of tainted arguments

taintsGlobals - a set of tainted global variables

JvmTaintSource

public JvmTaintSource(Signature signature,
                      boolean taintsThis,
                      boolean taintsReturn,
                      java.util.Set<java.lang.Integer> taintsArgs,
                      java.util.Set<java.lang.String> taintsGlobals)

Create a taint source.

参数:

signature - the signature a source method

taintsThis - whether the source taints the calling instance

taintsReturn - whether the source taints its return

taintsArgs - a set of tainted arguments

taintsGlobals - a set of tainted global variables

JvmTaintSource

public JvmTaintSource(Signature signature,
                      java.util.Optional<java.util.function.Predicate<Call>> callMatcher,
                      boolean taintsThis,
                      boolean taintsReturn,
                      java.util.Set<java.lang.Integer> taintsArgs,
                      java.util.Set<java.lang.String> taintsGlobals)

Create a taint source.

参数:

signature - the signature a source method

callMatcher - an optional predicate on whether the call matches this taint source

taintsThis - whether the source taints the calling instance

taintsReturn - whether the source taints its return

taintsArgs - a set of tainted arguments

taintsGlobals - a set of tainted global variables

方法详细资料

equals

public boolean equals(java.lang.Object obj)

覆盖:

equals 在类中 TaintSource

hashCode

public int hashCode()

覆盖:

hashCode 在类中 TaintSource

toString

public java.lang.String toString()

覆盖:

toString 在类中 TaintSource