proguard.analysis.cpa.interfaces

Interface ProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

All Superinterfaces:

TransferRelation

All Known Subinterfaces:

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

All Known Implementing Classes:

CompositeHeapTransferRelation, JvmReferenceTransferRelation, JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation

public interface ProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends TransferRelation

An interface for TransferRelations that depend on the Cfa location for which the successor can be defined for the edges of the current location.

Method Summary

Modifier and Type	Method and Description
default java.util.Collection<? extends AbstractState>	generateAbstractSuccessors(AbstractState abstractState, Precision precision) Returns abstract successor states of the abstractState under the selected precision.
java.util.Collection<? extends AbstractState>	generateEdgeAbstractSuccessors(AbstractState abstractState, CfaEdgeT edge, Precision precision) Computes the successor states for the CFA edge.
java.util.List<CfaEdgeT>	getEdges(ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT> state)
default java.util.Collection<? extends AbstractState>	wrapAbstractSuccessorInCollection(AbstractState abstractState)

Method Detail

generateEdgeAbstractSuccessors

java.util.Collection<? extends AbstractState> generateEdgeAbstractSuccessors(AbstractState abstractState,
                                                                             CfaEdgeT edge,
                                                                             Precision precision)

Computes the successor states for the CFA edge.

wrapAbstractSuccessorInCollection

default java.util.Collection<? extends AbstractState> wrapAbstractSuccessorInCollection(AbstractState abstractState)

generateAbstractSuccessors

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

Description copied from interface: TransferRelation

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

Specified by:

generateAbstractSuccessors in interface TransferRelation

getEdges

java.util.List<CfaEdgeT> getEdges(ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT> state)