proguard.analysis.cpa.jvm.domain.taint

Class JvmReturnTaintSink

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSink

proguard.analysis.cpa.jvm.domain.taint.JvmTaintSink

proguard.analysis.cpa.jvm.domain.taint.JvmReturnTaintSink

public class JvmReturnTaintSink
extends JvmTaintSink

A JvmTaintSink triggered if the return value of the specified method is tainted.

Field Summary

Fields inherited from class proguard.analysis.cpa.domain.taint.TaintSink

IS_VALID_FOR_SOURCE_DEFAULT, isValidForSource, signature

Constructor Summary

Constructors

Constructor and Description
JvmReturnTaintSink(Signature signature)
JvmReturnTaintSink(Signature signature, java.util.function.Predicate<TaintSource> isValidForSource)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.util.Set<JvmMemoryLocation>	getMemoryLocations() The location of values returned by a method is the top of the stack.
int	hashCode()
boolean	matchCfaEdge(JvmCfaEdge edge) Returns true on the return edge of the sink method.
java.lang.String	toString()

Methods inherited from class proguard.analysis.cpa.jvm.domain.taint.JvmTaintSink

convertSinksToMemoryLocations

Methods inherited from class java.lang.Object

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

Constructor Detail

JvmReturnTaintSink

public JvmReturnTaintSink(Signature signature)

JvmReturnTaintSink

public JvmReturnTaintSink(Signature signature,
                          java.util.function.Predicate<TaintSource> isValidForSource)

Method Detail

getMemoryLocations

public java.util.Set<JvmMemoryLocation> getMemoryLocations()

The location of values returned by a method is the top of the stack. Since in our convention just the top value is tainted for category 2 types just the top is enough.

Specified by:

getMemoryLocations in class JvmTaintSink

matchCfaEdge

public boolean matchCfaEdge(JvmCfaEdge edge)

Returns true on the return edge of the sink method.

Specified by:

matchCfaEdge in class JvmTaintSink

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class JvmTaintSink

hashCode

public int hashCode()

Overrides:

hashCode in class JvmTaintSink

toString

public java.lang.String toString()

Specified by:

toString in class TaintSink