Package proguard.analysis.cpa.interfaces

Interface ProgramLocationDependentBackwardTransferRelation<ContentT extends AbstractState<ContentT>>

Type Parameters:

ContentT - > The content of the jvm states produced by the transfer relation. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

All Superinterfaces:

ProgramLocationDependentTransferRelation<ContentT>, TransferRelation<JvmAbstractState<ContentT>>

public interface ProgramLocationDependentBackwardTransferRelation<ContentT extends AbstractState<ContentT>>
extends ProgramLocationDependentTransferRelation<ContentT>

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

Method Summary

Modifier and Type	Method	Description
default List<JvmCfaEdge>	getEdges(JvmAbstractState<ContentT> state)

Methods inherited from interface proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation

generateAbstractSuccessors, generateEdgeAbstractSuccessors, wrapAbstractSuccessorInCollection

Method Details

getEdges

default List<JvmCfaEdge> getEdges(JvmAbstractState<ContentT> state)

Specified by:

getEdges in interface ProgramLocationDependentTransferRelation<ContentT extends AbstractState<ContentT>>