proguard.analysis.cpa.jvm.domain.value

Class JvmValueExpandOperator

java.lang.Object

proguard.analysis.cpa.jvm.operators.JvmDefaultExpandOperator<JvmAbstractState<ValueAbstractState>>

proguard.analysis.cpa.jvm.domain.value.JvmValueExpandOperator

All Implemented Interfaces:

ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>, JvmAbstractStateFactory<JvmAbstractState<ValueAbstractState>>

public class JvmValueExpandOperator
extends JvmDefaultExpandOperator<JvmAbstractState<ValueAbstractState>>

A JvmDefaultExpandOperator that creates JvmValueAbstractStates.

Constructor Summary

Constructors

Constructor and Description
JvmValueExpandOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, JvmCfa cfa)
JvmValueExpandOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, JvmCfa cfa, boolean expandHeap)

Method Summary

Modifier and Type	Method and Description
JvmValueAbstractState	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState frame, JvmHeapAbstractState heap, MapAbstractState staticFields) Returns an instance of JvmAbstractState.

Methods inherited from class proguard.analysis.cpa.jvm.operators.JvmDefaultExpandOperator

calculateReturnValues, expand, expandHeap

Methods inherited from class java.lang.Object

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

Constructor Detail

JvmValueExpandOperator

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

JvmValueExpandOperator

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

Method Detail

createJvmAbstractState

public JvmValueAbstractState createJvmAbstractState(JvmCfaNode programLocation,
                                                    JvmFrameAbstractState frame,
                                                    JvmHeapAbstractState heap,
                                                    MapAbstractState staticFields)

Description copied from interface: JvmAbstractStateFactory

Returns an instance of JvmAbstractState.