Package proguard.analysis.cpa.interfaces

Interface TransferRelation

All Known Subinterfaces:

ProgramLocationDependentBackwardTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>, ProgramLocationDependentForwardTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>, ProgramLocationDependentTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>, WrapperTransferRelation

All Known Implementing Classes:

BamTransferRelation, JvmMemoryLocationTransferRelation, JvmReferenceTransferRelation, JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation, SingleWrapperTransferRelation

public interface TransferRelation

The TransferRelation computes the successor AbstractStates for the Algorithm.

Method Summary

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

Method Detail

generateAbstractSuccessors

java.util.Collection<? extends AbstractState> generateAbstractSuccessors(AbstractState abstractState,
                                                                         Precision precision)

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