ProgramLocationDependentTransferRelation (ProGuardCORE)

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:: 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

Description

default Collection<JvmAbstractState<ContentT>>

generateAbstractSuccessors(JvmAbstractState<ContentT> abstractState, Precision precision)

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

Collection<JvmAbstractState<ContentT>>

generateEdgeAbstractSuccessors(JvmAbstractState<ContentT> abstractState, JvmCfaEdge edge, Precision precision)

Computes the successor states for the CFA edge.

List<JvmCfaEdge>

getEdges(JvmAbstractState<ContentT> state)

default Collection<JvmAbstractState<ContentT>>

wrapAbstractSuccessorInCollection(JvmAbstractState<ContentT> abstractState)

Method Details
- generateEdgeAbstractSuccessors
  
  Collection<JvmAbstractState<ContentT>> generateEdgeAbstractSuccessors(JvmAbstractState<ContentT> abstractState, JvmCfaEdge edge, Precision precision)
  
  Computes the successor states for the CFA edge.
- wrapAbstractSuccessorInCollection
  
  default Collection<JvmAbstractState<ContentT>> wrapAbstractSuccessorInCollection(JvmAbstractState<ContentT> abstractState)
- generateAbstractSuccessors
  
  default 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<ContentT extends AbstractState<ContentT>>
- getEdges
  
  List<JvmCfaEdge> getEdges(JvmAbstractState<ContentT> state)