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>	getAbstractSuccessors(AbstractState abstractState, Precision precision) Returns abstract successor states of the abstractState under the selected precision.
AbstractState	getEdgeAbstractSuccessor(AbstractState abstractState, CfaEdgeT edge, Precision precision) Computes a successor state for the CFA edge.
java.util.List<CfaEdgeT>	getEdges(ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT> state)

Method Detail

getEdgeAbstractSuccessor

AbstractState getEdgeAbstractSuccessor(AbstractState abstractState,
                                       CfaEdgeT edge,
                                       Precision precision)

Computes a successor state for the CFA edge.

getAbstractSuccessors

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

Description copied from interface: TransferRelation

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

Specified by:

getAbstractSuccessors in interface TransferRelation

getEdges

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