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

类 JvmInvokeTaintSink

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSink

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

proguard.analysis.cpa.jvm.domain.taint.JvmInvokeTaintSink

public class JvmInvokeTaintSink
extends JvmTaintSink

A JvmTaintSink on a method invocation. This sinks can be sensitive to the instance, the arguments, or the static fields. If a sink S is sensitive to X, then if X is tainted, we conclude that the taint has reached S.

嵌套类概要

嵌套类

修饰符和类型	类	说明
static class	JvmInvokeTaintSink.Builder	Builder for JvmInvokeTaintSink.

字段概要

字段

修饰符和类型	字段	说明
java.util.function.Predicate<Call>	callMatcher
java.util.Set<java.lang.Integer>	takesArgs
java.util.Set<java.lang.String>	takesGlobals
boolean	takesInstance

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

IS_VALID_FOR_SOURCE_DEFAULT, isValidForSource, signature

构造器概要

构造器

限定符	构造器	说明
	JvmInvokeTaintSink(Signature signature, boolean takesInstance, java.util.Set<java.lang.Integer> takesArgs, java.util.Set<java.lang.String> takesGlobals)	Create a taint sink.
protected	JvmInvokeTaintSink(Signature signature, java.util.function.Predicate<TaintSource> isValidForSource, boolean takesInstance, java.util.Set<java.lang.Integer> takesArgs, java.util.Set<java.lang.String> takesGlobals, java.util.function.Predicate<Call> callMatcher)	Create a taint sink.
	JvmInvokeTaintSink(Signature signature, java.util.function.Predicate<Call> callMatcher, boolean takesInstance, java.util.Set<java.lang.Integer> takesArgs, java.util.Set<java.lang.String> takesGlobals)	已过时。

方法概要

修饰符和类型	方法	说明
boolean	equals(java.lang.Object o)
java.util.Set<JvmMemoryLocation>	getMemoryLocations()	Returns memory locations which trigger this taint sink.
int	hashCode()
boolean	matchCfaEdge(JvmCfaEdge edge)	Returns true if the edge is a call to the sink method.
java.lang.String	toString()

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

convertSinksToMemoryLocations

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

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

字段详细资料

takesInstance

public final boolean takesInstance

takesArgs

public final java.util.Set<java.lang.Integer> takesArgs

takesGlobals

public final java.util.Set<java.lang.String> takesGlobals

callMatcher

public final java.util.function.Predicate<Call> callMatcher

构造器详细资料

JvmInvokeTaintSink

public JvmInvokeTaintSink(Signature signature,
                          boolean takesInstance,
                          java.util.Set<java.lang.Integer> takesArgs,
                          java.util.Set<java.lang.String> takesGlobals)

Create a taint sink.

参数:

signature - the signature of a sink method

takesInstance - whether the sink is sensitive to the calling instance

takesArgs - a set of sensitive arguments

takesGlobals - a set of sensitive global variables

JvmInvokeTaintSink

@Deprecated
public JvmInvokeTaintSink(Signature signature,
                          java.util.function.Predicate<Call> callMatcher,
                          boolean takesInstance,
                          java.util.Set<java.lang.Integer> takesArgs,
                          java.util.Set<java.lang.String> takesGlobals)

已过时。

Create a taint sink.

参数:

signature - the signature of a sink method

callMatcher - whether the call matches this taint sink

takesInstance - whether the sink is sensitive to the calling instance

takesArgs - a set of sensitive arguments

takesGlobals - a set of sensitive global variables

JvmInvokeTaintSink

protected JvmInvokeTaintSink(Signature signature,
                             java.util.function.Predicate<TaintSource> isValidForSource,
                             boolean takesInstance,
                             java.util.Set<java.lang.Integer> takesArgs,
                             java.util.Set<java.lang.String> takesGlobals,
                             java.util.function.Predicate<Call> callMatcher)

Create a taint sink.

参数:

signature - the signature of a sink method

isValidForSource - predicate on whether the sink is valid for a given source

takesInstance - whether the sink is sensitive to the calling instance

takesArgs - a set of sensitive arguments

takesGlobals - a set of sensitive global variables

callMatcher - predicate on whether a call matches this taint sink

方法详细资料

getMemoryLocations

public java.util.Set<JvmMemoryLocation> getMemoryLocations()

Returns memory locations which trigger this taint sink.

指定者:

getMemoryLocations 在类中 JvmTaintSink

matchCfaEdge

public boolean matchCfaEdge(JvmCfaEdge edge)

Returns true if the edge is a call to the sink method.

指定者:

matchCfaEdge 在类中 JvmTaintSink

equals

public boolean equals(java.lang.Object o)

覆盖:

equals 在类中 JvmTaintSink

hashCode

public int hashCode()

覆盖:

hashCode 在类中 JvmTaintSink

toString

public java.lang.String toString()

指定者:

toString 在类中 TaintSink