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

signature

Constructor Summary

Constructors

Constructor and Description
JvmReturnTaintSink(Signature signature)

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)

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)

Specified by:

equals in class TaintSink

hashCode

public int hashCode()

Specified by:

hashCode in class TaintSink

toString

public java.lang.String toString()

Specified by:

toString in class TaintSink