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 java.lang.Object

Builder for JvmInvokeTaintSink.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.function.Predicate<Call>	callMatcher
protected java.util.function.Predicate<TaintSource>	isValidForSource
protected Signature	signature
protected java.util.Set<java.lang.Integer>	takesArgs
protected java.util.Set<java.lang.String>	takesGlobals
protected boolean	takesInstance

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
JvmInvokeTaintSink	build() Build a JvmInvokeTaintSink.
JvmInvokeTaintSink.Builder	setCallMatcher(java.util.function.Predicate<Call> callMatcher)
JvmInvokeTaintSink.Builder	setIsValidForSource(java.util.function.Predicate<TaintSource> isValidForSource)
JvmInvokeTaintSink.Builder	setTakesArgs(java.util.Set<java.lang.Integer> takesArgs)
JvmInvokeTaintSink.Builder	setTakesGlobals(java.util.Set<java.lang.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 Detail

isValidForSource

protected java.util.function.Predicate<TaintSource> isValidForSource

callMatcher

protected java.util.function.Predicate<Call> callMatcher

takesInstance

protected boolean takesInstance

takesArgs

protected java.util.Set<java.lang.Integer> takesArgs

takesGlobals

protected java.util.Set<java.lang.String> takesGlobals

signature

protected final Signature signature

Constructor Detail

Builder

public Builder(Signature signature)

Create a new builder for JvmInvokeTaintSink.

Parameters:

signature - @param signature the signature of a sink method

Method Detail

build

public JvmInvokeTaintSink build()

Build a JvmInvokeTaintSink.

setIsValidForSource

public JvmInvokeTaintSink.Builder setIsValidForSource(java.util.function.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(java.util.Set<java.lang.Integer> takesArgs)

Parameters:

takesArgs - a set of sensitive arguments

setTakesGlobals

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

Parameters:

takesGlobals - a set of sensitive global variables

setCallMatcher

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

Parameters:

callMatcher - predicate on whether a call matches this taint sink