Class TaintSource
- java.lang.Object
-
- proguard.analysis.cpa.domain.taint.TaintSource
-
- Direct Known Subclasses:
JvmTaintSource
public class TaintSource extends java.lang.Object
ATaintSource
specifies 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 Signature
signature
java.util.Set<java.lang.Integer>
taintsArgs
java.util.Set<java.lang.String>
taintsGlobals
boolean
taintsReturn
boolean
taintsThis
-
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 boolean
equals(java.lang.Object obj)
int
hashCode()
java.lang.String
toString()
-
-
-
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
-
-