程序包 proguard.analysis.cpa.jvm.domain.taint

类 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.

字段概要

从类继承的字段 proguard.analysis.cpa.domain.taint.TaintSink

IS_VALID_FOR_SOURCE_DEFAULT, isValidForSource, signature

构造器概要

构造器

构造器	说明
JvmReturnTaintSink(Signature signature)
JvmReturnTaintSink(Signature signature, Predicate<TaintSource> isValidForSource)

方法概要

修饰符和类型	方法	说明
boolean	equals(Object o)
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.
String	toString()

从类继承的方法 proguard.analysis.cpa.jvm.domain.taint.JvmTaintSink

convertSinksToMemoryLocations

从类继承的方法 java.lang.Object

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

构造器详细资料

JvmReturnTaintSink

public JvmReturnTaintSink(Signature signature)

JvmReturnTaintSink

public JvmReturnTaintSink(Signature signature,
 Predicate<TaintSource> isValidForSource)

方法详细资料

getMemoryLocations

public 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(Object o)

覆盖:

equals 在类中 JvmTaintSink

hashCode

public int hashCode()

覆盖:

hashCode 在类中 JvmTaintSink

toString

public String toString()

指定者:

toString 在类中 TaintSink