Class TaintSource
- java.lang.Object
-
- proguard.analysis.cpa.domain.taint.TaintSource
-
- Direct Known Subclasses:
JvmTaintSource
public class TaintSource extends java.lang.ObjectATaintSourcespecifies a method which can taint any (subset) of the following: the instance, the return value, the argument objects, or static fields.
-
-
Field Summary
Fields Modifier and Type Field Description Signaturesignaturejava.util.Set<java.lang.Integer>taintsArgsjava.util.Set<java.lang.String>taintsGlobalsbooleantaintsReturnbooleantaintsThis
-
Constructor Summary
Constructors Constructor Description TaintSource(Signature signature, boolean taintsThis, boolean taintsReturn, java.util.Set<java.lang.Integer> taintsArgs, java.util.Set<java.lang.String> taintsGlobals)Create a taint source.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(java.lang.Object obj)inthashCode()java.lang.StringtoString()
-
-
-
Field Detail
-
signature
public final Signature signature
-
taintsThis
public final boolean taintsThis
-
taintsReturn
public final boolean taintsReturn
-
taintsArgs
public final java.util.Set<java.lang.Integer> taintsArgs
-
taintsGlobals
public final java.util.Set<java.lang.String> taintsGlobals
-
-
Constructor Detail
-
TaintSource
public TaintSource(Signature signature, boolean taintsThis, boolean taintsReturn, java.util.Set<java.lang.Integer> taintsArgs, java.util.Set<java.lang.String> taintsGlobals)
Create a taint source.- Parameters:
signature- the signature a source methodtaintsThis- whether the source taints the calling instancetaintsReturn- whether the source taints its returntaintsArgs- a set of tainted argumentstaintsGlobals- a set of tainted global variables
-
-