程序包 proguard.analysis.cpa.jvm.domain.value

类 ValueReduceOperator

java.lang.Object

proguard.analysis.cpa.jvm.operators.DefaultReduceOperator<ValueAbstractState>

proguard.analysis.cpa.jvm.domain.value.ValueReduceOperator

所有已实现的接口:

ReduceOperator<ValueAbstractState>

public class ValueReduceOperator
extends DefaultReduceOperator<ValueAbstractState>

A DefaultReduceOperator that creates JvmValueAbstractStates.

构造器概要

构造器

构造器	说明
ValueReduceOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit)
ValueReduceOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, boolean reduceHeap)

方法概要

修饰符和类型	方法	说明
protected JvmAbstractState<ValueAbstractState>	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<ValueAbstractState> frame, JvmHeapAbstractState<ValueAbstractState> heap, MapAbstractState<String,ValueAbstractState> staticFields)
protected void	reduceHeap(JvmHeapAbstractState<ValueAbstractState> heap, JvmFrameAbstractState<ValueAbstractState> frame, MapAbstractState<String,ValueAbstractState> staticFields)	Reduces the heap state.

从类继承的方法 proguard.analysis.cpa.jvm.operators.DefaultReduceOperator

reduceImpl, reduceStaticFields

从类继承的方法 java.lang.Object

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

从接口继承的方法 proguard.analysis.cpa.bam.ReduceOperator

onMethodEntry, reduce

构造器详细资料

ValueReduceOperator

public ValueReduceOperator(ValueFactory valueFactory,
 ExecutingInvocationUnit executingInvocationUnit)

ValueReduceOperator

public ValueReduceOperator(ValueFactory valueFactory,
 ExecutingInvocationUnit executingInvocationUnit,
 boolean reduceHeap)

方法详细资料

reduceHeap

protected void reduceHeap(JvmHeapAbstractState<ValueAbstractState> heap,
 JvmFrameAbstractState<ValueAbstractState> frame,
 MapAbstractState<String,ValueAbstractState> staticFields)

从类复制的说明: DefaultReduceOperator

Reduces the heap state. The default implementation doesn't perform any reduction.

覆盖:

reduceHeap 在类中 DefaultReduceOperator<ValueAbstractState>

参数:

heap - the heap that is modified by this method by performing reduction

frame - the frame after reduction has been performed on it

staticFields - the static fields after reduction has been performed on them

createJvmAbstractState

protected JvmAbstractState<ValueAbstractState> createJvmAbstractState(JvmCfaNode programLocation,
 JvmFrameAbstractState<ValueAbstractState> frame,
 JvmHeapAbstractState<ValueAbstractState> heap,
 MapAbstractState<String,ValueAbstractState> staticFields)

覆盖:

createJvmAbstractState 在类中 DefaultReduceOperator<ValueAbstractState>