程序包 proguard.analysis.cpa.util

类 ValueAnalyzer.Builder

java.lang.Object

proguard.analysis.cpa.util.ValueAnalyzer.Builder

封闭类:

ValueAnalyzer

public static class ValueAnalyzer.Builder
extends 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.

构造器概要

构造器

构造器	说明
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.

方法概要

修饰符和类型	方法	说明
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.

从类继承的方法 java.lang.Object

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

构造器详细资料

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.

方法详细资料

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.

参数:

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

返回:

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.

参数:

abortOperator - an AbortOperator.

返回:

this ValueAnalyzer builder.