Package proguard.analysis.cpa.domain.taint

Class TaintSource

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSource

Direct Known Subclasses:

JvmTaintSource

public class TaintSource
extends 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	Description
final Signature	signature
final Set<Integer>	taintsArgs
final Set<String>	taintsGlobals
final boolean	taintsReturn
final boolean	taintsThis

Constructor Summary

Constructors

Constructor	Description
TaintSource(Signature signature, boolean taintsThis, boolean taintsReturn, Set<Integer> taintsArgs, Set<String> taintsGlobals)	Create a taint source.

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

signature

public final Signature signature

taintsThis

public final boolean taintsThis

taintsReturn

public final boolean taintsReturn

taintsArgs

public final Set<Integer> taintsArgs

taintsGlobals

public final Set<String> taintsGlobals

Constructor Details

TaintSource

public TaintSource(Signature signature,
 boolean taintsThis,
 boolean taintsReturn,
 Set<Integer> taintsArgs,
 Set<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 Details

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object