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, CompositeHeapTransferRelation, JvmMemoryLocationTransferRelation, JvmReferenceTransferRelation, JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation, SingleWrapperTransferRelation

public interface TransferRelation

The TransferRelation computes the successor AbstractStates for the Algorithm.

Method Summary

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

Method Detail

getAbstractSuccessors

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

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