proguard.analysis.cpa.jvm.domain.memory

Class JvmMemoryLocationMergeJoinOperator

java.lang.Object

proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationMergeJoinOperator

All Implemented Interfaces:

MergeOperator

public final class JvmMemoryLocationMergeJoinOperator
extends java.lang.Object
implements MergeOperator

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

Constructor Summary

Constructors

Constructor and Description
JvmMemoryLocationMergeJoinOperator(AbstractDomain abstractDomain) Create a merge operator from an abstract domain defining the join operator.

Method Summary

Modifier and Type	Method and Description
AbstractState	merge(AbstractState abstractState1, AbstractState 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 Detail

JvmMemoryLocationMergeJoinOperator

public JvmMemoryLocationMergeJoinOperator(AbstractDomain abstractDomain)

Create a merge operator from an abstract domain defining the join operator.

Parameters:

abstractDomain - abstract domain

Method Detail

merge

public AbstractState merge(AbstractState abstractState1,
                           AbstractState 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