proguard.analysis.cpa.jvm.operators

Class JvmDefaultReduceOperator<StateT extends LatticeAbstractState<StateT>>

java.lang.Object

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

All Implemented Interfaces:

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

Direct Known Subclasses:

JvmReferenceReduceOperator

public class JvmDefaultReduceOperator<StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>, JvmAbstractStateFactory<StateT>

This ReduceOperator simulates the JVM behavior on a method call. It takes a clone of the caller JvmAbstractState, creates an empty stack and a local variables array with the callee arguments.

Constructor Summary

Constructors

Constructor and Description
JvmDefaultReduceOperator()

Method Summary

Modifier and Type	Method and Description
JvmAbstractState<StateT>	reduce(AbstractState expandedInitialState, JvmCfaNode blockEntryNode, Call call) Creates the initial state of the called procedure discarding the useless information from the state of the caller.

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.jvm.state.JvmAbstractStateFactory

createJvmAbstractState

Constructor Detail

JvmDefaultReduceOperator

public JvmDefaultReduceOperator()

Method Detail

reduce

public JvmAbstractState<StateT> reduce(AbstractState expandedInitialState,
                                       JvmCfaNode blockEntryNode,
                                       Call call)

Description copied from interface: ReduceOperator

Creates the initial state of the called procedure discarding the useless information from the state of the caller.

Specified by:

reduce in interface ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>

Parameters:

expandedInitialState - the entry state of the called procedure before any reduction

blockEntryNode - the entry node of the called procedure

call - the information of the call to the procedure

Returns:

The entry state of the called procedure