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 java.lang.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 and Description
Signature	signature

Constructor Summary

Constructors

Constructor and Description
TaintSink(Signature signature) Create a taint sink.

Method Summary

Modifier and Type	Method and Description
abstract boolean	equals(java.lang.Object o)
abstract int	hashCode()
abstract 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

Constructor Detail

TaintSink

public TaintSink(Signature signature)

Create a taint sink.

Parameters:

signature - the signature of a sink method

Method Detail

equals

public abstract boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object