Package proguard.analysis.cpa.jvm.domain.value

Class ValueReduceOperator

java.lang.Object

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

proguard.analysis.cpa.jvm.domain.value.ValueReduceOperator

All Implemented Interfaces:

ReduceOperator<ValueAbstractState>

public class ValueReduceOperator
extends DefaultReduceOperator<ValueAbstractState>

A DefaultReduceOperator that creates JvmValueAbstractStates.

Constructor Summary

Constructors

Constructor	Description
ValueReduceOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit)
ValueReduceOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, boolean reduceHeap)

Method Summary

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

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

reduceImpl, reduceStaticFields

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.bam.ReduceOperator

onMethodEntry, reduce

Constructor Details

ValueReduceOperator

public ValueReduceOperator(ValueFactory valueFactory,
 ExecutingInvocationUnit executingInvocationUnit)

ValueReduceOperator

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

Method Details

reduceHeap

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

Description copied from class: DefaultReduceOperator

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

Overrides:

reduceHeap in class DefaultReduceOperator<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

protected JvmAbstractState<ValueAbstractState> createJvmAbstractState(JvmCfaNode programLocation,
 JvmFrameAbstractState<ValueAbstractState> frame,
 JvmHeapAbstractState<ValueAbstractState> heap,
 MapAbstractState<String,ValueAbstractState> staticFields)

Overrides:

createJvmAbstractState in class DefaultReduceOperator<ValueAbstractState>