proguard.analysis.cpa.jvm.util

Class JvmBamCpaRun.Builder

java.lang.Object

proguard.analysis.cpa.defaults.BamCpaRun.Builder

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

Direct Known Subclasses:

JvmTaintBamCpaRun.Builder, JvmValueBamCpaRun.Builder

Enclosing class:

JvmBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends LatticeAbstractState<AbstractStateT>,OuterAbstractStateT extends AbstractState>

public abstract static class JvmBamCpaRun.Builder
extends BamCpaRun.Builder

A builder for JvmBamCpaRun. 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 JvmCfa	cfa
protected HeapModel	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
abstract JvmBamCpaRun<?,?,?>	build() Returns the JvmBamCpaRun for given parameters.
JvmBamCpaRun.Builder	setAbortOperator(AbortOperator abortOperator) Sets the abort operator for premature CPA algorithm termination.
JvmBamCpaRun.Builder	setCfa(JvmCfa cfa) Sets the control flow automaton.
JvmBamCpaRun.Builder	setHeapModel(HeapModel heapModel) Sets the heap model.
JvmBamCpaRun.Builder	setMaxCallStackDepth(int maxCallStackDepth) Sets the call stack limit for the interprocedural analysis.
JvmBamCpaRun.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

cfa

protected JvmCfa cfa

heapModel

protected HeapModel heapModel

Constructor Detail

Builder

public Builder()

Method Detail

build

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

Returns the JvmBamCpaRun for given parameters.

Specified by:

build in class BamCpaRun.Builder

setMaxCallStackDepth

public JvmBamCpaRun.Builder setMaxCallStackDepth(int maxCallStackDepth)

Description copied from class: BamCpaRun.Builder

Sets the call stack limit for the interprocedural analysis.

Overrides:

setMaxCallStackDepth in class BamCpaRun.Builder

setAbortOperator

public JvmBamCpaRun.Builder setAbortOperator(AbortOperator abortOperator)

Description copied from class: BamCpaRun.Builder

Sets the abort operator for premature CPA algorithm termination.

Overrides:

setAbortOperator in class BamCpaRun.Builder

setReduceHeap

public JvmBamCpaRun.Builder setReduceHeap(boolean reduceHeap)

Description copied from class: BamCpaRun.Builder

Sets whether the heap should be reduced before method calls.

Overrides:

setReduceHeap in class BamCpaRun.Builder

setCfa

public JvmBamCpaRun.Builder setCfa(JvmCfa cfa)

Sets the control flow automaton.

setHeapModel

public JvmBamCpaRun.Builder setHeapModel(HeapModel heapModel)

Sets the heap model.