程序包 proguard.analysis.cpa.util

类 TaintAnalyzer.Builder

java.lang.Object

proguard.analysis.cpa.util.TaintAnalyzer.Builder

封闭类:

TaintAnalyzer

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

Class to configure and build a TaintAnalyzer.

Each separate built TaintAnalyzer uses its own BamCache, so different analyzers won't share results.

构造器概要

构造器

构造器	说明
Builder(JvmCfa cfa, java.util.Set<? extends JvmTaintSource> taintSources, java.util.Set<? extends JvmTaintSink> taintSinks)

方法概要

修饰符和类型	方法	说明
TaintAnalyzer	build()	Build a TaintAnalyzer
TaintAnalyzer.Builder	setAbortOperator(AbortOperator abortOperator)	Sets the abort operator for premature CPA algorithm termination.
TaintAnalyzer.Builder	setExtraTaintPropagationLocations(java.util.Map<Call,java.util.Set<JvmMemoryLocation>> extraTaintPropagationLocations)	Set a mapping from a call to the set of locations which should get tainted after the call invocation.
TaintAnalyzer.Builder	setMaxCallStackDepth(int maxCallStackDepth)	Set the max depth call depth of the inter-procedural analysis.
TaintAnalyzer.Builder	setMemoryLocationAbortOperator(AbortOperator memoryLocationAbortOperator)	Sets the abort operator for premature trace reconstruction termination.
TaintAnalyzer.Builder	setTaintTransformers(java.util.Map<MethodSignature,JvmTaintTransformer> taintTransformers)	Set a mapping from method signature to a transformer object applied to the taint state when that method is invoked.

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

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

构造器详细资料

Builder

public Builder(JvmCfa cfa,
               java.util.Set<? extends JvmTaintSource> taintSources,
               java.util.Set<? extends JvmTaintSink> taintSinks)

方法详细资料

build

public TaintAnalyzer build()

Build a TaintAnalyzer

setMaxCallStackDepth

public TaintAnalyzer.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 TaintAnalyzer.Builder setAbortOperator(AbortOperator abortOperator)

Sets the abort operator for premature CPA algorithm termination.

setMemoryLocationAbortOperator

public TaintAnalyzer.Builder setMemoryLocationAbortOperator(AbortOperator memoryLocationAbortOperator)

Sets the abort operator for premature trace reconstruction termination.

setTaintTransformers

public TaintAnalyzer.Builder setTaintTransformers(java.util.Map<MethodSignature,JvmTaintTransformer> taintTransformers)

Set a mapping from method signature to a transformer object applied to the taint state when that method is invoked.

setExtraTaintPropagationLocations

public TaintAnalyzer.Builder setExtraTaintPropagationLocations(java.util.Map<Call,java.util.Set<JvmMemoryLocation>> extraTaintPropagationLocations)

Set a mapping from a call to the set of locations which should get tainted after the call invocation.