proguard.analysis.cpa.interfaces

Interface TransferRelation<StateT extends AbstractState<StateT>>

Type Parameters:

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

All Known Subinterfaces:

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

All Known Implementing Classes:

BamTransferRelation, JvmMemoryLocationTransferRelation, JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation

public interface TransferRelation<StateT extends AbstractState<StateT>>

The TransferRelation computes the successor AbstractStates for the CpaAlgorithm.

Method Summary

Modifier and Type	Method and Description
java.util.Collection<StateT>	generateAbstractSuccessors(StateT abstractState, Precision precision) Returns abstract successor states of the abstractState under the selected precision.

Method Detail

generateAbstractSuccessors

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

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