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

Class JvmInvokeTaintSink.Builder

java.lang.Object

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

Enclosing class:

JvmInvokeTaintSink

public static class JvmInvokeTaintSink.Builder
extends Object

Builder for JvmInvokeTaintSink.

Field Summary

Fields

Modifier and Type	Field	Description
protected Predicate<Call>	callMatcher
protected Predicate<TaintSource>	isValidForSource
protected final Signature	signature
protected Set<Integer>	takesArgs
protected Set<String>	takesGlobals
protected boolean	takesInstance

Constructor Summary

Constructors

Constructor	Description
Builder(Signature signature)	Create a new builder for JvmInvokeTaintSink.

Method Summary

Modifier and Type	Method	Description
JvmInvokeTaintSink	build()	Build a JvmInvokeTaintSink.
JvmInvokeTaintSink.Builder	setCallMatcher(Predicate<Call> callMatcher)
JvmInvokeTaintSink.Builder	setIsValidForSource(Predicate<TaintSource> isValidForSource)
JvmInvokeTaintSink.Builder	setTakesArgs(Set<Integer> takesArgs)
JvmInvokeTaintSink.Builder	setTakesGlobals(Set<String> takesGlobals)
JvmInvokeTaintSink.Builder	setTakesInstance(boolean takesInstance)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

isValidForSource

protected Predicate<TaintSource> isValidForSource

callMatcher

protected Predicate<Call> callMatcher

takesInstance

protected boolean takesInstance

takesArgs

protected Set<Integer> takesArgs

takesGlobals

protected Set<String> takesGlobals

signature

protected final Signature signature

Constructor Details

Builder

public Builder(Signature signature)

Create a new builder for JvmInvokeTaintSink.

Method Details

build

public JvmInvokeTaintSink build()

Build a JvmInvokeTaintSink.

setIsValidForSource

public JvmInvokeTaintSink.Builder setIsValidForSource(Predicate<TaintSource> isValidForSource)

Parameters:

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

setTakesInstance

public JvmInvokeTaintSink.Builder setTakesInstance(boolean takesInstance)

Parameters:

takesInstance - whether the sink is sensitive to the calling instance

setTakesArgs

public JvmInvokeTaintSink.Builder setTakesArgs(Set<Integer> takesArgs)

Parameters:

takesArgs - a set of sensitive arguments

setTakesGlobals

public JvmInvokeTaintSink.Builder setTakesGlobals(Set<String> takesGlobals)

Parameters:

takesGlobals - a set of sensitive global variables

setCallMatcher

public JvmInvokeTaintSink.Builder setCallMatcher(Predicate<Call> callMatcher)

Parameters:

callMatcher - predicate on whether a call matches this taint sink