程序包 proguard.analysis.cpa.interfaces

接口 TransferRelation<StateT extends AbstractState<StateT>>

类型参数:

StateT - The type of states of the analysis, produced by the transfer relation.

所有已知子接口:

ProgramLocationDependentBackwardTransferRelation<ContentT>, ProgramLocationDependentForwardTransferRelation<ContentT>, ProgramLocationDependentTransferRelation<ContentT>

所有已知实现类:

BamTransferRelation, JvmMemoryLocationTransferRelation, JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation

public interface TransferRelation<StateT extends AbstractState<StateT>>

The TransferRelation computes the successor AbstractStates for the CpaAlgorithm.

方法概要

修饰符和类型	方法	说明
java.util.Collection<StateT>	generateAbstractSuccessors(StateT abstractState, Precision precision)	Returns abstract successor states of the abstractState under the selected precision.

方法详细资料

generateAbstractSuccessors

java.util.Collection<StateT> generateAbstractSuccessors(StateT abstractState,
                                                        Precision precision)

Returns abstract successor states of the abstractState under the selected precision.