proguard.analysis.cpa.jvm.domain.value

Class JvmValueBamCpaRun.Builder

java.lang.Object

proguard.analysis.cpa.defaults.BamCpaRun.Builder

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

proguard.analysis.cpa.jvm.domain.value.JvmValueBamCpaRun.Builder

Enclosing class:

JvmValueBamCpaRun

public static class JvmValueBamCpaRun.Builder
extends JvmBamCpaRun.Builder

Field Summary

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(JvmCfa cfa, MethodSignature mainSignature, ClassPool libraryClassPool)

Method Summary

Modifier and Type	Method and Description
JvmValueBamCpaRun	build() Returns the JvmBamCpaRun for given parameters.
JvmValueBamCpaRun.Builder	setAbortOperator(AbortOperator abortOperator) Sets the abort operator for premature CPA algorithm termination.
JvmValueBamCpaRun.Builder	setCfa(JvmCfa cfa) Sets the control flow automaton.
JvmValueBamCpaRun.Builder	setMainSignature(MethodSignature mainSignature)
JvmValueBamCpaRun.Builder	setMaxCallStackDepth(int maxCallStackDepth) Sets the call stack limit for the interprocedural analysis.
JvmValueBamCpaRun.Builder	setReduceHeap(boolean reduceHeap) Sets whether the heap should be reduced before method calls.
JvmValueBamCpaRun.Builder	setStaticFields(MapAbstractState<java.lang.String,ValueAbstractState> staticFields)
JvmValueBamCpaRun.Builder	setTransferRelationFactory(JvmValueBamCpaRun.TransferRelationFactory transferRelationFactory)
JvmValueBamCpaRun.Builder	setValueFactory(ValueFactory valueFactory)

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

setHeapModel

Methods inherited from class java.lang.Object

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

Constructor Detail

Builder

public Builder(JvmCfa cfa,
               MethodSignature mainSignature,
               ClassPool libraryClassPool)

Method Detail

build

public JvmValueBamCpaRun build()

Description copied from class: JvmBamCpaRun.Builder

Returns the JvmBamCpaRun for given parameters.

Specified by:

build in class JvmBamCpaRun.Builder

setCfa

public JvmValueBamCpaRun.Builder setCfa(JvmCfa cfa)

Description copied from class: JvmBamCpaRun.Builder

Sets the control flow automaton.

Overrides:

setCfa in class JvmBamCpaRun.Builder

setMainSignature

public JvmValueBamCpaRun.Builder setMainSignature(MethodSignature mainSignature)

setValueFactory

public JvmValueBamCpaRun.Builder setValueFactory(ValueFactory valueFactory)

setTransferRelationFactory

public JvmValueBamCpaRun.Builder setTransferRelationFactory(JvmValueBamCpaRun.TransferRelationFactory transferRelationFactory)

setStaticFields

public JvmValueBamCpaRun.Builder setStaticFields(MapAbstractState<java.lang.String,ValueAbstractState> staticFields)

setAbortOperator

public JvmValueBamCpaRun.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 JvmValueBamCpaRun.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

setMaxCallStackDepth

public JvmValueBamCpaRun.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