程序包 proguard.analysis.cpa.bam

接口 ReduceOperator<ContentT extends AbstractState<ContentT>>

类型参数:

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.

所有已知实现类:

DefaultReduceOperator, NoOpReduceOperator, TaintReduceOperator, ValueReduceOperator

public interface ReduceOperator<ContentT extends AbstractState<ContentT>>

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).

方法概要

修饰符和类型	方法	说明
default JvmAbstractState<ContentT>	onMethodEntry(JvmAbstractState<ContentT> reducedState, boolean isStatic)	Performs additional operations on the reduced state (i.e. on the method entry state).
default JvmAbstractState<ContentT>	reduce(JvmAbstractState<ContentT> expandedInitialState, JvmCfaNode blockEntryNode, Call call)	Accumulates the reduction procedure by calling the method to create the initial state of the called procedure discarding the useless information from the state of the caller and calling a method that performs additional operations on the created state if any are specified by an implementing class.
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.

方法详细资料

reduce

default JvmAbstractState<ContentT> reduce(JvmAbstractState<ContentT> expandedInitialState,
                                          JvmCfaNode blockEntryNode,
                                          Call call)

Accumulates the reduction procedure by calling the method to create the initial state of the called procedure discarding the useless information from the state of the caller and calling a method that performs additional operations on the created state if any are specified by an implementing class.

参数:

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

返回:

The entry state of the called procedure

reduceImpl

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.

参数:

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

返回:

The entry state of the called procedure

onMethodEntry

default JvmAbstractState<ContentT> onMethodEntry(JvmAbstractState<ContentT> reducedState,
                                                 boolean isStatic)

Performs additional operations on the reduced state (i.e. on the method entry state). Does nothing by default. NB: since this is still part of the reduction operation the result of this method is the state used by the analysis and part of the cache key for the called method.

参数:

reducedState - reduced state (i.e., the entry state of the called method)

isStatic - is the called method static

返回:

the state after performing additional operations or untouched state by default