程序包 proguard.analysis.cpa.interfaces

接口 ProgramLocationDependentTransferRelation<ContentT extends AbstractState<ContentT>>

类型参数:

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.

所有超级接口:

TransferRelation<JvmAbstractState<ContentT>>

所有已知子接口:

ProgramLocationDependentBackwardTransferRelation<ContentT>, ProgramLocationDependentForwardTransferRelation<ContentT>

所有已知实现类:

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.

方法概要

修饰符和类型	方法	说明
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)

方法详细资料

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)

从接口复制的说明: TransferRelation

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

指定者:

generateAbstractSuccessors 在接口中 TransferRelation<ContentT extends AbstractState<ContentT>>

getEdges

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