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

类 JvmTaintSink

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSink

proguard.analysis.cpa.jvm.domain.taint.JvmTaintSink

直接已知子类:

JvmInvokeTaintSink, JvmReturnTaintSink

public abstract class JvmTaintSink
extends TaintSink

The JvmTaintSink adds an interface for extracting sensitive JVM memory locations and to check if the sink matches a given cfa edge.

字段概要

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

IS_VALID_FOR_SOURCE_DEFAULT, isValidForSource, signature

构造器概要

构造器

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

方法概要

修饰符和类型	方法	说明
static Map<Signature,Map<JvmTaintSink,Set<JvmMemoryLocation>>>	convertSinksToMemoryLocations(Collection<? extends JvmTaintSink> taintSinks)	Helper method taking a collection of sinks and converting it to a mapping that associates each sink with the memory locations which triggers it.
boolean	equals(Object other)
abstract Set<JvmMemoryLocation>	getMemoryLocations()	Returns memory locations which trigger this taint sink.
int	hashCode()
abstract boolean	matchCfaEdge(JvmCfaEdge edge)	Returns whether the sink matches a given CFA edge.

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

toString

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

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

构造器详细资料

JvmTaintSink

public JvmTaintSink(Signature signature)

JvmTaintSink

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

方法详细资料

getMemoryLocations

public abstract Set<JvmMemoryLocation> getMemoryLocations()

Returns memory locations which trigger this taint sink.

matchCfaEdge

public abstract boolean matchCfaEdge(JvmCfaEdge edge)

Returns whether the sink matches a given CFA edge.

convertSinksToMemoryLocations

public static Map<Signature,Map<JvmTaintSink,Set<JvmMemoryLocation>>> convertSinksToMemoryLocations(Collection<? extends JvmTaintSink> taintSinks)

Helper method taking a collection of sinks and converting it to a mapping that associates each sink with the memory locations which triggers it. For convenience the sinks are further grouped by their method signature.

equals

public boolean equals(Object other)

覆盖:

equals 在类中 TaintSink

hashCode

public int hashCode()

覆盖:

hashCode 在类中 TaintSink