proguard.analysis.cpa.domain.arg

Class ArgExpandOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

java.lang.Object

proguard.analysis.cpa.domain.arg.ArgExpandOperator<CfaNodeT,CfaEdgeT,SignatureT>

All Implemented Interfaces:

ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT>

public class ArgExpandOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends java.lang.Object
implements ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT>

This wrapper expand operator delegates expansion to its inner ExpandOperator and wraps the output with an ARG node.

Field Summary

Fields

Modifier and Type	Field and Description
protected ArgAbstractStateFactory	argAbstractStateFactory
protected ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT>	wrappedExpandOperator

Constructor Summary

Constructors

Constructor and Description
ArgExpandOperator(ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT> wrappedExpandOperator, ArgAbstractStateFactory argAbstractStateFactory) Create a wrapper expand operator.

Method Summary

Modifier and Type	Method and Description
ArgAbstractState	expand(AbstractState expandedInitialState, AbstractState reducedExitState, CfaNodeT 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

wrappedExpandOperator

protected final ExpandOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> wrappedExpandOperator

argAbstractStateFactory

protected final ArgAbstractStateFactory argAbstractStateFactory

Constructor Detail

ArgExpandOperator

public ArgExpandOperator(ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT> wrappedExpandOperator,
                         ArgAbstractStateFactory argAbstractStateFactory)

Create a wrapper expand operator.

Parameters:

wrappedExpandOperator - an expand operator to be wrapped

argAbstractStateFactory - an ARG node factory

Method Detail

expand

public ArgAbstractState expand(AbstractState expandedInitialState,
                               AbstractState reducedExitState,
                               CfaNodeT 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<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

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