proguard.analysis.cpa.util

Class ValueAnalyzer.Builder

java.lang.Object

proguard.analysis.cpa.util.ValueAnalyzer.Builder

Enclosing class:

ValueAnalyzer

public static class ValueAnalyzer.Builder
extends java.lang.Object

Class to configure and build a ValueAnalyzer.

Each separate built ValueAnalyzer uses its own BamCache, so different analyzers won't share results, while all execution of ValueAnalyzer.analyze(MethodSignature) from the same analyzer will use the same cache.

Constructor Summary

Constructors

Constructor and Description
Builder(JvmCfa cfa, ClassPool programClassPool, ClassPool libraryClassPool) Create a builder for a ValueAnalyzer using a default ExecutingInvocationUnit.
Builder(JvmCfa cfa, ExecutingInvocationUnit.Builder invocationUnitBuilder) Create a builder for a ValueAnalyzer using a custom ExecutingInvocationUnit.

Method Summary

Modifier and Type	Method and Description
ValueAnalyzer	build() Build a ValueAnalyzer.
ValueAnalyzer.Builder	setAbortOperator(AbortOperator abortOperator) Sets the abort operator to allow premature CPA algorithm termination.
ValueAnalyzer.Builder	setMaxCallStackDepth(int maxCallStackDepth) Set the max depth call depth of the inter-procedural analysis.

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,
               ClassPool programClassPool,
               ClassPool libraryClassPool)

Create a builder for a ValueAnalyzer using a default ExecutingInvocationUnit.

The InvocationUnit defines how to handle invocations of LibraryMethods through custom Executors.

The only executor for the default invocation unit is StringReflectionExecutor.

Builder

public Builder(JvmCfa cfa,
               ExecutingInvocationUnit.Builder invocationUnitBuilder)

Create a builder for a ValueAnalyzer using a custom ExecutingInvocationUnit.

The InvocationUnit defines how to handle invocations of LibraryMethods.

Method Detail

build

public ValueAnalyzer build()

Build a ValueAnalyzer.

setMaxCallStackDepth

public ValueAnalyzer.Builder setMaxCallStackDepth(int maxCallStackDepth)

Set the max depth call depth of the inter-procedural analysis. After the max depth has been reached, the analysis will provide a default result for the method (i.e., in the same way LibraryMethods are usually not analyzed).

The default value is 10.

Parameters:

maxCallStackDepth - maximum depth of the call stack analyzed inter-procedurally. 0 means intra-procedural analysis. < 0 means no maximum depth.

Returns:

this ValueAnalyzer builder.

setAbortOperator

public ValueAnalyzer.Builder setAbortOperator(AbortOperator abortOperator)

Sets the abort operator to allow premature CPA algorithm termination.

The default operator never aborts the analysis.

Parameters:

abortOperator - an AbortOperator.

Returns:

this ValueAnalyzer builder.