类 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
AJvmTaintSinktriggered if the return value of the specified method is tainted.
-
-
字段概要
-
从类继承的字段 proguard.analysis.cpa.domain.taint.TaintSink
IS_VALID_FOR_SOURCE_DEFAULT, isValidForSource, signature
-
-
构造器概要
构造器 构造器 说明 JvmReturnTaintSink(Signature signature)JvmReturnTaintSink(Signature signature, java.util.function.Predicate<TaintSource> isValidForSource)
-
方法概要
所有方法 实例方法 具体方法 修饰符和类型 方法 说明 booleanequals(java.lang.Object o)java.util.Set<JvmMemoryLocation>getMemoryLocations()The location of values returned by a method is the top of the stack.inthashCode()booleanmatchCfaEdge(JvmCfaEdge edge)Returns true on the return edge of the sink method.java.lang.StringtoString()-
从类继承的方法 proguard.analysis.cpa.jvm.domain.taint.JvmTaintSink
convertSinksToMemoryLocations
-
-
-
-
构造器详细资料
-
JvmReturnTaintSink
public JvmReturnTaintSink(Signature signature)
-
JvmReturnTaintSink
public JvmReturnTaintSink(Signature signature, java.util.function.Predicate<TaintSource> isValidForSource)
-
-
方法详细资料
-
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.- 指定者:
getMemoryLocations在类中JvmTaintSink
-
matchCfaEdge
public boolean matchCfaEdge(JvmCfaEdge edge)
Returns true on the return edge of the sink method.- 指定者:
matchCfaEdge在类中JvmTaintSink
-
equals
public boolean equals(java.lang.Object o)
- 覆盖:
equals在类中JvmTaintSink
-
hashCode
public int hashCode()
- 覆盖:
hashCode在类中JvmTaintSink
-
-