proguard.analysis.cpa.domain.taint

Class TaintSink

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSink

Direct Known Subclasses:

JvmTaintSink

public 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
java.lang.String	fqn
java.util.Set<java.lang.Integer>	takesArgs
java.util.Set<java.lang.String>	takesGlobals
boolean	takesInstance

Constructor Summary

Constructors

Constructor and Description
TaintSink(java.lang.String fqn, boolean takesInstance, java.util.Set<java.lang.Integer> takesArgs, java.util.Set<java.lang.String> takesGlobals) Create a taint sink.

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

fqn

public final java.lang.String fqn

takesInstance

public final boolean takesInstance

takesArgs

public final java.util.Set<java.lang.Integer> takesArgs

takesGlobals

public final java.util.Set<java.lang.String> takesGlobals

Constructor Detail

TaintSink

public TaintSink(java.lang.String fqn,
                 boolean takesInstance,
                 java.util.Set<java.lang.Integer> takesArgs,
                 java.util.Set<java.lang.String> takesGlobals)

Create a taint sink.

Parameters:

fqn - the fully qualified name of a sink method

takesInstance - whether the sink is sensitive to the calling instance

takesArgs - a set of sensitive arguments

takesGlobals - a set of sensitive global variables

Method Detail

equals

public boolean equals(java.lang.Object o)

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