Package proguard.analysis.cpa.domain.taint

Class TaintSink

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSink

Direct Known Subclasses:

JvmTaintSink

public abstract class TaintSink
extends Object

A TaintSink specifies a sink for the taint analysis. A sink can be sensitive to the instance, the arguments, or the static fields. If a sink S is sensitive to X, then if X is tainted, we conclude that the taint has reached S.

Field Summary

Fields

Modifier and Type	Field	Description
protected static final Predicate<TaintSource>	IS_VALID_FOR_SOURCE_DEFAULT
final Predicate<TaintSource>	isValidForSource
final Signature	signature

Constructor Summary

Constructors

Constructor	Description
TaintSink(Signature signature)	Create a taint sink.
TaintSink(Signature signature, Predicate<TaintSource> isValidForSource)	Create a taint sink.

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

IS_VALID_FOR_SOURCE_DEFAULT

protected static final Predicate<TaintSource> IS_VALID_FOR_SOURCE_DEFAULT

signature

public final Signature signature

isValidForSource

public final Predicate<TaintSource> isValidForSource

Constructor Details

TaintSink

public TaintSink(Signature signature)

Create a taint sink.

Parameters:

signature - the signature of a sink method

TaintSink

public TaintSink(Signature signature,
 Predicate<TaintSource> isValidForSource)

Create a taint sink.

Parameters:

signature - the signature of a sink method

isValidForSource - predicate on whether the sink is valid for a given source

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public abstract String toString()

Overrides:

toString in class Object