程序包 proguard.analysis.cpa.jvm.domain.memory

类 JvmMemoryLocationMergeJoinOperator<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationMergeJoinOperator<ContentT>

类型参数:

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

所有已实现的接口:

MergeOperator<JvmMemoryLocationAbstractState<ContentT>>

public final class JvmMemoryLocationMergeJoinOperator<ContentT extends AbstractState<ContentT>>
extends Object
implements MergeOperator<JvmMemoryLocationAbstractState<ContentT>>

This MergeOperator applies the join operator to its arguments sharing the same memory location.

构造器概要

构造器

构造器	说明
JvmMemoryLocationMergeJoinOperator()

方法概要

修饰符和类型	方法	说明
JvmMemoryLocationAbstractState<ContentT>	merge(JvmMemoryLocationAbstractState<ContentT> abstractState1, JvmMemoryLocationAbstractState<ContentT> abstractState2, Precision precision)	The operator uses the abstractState1 to weaken abstractState2 depending on precision.

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

JvmMemoryLocationMergeJoinOperator

public JvmMemoryLocationMergeJoinOperator()

方法详细资料

merge

public JvmMemoryLocationAbstractState<ContentT> merge(JvmMemoryLocationAbstractState<ContentT> abstractState1,
 JvmMemoryLocationAbstractState<ContentT> abstractState2,
 Precision precision)

从接口复制的说明: MergeOperator

The operator uses the abstractState1 to weaken abstractState2 depending on precision. Thus, it is asymmetric regarding its first two parameters. E.g., return abstractState2 for no merging. To guarantee the correct behavior of the algorithm implementations must have no side effects.

指定者:

merge 在接口中 MergeOperator<ContentT extends AbstractState<ContentT>>