程序包 proguard.analysis.cpa.defaults

类 SimpleCpa<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.defaults.SimpleCpa<StateT>

类型参数:

StateT - The type of the analyzed states.

所有已实现的接口:

ConfigurableProgramAnalysis<StateT>

直接已知子类:

CpaWithBamOperators, JvmMemoryLocationCpa, JvmTaintCpa

public class SimpleCpa<StateT extends AbstractState<StateT>>
extends java.lang.Object
implements ConfigurableProgramAnalysis<StateT>

The SimpleCpa is a ConfigurableProgramAnalysis wrapping its components.

构造器概要

构造器

构造器	说明
SimpleCpa(TransferRelation<StateT> transferRelation, MergeOperator<StateT> mergeOperator, StopOperator<StateT> stopOperator)	Create a simple CPA with a static precision adjustment.
SimpleCpa(TransferRelation<StateT> transferRelation, MergeOperator<StateT> mergeOperator, StopOperator<StateT> stopOperator, PrecisionAdjustment precisionAdjustment, AbortOperator abortOperator)	Create a simple CPA from ConfigurableProgramAnalysis components.

方法概要

修饰符和类型	方法	说明
@NotNull AbortOperator	getAbortOperator()
@NotNull MergeOperator<StateT>	getMergeOperator()	Returns the merge operator of this CPA.
@NotNull PrecisionAdjustment	getPrecisionAdjustment()	Returns the precision adjustment of this CPA.
@NotNull StopOperator<StateT>	getStopOperator()	Returns the stop operator of this CPA.
@NotNull TransferRelation<StateT>	getTransferRelation()	Returns the transfer relation of this CPA.

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

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

构造器详细资料

SimpleCpa

public SimpleCpa(TransferRelation<StateT> transferRelation,
                 MergeOperator<StateT> mergeOperator,
                 StopOperator<StateT> stopOperator)

Create a simple CPA with a static precision adjustment.

参数:

abstractDomain - a join-semilattice of AbstractStates defining the abstraction level of the analysis

transferRelation - a transfer relation specifying how successor states are computed

mergeOperator - a merge operator defining how (and whether) the older AbstractState should be updated with the newly discovered AbstractState

stopOperator - a stop operator deciding whether the successor state should be added to the ReachedSet based on the content of the latter

SimpleCpa

public SimpleCpa(TransferRelation<StateT> transferRelation,
                 MergeOperator<StateT> mergeOperator,
                 StopOperator<StateT> stopOperator,
                 PrecisionAdjustment precisionAdjustment,
                 AbortOperator abortOperator)

Create a simple CPA from ConfigurableProgramAnalysis components.

参数:

abstractDomain - a join-semilattice of AbstractStates defining the abstraction level of the analysis

transferRelation - a transfer relation specifying how successor states are computed

mergeOperator - a merge operator defining how (and whether) the older AbstractState should be updated with the newly discovered AbstractState

stopOperator - a stop operator deciding whether the successor state should be added to the ReachedSet based on the content of the latter

precisionAdjustment - a precision adjustment selecting the Precision for the currently processed AbstractState considering the ReachedSet content

abortOperator - an operator used to terminate the analysis prematurely.

方法详细资料

getTransferRelation

@NotNull
public @NotNull TransferRelation<StateT> getTransferRelation()

从接口复制的说明: ConfigurableProgramAnalysis

Returns the transfer relation of this CPA.

指定者:

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

getMergeOperator

@NotNull
public @NotNull MergeOperator<StateT> getMergeOperator()

从接口复制的说明: ConfigurableProgramAnalysis

Returns the merge operator of this CPA.

指定者:

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

getStopOperator

@NotNull
public @NotNull StopOperator<StateT> getStopOperator()

从接口复制的说明: ConfigurableProgramAnalysis

Returns the stop operator of this CPA.

指定者:

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

getPrecisionAdjustment

@NotNull
public @NotNull PrecisionAdjustment getPrecisionAdjustment()

从接口复制的说明: ConfigurableProgramAnalysis

Returns the precision adjustment of this CPA.

指定者:

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

getAbortOperator

@NotNull
public @NotNull AbortOperator getAbortOperator()

指定者:

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