proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintBamCpaRun.Builder

java.lang.Object

proguard.analysis.cpa.defaults.BamCpaRun.Builder

proguard.analysis.cpa.jvm.util.JvmBamCpaRun.Builder

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

Enclosing class:

JvmTaintBamCpaRun<OuterAbstractStateT extends AbstractState>

public static class JvmTaintBamCpaRun.Builder
extends JvmBamCpaRun.Builder

A builder for JvmTaintBamCpaRun. It assumes either the best performing parameters or the most basic one, if there is no absolute benefit.

Field Summary

Fields

Modifier and Type	Field and Description
protected MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<JvmTaintSource>>>	followerHeapMapAbstractStateFactory
protected MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>>	followerHeapNodeMapAbstractStateFactory
protected MethodSignature	mainSignature
protected MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<Reference>>>	principalHeapMapAbstractStateFactory
protected MapAbstractStateFactory<java.lang.String,SetAbstractState<Reference>>	principalHeapNodeMapAbstractStateFactory
protected MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>>	staticFieldMapAbstractStateFactory
protected java.util.Set<? extends JvmTaintSource>	taintSources

Fields inherited from class proguard.analysis.cpa.jvm.util.JvmBamCpaRun.Builder

cfa, heapModel

Fields inherited from class proguard.analysis.cpa.defaults.BamCpaRun.Builder

abortOperator, maxCallStackDepth, reduceHeap

Constructor Summary

Constructors

Constructor and Description
Builder()

Method Summary

Modifier and Type	Method and Description
JvmTaintBamCpaRun<?>	build() Returns the JvmTaintBamCpaRun for given parameters.
JvmTaintBamCpaRun.Builder	setAbortOperator(AbortOperator abortOperator) Sets the abort operator for premature CPA algorithm termination.
JvmTaintBamCpaRun.Builder	setCfa(JvmCfa cfa) Sets the control flow automaton.
JvmTaintBamCpaRun.Builder	setFollowerHeapMapAbstractStateFactory(MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<JvmTaintSource>>> followerHeapMapAbstractStateFactory) Sets the map abstract state factory used for constructing the mapping from references to objects in the follower heap model.
JvmTaintBamCpaRun.Builder	setFollowerHeapNodeMapAbstractStateFactory(MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>> followerHeapNodeMapAbstractStateFactory) Sets the map abstract state factory used for constructing the mapping from fields to values in the follower heap model.
JvmTaintBamCpaRun.Builder	setHeapModel(HeapModel heapModel) Sets the heap model.
JvmTaintBamCpaRun.Builder	setMainSignature(MethodSignature mainSignature) Sets the signature of the method the analysis starts from.
JvmTaintBamCpaRun.Builder	setMaxCallStackDepth(int maxCallStackDepth) Sets the call stack limit for the interprocedural analysis.
JvmTaintBamCpaRun.Builder	setPrincipalHeapMapAbstractStateFactory(MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<Reference>>> principalHeapMapAbstractStateFactory) Sets the map abstract state factory used for constructing the mapping from references to objects in the principal heap model.
JvmTaintBamCpaRun.Builder	setPrincipalHeapNodeMapAbstractStateFactory(MapAbstractStateFactory<java.lang.String,SetAbstractState<Reference>> principalHeapNodeMapAbstractStateFactory) Sets the map abstract state factory used for constructing the mapping from fields to values in the principal heap model.
JvmTaintBamCpaRun.Builder	setReduceHeap(boolean reduceHeap) Sets whether the heap should be reduced before method calls.
JvmTaintBamCpaRun.Builder	setStaticFieldMapAbstractStateFactory(MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>> staticFieldMapAbstractStateFactory) Sets the static field map abstract state factory.
JvmTaintBamCpaRun.Builder	setTaintSources(java.util.Set<? extends JvmTaintSource> taintSources) Sets the taint sources.

Methods inherited from class java.lang.Object

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

Field Detail

mainSignature

protected MethodSignature mainSignature

taintSources

protected java.util.Set<? extends JvmTaintSource> taintSources

staticFieldMapAbstractStateFactory

protected MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>> staticFieldMapAbstractStateFactory

principalHeapMapAbstractStateFactory

protected MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<Reference>>> principalHeapMapAbstractStateFactory

principalHeapNodeMapAbstractStateFactory

protected MapAbstractStateFactory<java.lang.String,SetAbstractState<Reference>> principalHeapNodeMapAbstractStateFactory

followerHeapMapAbstractStateFactory

protected MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<JvmTaintSource>>> followerHeapMapAbstractStateFactory

followerHeapNodeMapAbstractStateFactory

protected MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>> followerHeapNodeMapAbstractStateFactory

Constructor Detail

Builder

public Builder()

Method Detail

build

public JvmTaintBamCpaRun<?> build()

Returns the JvmTaintBamCpaRun for given parameters.

Specified by:

build in class JvmBamCpaRun.Builder

setMaxCallStackDepth

public JvmTaintBamCpaRun.Builder setMaxCallStackDepth(int maxCallStackDepth)

Description copied from class: BamCpaRun.Builder

Sets the call stack limit for the interprocedural analysis.

Overrides:

setMaxCallStackDepth in class JvmBamCpaRun.Builder

setAbortOperator

public JvmTaintBamCpaRun.Builder setAbortOperator(AbortOperator abortOperator)

Description copied from class: BamCpaRun.Builder

Sets the abort operator for premature CPA algorithm termination.

Overrides:

setAbortOperator in class JvmBamCpaRun.Builder

setReduceHeap

public JvmTaintBamCpaRun.Builder setReduceHeap(boolean reduceHeap)

Description copied from class: BamCpaRun.Builder

Sets whether the heap should be reduced before method calls.

Overrides:

setReduceHeap in class JvmBamCpaRun.Builder

setCfa

public JvmTaintBamCpaRun.Builder setCfa(JvmCfa cfa)

Description copied from class: JvmBamCpaRun.Builder

Sets the control flow automaton.

Overrides:

setCfa in class JvmBamCpaRun.Builder

setHeapModel

public JvmTaintBamCpaRun.Builder setHeapModel(HeapModel heapModel)

Description copied from class: JvmBamCpaRun.Builder

Sets the heap model.

Overrides:

setHeapModel in class JvmBamCpaRun.Builder

setTaintSources

public JvmTaintBamCpaRun.Builder setTaintSources(java.util.Set<? extends JvmTaintSource> taintSources)

Sets the taint sources.

setMainSignature

public JvmTaintBamCpaRun.Builder setMainSignature(MethodSignature mainSignature)

Sets the signature of the method the analysis starts from.

setStaticFieldMapAbstractStateFactory

public JvmTaintBamCpaRun.Builder setStaticFieldMapAbstractStateFactory(MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>> staticFieldMapAbstractStateFactory)

Sets the static field map abstract state factory.

setPrincipalHeapMapAbstractStateFactory

public JvmTaintBamCpaRun.Builder setPrincipalHeapMapAbstractStateFactory(MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<Reference>>> principalHeapMapAbstractStateFactory)

Sets the map abstract state factory used for constructing the mapping from references to objects in the principal heap model.

setPrincipalHeapNodeMapAbstractStateFactory

public JvmTaintBamCpaRun.Builder setPrincipalHeapNodeMapAbstractStateFactory(MapAbstractStateFactory<java.lang.String,SetAbstractState<Reference>> principalHeapNodeMapAbstractStateFactory)

Sets the map abstract state factory used for constructing the mapping from fields to values in the principal heap model.

setFollowerHeapMapAbstractStateFactory

public JvmTaintBamCpaRun.Builder setFollowerHeapMapAbstractStateFactory(MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<JvmTaintSource>>> followerHeapMapAbstractStateFactory)

Sets the map abstract state factory used for constructing the mapping from references to objects in the follower heap model.

setFollowerHeapNodeMapAbstractStateFactory

public JvmTaintBamCpaRun.Builder setFollowerHeapNodeMapAbstractStateFactory(MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>> followerHeapNodeMapAbstractStateFactory)

Sets the map abstract state factory used for constructing the mapping from fields to values in the follower heap model.