proguard.analysis.cpa.domain.taint

Class TaintSource

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSource

Direct Known Subclasses:

JvmTaintSource

public class TaintSource
extends java.lang.Object

A TaintSource 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 and 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 and 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

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

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 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

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object