程序包 proguard.analysis.cpa.interfaces

接口 ProgramLocationDependentForwardTransferRelation<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.

所有超级接口:

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

所有已知实现类:

JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation

public interface ProgramLocationDependentForwardTransferRelation<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 leaving edges of the current location.

方法概要

修饰符和类型	方法	说明
default List<JvmCfaEdge>	getEdges(JvmAbstractState<ContentT> state)

从接口继承的方法 proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation

generateAbstractSuccessors, generateEdgeAbstractSuccessors, wrapAbstractSuccessorInCollection

方法详细资料

getEdges

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

指定者:

getEdges 在接口中 ProgramLocationDependentTransferRelation<ContentT extends AbstractState<ContentT>>