proguard.analysis.cpa.defaults

Class BamCpaRun.Builder

java.lang.Object

proguard.analysis.cpa.defaults.BamCpaRun.Builder

Direct Known Subclasses:

JvmBamCpaRun.Builder

Enclosing class:

BamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

public abstract static class BamCpaRun.Builder
extends java.lang.Object

A builder for BamCpaRun. 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 AbortOperator	abortOperator
protected int	maxCallStackDepth
protected boolean	reduceHeap

Constructor Summary

Constructors

Constructor and Description
Builder()

Method Summary

Modifier and Type	Method and Description
abstract BamCpaRun<?,?,?,?,?>	build() Returns the BamCpaRun for given parameters.
BamCpaRun.Builder	setAbortOperator(AbortOperator abortOperator) Sets the abort operator for premature CPA algorithm termination.
BamCpaRun.Builder	setMaxCallStackDepth(int maxCallStackDepth) Sets the call stack limit for the interprocedural analysis.
BamCpaRun.Builder	setReduceHeap(boolean reduceHeap) Sets whether the heap should be reduced before method calls.

Methods inherited from class java.lang.Object

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

Field Detail

maxCallStackDepth

protected int maxCallStackDepth

abortOperator

protected AbortOperator abortOperator

reduceHeap

protected boolean reduceHeap

Constructor Detail

Builder

public Builder()

Method Detail

build

public abstract BamCpaRun<?,?,?,?,?> build()

Returns the BamCpaRun for given parameters.

setMaxCallStackDepth

public BamCpaRun.Builder setMaxCallStackDepth(int maxCallStackDepth)

Sets the call stack limit for the interprocedural analysis.

setAbortOperator

public BamCpaRun.Builder setAbortOperator(AbortOperator abortOperator)

Sets the abort operator for premature CPA algorithm termination.

setReduceHeap

public BamCpaRun.Builder setReduceHeap(boolean reduceHeap)

Sets whether the heap should be reduced before method calls.