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

类 ValueExpandOperator

java.lang.Object

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

proguard.analysis.cpa.jvm.domain.value.ValueExpandOperator

所有已实现的接口:

ExpandOperator<ValueAbstractState>

public class ValueExpandOperator
extends DefaultExpandOperator<ValueAbstractState>

A DefaultExpandOperator that creates JvmValueAbstractStates.

构造器概要

构造器

构造器	说明
ValueExpandOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, JvmCfa cfa)
ValueExpandOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, JvmCfa cfa, boolean expandHeap)

方法概要

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

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

calculateReturnValues, expand, expandHeap

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

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

构造器详细资料

ValueExpandOperator

public ValueExpandOperator(ValueFactory valueFactory,
                           ExecutingInvocationUnit executingInvocationUnit,
                           JvmCfa cfa)

ValueExpandOperator

public ValueExpandOperator(ValueFactory valueFactory,
                           ExecutingInvocationUnit executingInvocationUnit,
                           JvmCfa cfa,
                           boolean expandHeap)

方法详细资料

createJvmAbstractState

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

覆盖:

createJvmAbstractState 在类中 DefaultExpandOperator<ValueAbstractState>