Package proguard.analysis.cpa.jvm.domain.memory

Class JvmMemoryLocationMergeJoinOperator<ContentT extends AbstractState<ContentT>>

java.lang.Object

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

Type Parameters:

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.

All Implemented Interfaces:

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.

Constructor Summary

Constructors

Constructor	Description
JvmMemoryLocationMergeJoinOperator()

Method Summary

Modifier and Type	Method	Description
JvmMemoryLocationAbstractState<ContentT>	merge(JvmMemoryLocationAbstractState<ContentT> abstractState1, JvmMemoryLocationAbstractState<ContentT> abstractState2, Precision precision)	The operator uses the abstractState1 to weaken abstractState2 depending on precision.

Methods inherited from class java.lang.Object

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

Constructor Details

JvmMemoryLocationMergeJoinOperator

public JvmMemoryLocationMergeJoinOperator()

Method Details

merge

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

Description copied from interface: 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.

Specified by:

merge in interface MergeOperator<ContentT extends AbstractState<ContentT>>