proguard.analysis.cpa.jvm.domain.reference

Class JvmCompositeHeapReduceOperator

java.lang.Object

proguard.analysis.cpa.jvm.domain.reference.JvmCompositeHeapReduceOperator

All Implemented Interfaces:

ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>

public class JvmCompositeHeapReduceOperator
extends java.lang.Object
implements ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>

A wrapper class around multiple ReduceOperators applying them elementwise to CompositeHeapJvmAbstractStates.

Also discards from the heap state all nodes not in a subtree of references in method's call arguments or static variables.

Constructor Summary

Constructors

Constructor and Description
JvmCompositeHeapReduceOperator(java.util.List<? extends ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>> wrappedReducedOperators) Create a composite reduce operator from a list of reduce operators.

Method Summary

Modifier and Type	Method and Description
CompositeHeapJvmAbstractState	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

Constructor Detail

JvmCompositeHeapReduceOperator

public JvmCompositeHeapReduceOperator(java.util.List<? extends ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>> wrappedReducedOperators)

Create a composite reduce operator from a list of reduce operators.

Parameters:

wrappedReducedOperators - a list of reduce operators with the order matching the structure of the target JvmReferenceAbstractStates

Method Detail

reduce

public CompositeHeapJvmAbstractState 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