Package proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintSource

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSource

proguard.analysis.cpa.jvm.domain.taint.JvmTaintSource

public class JvmTaintSource
extends TaintSource

A JvmTaintSource specifies a method which can taint any (subset) of the following: the instance, the return value, the argument objects, or static fields. The callMatcher decides whether the call (already filtered by its Signature) should trigger this source.

Field Summary

Fields

Modifier and Type	Field	Description
final Optional<Predicate<Call>>	callMatcher

Fields inherited from class proguard.analysis.cpa.domain.taint.TaintSource

signature, taintsArgs, taintsGlobals, taintsReturn, taintsThis

Constructor Summary

Constructors

Constructor	Description
JvmTaintSource(Signature signature, boolean taintsThis, boolean taintsReturn, Set<Integer> taintsArgs, Set<String> taintsGlobals)	Create a taint source.
JvmTaintSource(Signature signature, Predicate<Call> callMatcher, boolean taintsThis, boolean taintsReturn, Set<Integer> taintsArgs, Set<String> taintsGlobals)	Create a taint source.
JvmTaintSource(Signature signature, Optional<Predicate<Call>> callMatcher, boolean taintsThis, boolean taintsReturn, Set<Integer> taintsArgs, Set<String> taintsGlobals)	Create a taint source.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

callMatcher

public final Optional<Predicate<Call>> callMatcher

Constructor Details

JvmTaintSource

public JvmTaintSource(Signature signature,
 Predicate<Call> callMatcher,
 boolean taintsThis,
 boolean taintsReturn,
 Set<Integer> taintsArgs,
 Set<String> taintsGlobals)

Create a taint source.

Parameters:

signature - the signature a source method

callMatcher - whether the call matches this taint source

taintsThis - whether the source taints the calling instance

taintsReturn - whether the source taints its return

taintsArgs - a set of tainted arguments

taintsGlobals - a set of tainted global variables

JvmTaintSource

public JvmTaintSource(Signature signature,
 boolean taintsThis,
 boolean taintsReturn,
 Set<Integer> taintsArgs,
 Set<String> taintsGlobals)

Create a taint source.

Parameters:

signature - the signature a source method

taintsThis - whether the source taints the calling instance

taintsReturn - whether the source taints its return

taintsArgs - a set of tainted arguments

taintsGlobals - a set of tainted global variables

JvmTaintSource

public JvmTaintSource(Signature signature,
 Optional<Predicate<Call>> callMatcher,
 boolean taintsThis,
 boolean taintsReturn,
 Set<Integer> taintsArgs,
 Set<String> taintsGlobals)

Create a taint source.

Parameters:

signature - the signature a source method

callMatcher - an optional predicate on whether the call matches this taint source

taintsThis - whether the source taints the calling instance

taintsReturn - whether the source taints its return

taintsArgs - a set of tainted arguments

taintsGlobals - a set of tainted global variables

Method Details

equals

public boolean equals(Object obj)

Overrides:

equals in class TaintSource

hashCode

public int hashCode()

Overrides:

hashCode in class TaintSource

toString

public String toString()

Overrides:

toString in class TaintSource