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
AJvmTaintSink
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
-
-
-
-
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 classJvmTaintSink
-
matchCfaEdge
public boolean matchCfaEdge(JvmCfaEdge edge)
Returns true on the return edge of the sink method.- Specified by:
matchCfaEdge
in classJvmTaintSink
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classJvmTaintSink
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classJvmTaintSink
-
-