proguard.analysis.cpa.jvm.domain.value

Class JvmValueReduceOperator

java.lang.Object

proguard.analysis.cpa.jvm.operators.JvmDefaultReduceOperator<ValueAbstractState>

proguard.analysis.cpa.jvm.domain.value.JvmValueReduceOperator

All Implemented Interfaces:

ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>, JvmAbstractStateFactory<ValueAbstractState>

public class JvmValueReduceOperator
extends JvmDefaultReduceOperator<ValueAbstractState>

A JvmDefaultReduceOperator that creates JvmValueAbstractStates.

Constructor Summary

Constructors

Constructor and Description
JvmValueReduceOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit)
JvmValueReduceOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, boolean reduceHeap)

Method Summary

Modifier and Type	Method and Description
JvmValueAbstractState	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState frame, JvmHeapAbstractState heap, MapAbstractState staticFields) Returns an instance of JvmAbstractState.
protected void	reduceHeap(JvmHeapAbstractState<ValueAbstractState> heap, JvmFrameAbstractState<ValueAbstractState> frame, MapAbstractState<java.lang.String,ValueAbstractState> staticFields) Reduces the heap state.

Methods inherited from class proguard.analysis.cpa.jvm.operators.JvmDefaultReduceOperator

reduce, reduceStaticFields

Methods inherited from class java.lang.Object

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

Constructor Detail

JvmValueReduceOperator

public JvmValueReduceOperator(ValueFactory valueFactory,
                              ExecutingInvocationUnit executingInvocationUnit)

JvmValueReduceOperator

public JvmValueReduceOperator(ValueFactory valueFactory,
                              ExecutingInvocationUnit executingInvocationUnit,
                              boolean reduceHeap)

Method Detail

reduceHeap

protected void reduceHeap(JvmHeapAbstractState<ValueAbstractState> heap,
                          JvmFrameAbstractState<ValueAbstractState> frame,
                          MapAbstractState<java.lang.String,ValueAbstractState> staticFields)

Description copied from class: JvmDefaultReduceOperator

Reduces the heap state. The default implementation doesn't perform any reduction.

Overrides:

reduceHeap in class JvmDefaultReduceOperator<ValueAbstractState>

Parameters:

heap - the heap that is modified by this method by performing reduction

frame - the frame after reduction has been performed on it

staticFields - the static fields after reduction has been performed on them

createJvmAbstractState

public JvmValueAbstractState createJvmAbstractState(JvmCfaNode programLocation,
                                                    JvmFrameAbstractState frame,
                                                    JvmHeapAbstractState heap,
                                                    MapAbstractState staticFields)

Description copied from interface: JvmAbstractStateFactory

Returns an instance of JvmAbstractState.