proguard.analysis.cpa.interfaces

Interface ProgramLocationDependentTransferRelation<ContentT extends AbstractState<ContentT>>

All Superinterfaces:

TransferRelation<JvmAbstractState<ContentT>>

All Known Subinterfaces:

ProgramLocationDependentBackwardTransferRelation<ContentT>, ProgramLocationDependentForwardTransferRelation<ContentT>

All Known Implementing Classes:

JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation

public interface ProgramLocationDependentTransferRelation<ContentT extends AbstractState<ContentT>>
extends TransferRelation<JvmAbstractState<ContentT>>

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<JvmAbstractState<ContentT>>	generateAbstractSuccessors(JvmAbstractState<ContentT> abstractState, Precision precision) Returns abstract successor states of the abstractState under the selected precision.
java.util.Collection<JvmAbstractState<ContentT>>	generateEdgeAbstractSuccessors(JvmAbstractState<ContentT> abstractState, JvmCfaEdge edge, Precision precision) Computes the successor states for the CFA edge.
java.util.List<JvmCfaEdge>	getEdges(JvmAbstractState<ContentT> state)
default java.util.Collection<JvmAbstractState<ContentT>>	wrapAbstractSuccessorInCollection(JvmAbstractState<ContentT> abstractState)

Method Detail

generateEdgeAbstractSuccessors

java.util.Collection<JvmAbstractState<ContentT>> generateEdgeAbstractSuccessors(JvmAbstractState<ContentT> abstractState,
                                                                                JvmCfaEdge edge,
                                                                                Precision precision)

Computes the successor states for the CFA edge.

wrapAbstractSuccessorInCollection

default java.util.Collection<JvmAbstractState<ContentT>> wrapAbstractSuccessorInCollection(JvmAbstractState<ContentT> abstractState)

generateAbstractSuccessors

default java.util.Collection<JvmAbstractState<ContentT>> generateAbstractSuccessors(JvmAbstractState<ContentT> 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<JvmAbstractState<ContentT extends AbstractState<ContentT>>>

getEdges

java.util.List<JvmCfaEdge> getEdges(JvmAbstractState<ContentT> state)