程序包 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 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)

方法详细资料

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)

从接口复制的说明: TransferRelation

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

指定者:

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

getEdges

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