proguard.analysis.cpa.bam

Class NoOpReduceOperator<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.bam.NoOpReduceOperator<ContentT>

Type Parameters:

ContentT - The content of the jvm states. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

All Implemented Interfaces:

ReduceOperator<ContentT>

public class NoOpReduceOperator<ContentT extends AbstractState<ContentT>>
extends java.lang.Object
implements ReduceOperator<ContentT>

This ReduceOperator returns the original AbstractState without performing any reduction.

Constructor Summary

Constructors

Constructor and Description
NoOpReduceOperator()

Method Summary

Modifier and Type	Method and Description
JvmAbstractState<ContentT>	reduceImpl(JvmAbstractState<ContentT> 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

NoOpReduceOperator

public NoOpReduceOperator()

Method Detail

reduceImpl

public JvmAbstractState<ContentT> reduceImpl(JvmAbstractState<ContentT> 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<ContentT extends AbstractState<ContentT>>

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