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	reduceImpl(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.bam.ReduceOperator

onMethodEntry, reduce

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

reduceImpl

public CompositeHeapJvmAbstractState reduceImpl(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:

reduceImpl 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