程序包 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.

字段概要

字段

修饰符和类型	字段	说明
final Predicate<Call>	callMatcher
final Set<Integer>	takesArgs
final Set<String>	takesGlobals
final boolean	takesInstance

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

IS_VALID_FOR_SOURCE_DEFAULT, isValidForSource, signature

构造器概要

构造器

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

方法概要

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

takesGlobals

public final Set<String> takesGlobals

callMatcher

public final Predicate<Call> callMatcher

构造器详细资料

JvmInvokeTaintSink

public JvmInvokeTaintSink(Signature signature,
 boolean takesInstance,
 Set<Integer> takesArgs,
 Set<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,
 Predicate<Call> callMatcher,
 boolean takesInstance,
 Set<Integer> takesArgs,
 Set<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,
 Predicate<TaintSource> isValidForSource,
 boolean takesInstance,
 Set<Integer> takesArgs,
 Set<String> takesGlobals,
 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 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(Object o)

覆盖:

equals 在类中 JvmTaintSink

hashCode

public int hashCode()

覆盖:

hashCode 在类中 JvmTaintSink

toString

public String toString()

指定者:

toString 在类中 TaintSink