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)

Method Summary

Modifier and Type	Method and Description
JvmValueBamCpaRun	build() Returns the JvmBamCpaRun for given parameters.
JvmValueBamCpaRun.Builder	setMaxCallStackDepth(int maxCallStackDepth) Sets the call stack limit for the interprocedural analysis.
JvmValueBamCpaRun.Builder	setStaticFields(MapAbstractState<java.lang.String,ValueAbstractState> staticFields)
JvmValueBamCpaRun.Builder	setValueFactory(ValueFactory valueFactory)

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

setAbortOperator, setCfa, setHeapModel, setReduceHeap

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)

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

setValueFactory

public JvmValueBamCpaRun.Builder setValueFactory(ValueFactory valueFactory)

setStaticFields

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

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