proguard.analysis.cpa.jvm.domain.reference

Class JvmCompositeHeapExpandOperator

java.lang.Object

proguard.analysis.cpa.jvm.domain.reference.JvmCompositeHeapExpandOperator

All Implemented Interfaces:

ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>

public class JvmCompositeHeapExpandOperator
extends java.lang.Object
implements ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>

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

Also recovers all the heap nodes that have been discarded at the call site.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<? extends ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>>	wrappedExpandOperators

Constructor Summary

Constructors

Constructor and Description
JvmCompositeHeapExpandOperator(java.util.List<? extends ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>> wrappedExpandOperators) Create a composite expand operator from a list of expand operators.

Method Summary

Modifier and Type	Method and Description
CompositeHeapJvmAbstractState	expand(AbstractState expandedInitialState, AbstractState reducedExitState, JvmCfaNode blockEntryNode, Call call) Reconstructs the state of the caller of a procedure using the information of the expanded initial state, the reduced exit state, the block entry node (that can be used to retrieve the CFA subgraph of the function), and the call to the procedure.

Methods inherited from class java.lang.Object

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

Field Detail

wrappedExpandOperators

protected final java.util.List<? extends ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>> wrappedExpandOperators

Constructor Detail

JvmCompositeHeapExpandOperator

public JvmCompositeHeapExpandOperator(java.util.List<? extends ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>> wrappedExpandOperators)

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

Parameters:

wrappedExpandOperators - a list of expand operators with the order matching the structure of the target JvmReferenceAbstractStates

Method Detail

expand

public CompositeHeapJvmAbstractState expand(AbstractState expandedInitialState,
                                            AbstractState reducedExitState,
                                            JvmCfaNode blockEntryNode,
                                            Call call)

Description copied from interface: ExpandOperator

Reconstructs the state of the caller of a procedure using the information of the expanded initial state, the reduced exit state, the block entry node (that can be used to retrieve the CFA subgraph of the function), and the call to the procedure.

Specified by:

expand in interface ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>

Parameters:

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

reducedExitState - the state of the called procedure in its exit node

blockEntryNode - the entry node of the called procedure

call - the information of the call to the procedure

Returns:

The state of the caller after the procedure call, eventually with some collisions of identifiers that need the RebuildOperator to be solved