程序包 proguard.analysis.cpa.bam

类 BamCpa<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.bam.BamCpa<ContentT>

类型参数:

ContentT - > The content of the jvm states produced by the transfer relation. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

所有已实现的接口:

ConfigurableProgramAnalysis<JvmAbstractState<ContentT>>

public class BamCpa<ContentT extends AbstractState<ContentT>>
extends Object
implements ConfigurableProgramAnalysis<JvmAbstractState<ContentT>>

A ConfigurableProgramAnalysis for inter-procedural analysis using block abstraction memoization as described in , which is defined by a domain-dependent CpaWithBamOperators that adds three operators: reduce, expand, and rebuild. This allows an inter-procedural analysis running this CPA to be conducted by the standard CpaAlgorithm.

A BAM CPA works on a domain-independent level and its abstract domain, merge operator, and stop operator are defined by the domain-dependent wrapped CPA. The main feature of a BAM CPA is its transfer relation (see BamTransferRelation for details) that is able to extend the analysis of the wrapped CPA to the inter-procedural level.

构造器概要

构造器

构造器	说明
BamCpa(CpaWithBamOperators<ContentT> wrappedCpa, JvmCfa cfa, MethodSignature mainFunction, BamCache<ContentT> cache)	Create a BamCpa with default transfer relation.
BamCpa(CpaWithBamOperators<ContentT> wrappedCpa, JvmCfa cfa, MethodSignature mainFunction, BamCache<ContentT> cache, int maxCallStackDepth)	Create a BamCpa with default transfer relation with a limited call depth.

方法概要

修饰符和类型	方法	说明
@NotNull AbortOperator	getAbortOperator()
BamCache<ContentT>	getCache()	Returns the BAM cache used by the CPA.
JvmCfa	getCfa()	Returns the CFA used by the CPA.
ExpandOperator<ContentT>	getExpandOperator()	Returns the expand operator of the wrapped CPA.
TransferRelation<JvmAbstractState<ContentT>>	getIntraproceduralTransferRelation()	Returns the transfer relation of the interprocedural CPA wrapped by the BamCpa.
@NotNull MergeOperator<JvmAbstractState<ContentT>>	getMergeOperator()	Returns the merge operator of the wrapped CPA.
@NotNull PrecisionAdjustment	getPrecisionAdjustment()	Returns the precision adjustment of the wrapped CPA.
RebuildOperator	getRebuildOperator()	Returns the rebuild operator of the wrapped CPA.
ReduceOperator<ContentT>	getReduceOperator()	Returns the reduce operator of the wrapped CPA.
@NotNull StopOperator<JvmAbstractState<ContentT>>	getStopOperator()	Returns the stop operator of the wrapped CPA.
@NotNull BamTransferRelation<ContentT>	getTransferRelation()	Returns the BAM transfer relation, more details in BamTransferRelation.

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

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

构造器详细资料

BamCpa

public BamCpa(CpaWithBamOperators<ContentT> wrappedCpa,
 JvmCfa cfa,
 MethodSignature mainFunction,
 BamCache<ContentT> cache)

Create a BamCpa with default transfer relation.

参数:

wrappedCpa - a wrapped CPA with BAM operators

cfa - a control flow automaton

mainFunction - the signature of the main function of an analyzed program

cache - a cache for the block abstractions

BamCpa

public BamCpa(CpaWithBamOperators<ContentT> wrappedCpa,
 JvmCfa cfa,
 MethodSignature mainFunction,
 BamCache<ContentT> cache,
 int maxCallStackDepth)

Create a BamCpa with default transfer relation with a limited call depth. At the maximum call depth further function calls are just analyzed intra-procedurally.

参数:

wrappedCpa - a wrapped cpa with BAM operators

cfa - a control flow automaton

mainFunction - the signature of a main function

cache - a cache for the block abstractions

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

方法详细资料

getTransferRelation

@NotNull
public @NotNull BamTransferRelation<ContentT> getTransferRelation()

Returns the BAM transfer relation, more details in BamTransferRelation.

指定者:

getTransferRelation 在接口中 ConfigurableProgramAnalysis<ContentT extends AbstractState<ContentT>>

getMergeOperator

@NotNull
public @NotNull MergeOperator<JvmAbstractState<ContentT>> getMergeOperator()

Returns the merge operator of the wrapped CPA.

指定者:

getMergeOperator 在接口中 ConfigurableProgramAnalysis<ContentT extends AbstractState<ContentT>>

getStopOperator

@NotNull
public @NotNull StopOperator<JvmAbstractState<ContentT>> getStopOperator()

Returns the stop operator of the wrapped CPA.

指定者:

getStopOperator 在接口中 ConfigurableProgramAnalysis<ContentT extends AbstractState<ContentT>>

getPrecisionAdjustment

@NotNull
public @NotNull PrecisionAdjustment getPrecisionAdjustment()

Returns the precision adjustment of the wrapped CPA.

指定者:

getPrecisionAdjustment 在接口中 ConfigurableProgramAnalysis<ContentT extends AbstractState<ContentT>>

getAbortOperator

@NotNull
public @NotNull AbortOperator getAbortOperator()

指定者:

getAbortOperator 在接口中 ConfigurableProgramAnalysis<ContentT extends AbstractState<ContentT>>

getReduceOperator

public ReduceOperator<ContentT> getReduceOperator()

Returns the reduce operator of the wrapped CPA.

getExpandOperator

public ExpandOperator<ContentT> getExpandOperator()

Returns the expand operator of the wrapped CPA.

getRebuildOperator

public RebuildOperator getRebuildOperator()

Returns the rebuild operator of the wrapped CPA.

getCache

public BamCache<ContentT> getCache()

Returns the BAM cache used by the CPA.

getCfa

public JvmCfa getCfa()

Returns the CFA used by the CPA.

getIntraproceduralTransferRelation

public TransferRelation<JvmAbstractState<ContentT>> getIntraproceduralTransferRelation()

Returns the transfer relation of the interprocedural CPA wrapped by the BamCpa.

This transfer relation is used to analyze all non-call instructions and call instructions that cannot be analyzed inter-procedurally (e.g., because their code is not available or because the maximum analysis depth has been reached).