JvmReturnTaintSink (ProGuardCORE)

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	Description
`JvmReturnTaintSink(Signature signature)`
`JvmReturnTaintSink(Signature signature, java.util.function.Predicate<TaintSource> isValidForSource)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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