proguard.analysis.cpa.bam

Interface ReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

All Known Implementing Classes:

JvmCompositeHeapReduceOperator, JvmDefaultReduceOperator, JvmReferenceReduceOperator, JvmTaintReduceOperator, JvmValueReduceOperator, NoOpReduceOperator

public interface ReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

This operator is used to discard unnecessary information when entering a procedure block depending on the domain-specific analysis (e.g. local variables, caller stack).

Method Summary

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

Method Detail

reduce

AbstractState reduce(AbstractState expandedInitialState,
                     CfaNodeT blockEntryNode,
                     Call call)

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

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