Package proguard.analysis.cpa.jvm.domain.reference

Class JvmReferenceExpandOperator

java.lang.Object

proguard.analysis.cpa.jvm.operators.JvmDefaultExpandOperator<SetAbstractState<Reference>>

proguard.analysis.cpa.jvm.domain.reference.JvmReferenceExpandOperator

All Implemented Interfaces:

ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>, JvmAbstractStateFactory<SetAbstractState<Reference>>

public class JvmReferenceExpandOperator
extends JvmDefaultExpandOperator<SetAbstractState<Reference>>

This expand operator behaves the same as the JvmDefaultExpandOperator but operates on JvmReferenceAbstractStates.

Constructor Summary

Constructors

Constructor	Description
JvmReferenceExpandOperator(JvmCfa cfa)	Create the expand operator for the JVM reference analysis.
JvmReferenceExpandOperator(JvmCfa cfa, boolean expandHeap)	Create the expand operator for the JVM reference analysis.

Method Summary

Modifier and Type	Method	Description
JvmReferenceAbstractState	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<SetAbstractState<Reference>> frame, JvmHeapAbstractState<SetAbstractState<Reference>> heap, MapAbstractState<java.lang.String,SetAbstractState<Reference>> 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

JvmReferenceExpandOperator

public JvmReferenceExpandOperator(JvmCfa cfa)

Create the expand operator for the JVM reference analysis.

Parameters:

cfa - the control flow automaton of the analyzed program

JvmReferenceExpandOperator

public JvmReferenceExpandOperator(JvmCfa cfa,
                                  boolean expandHeap)

Create the expand operator for the JVM reference analysis.

Parameters:

cfa - the control flow automaton of the analyzed program

expandHeap - whether expansion of the heap is performed

Method Detail

createJvmAbstractState

public JvmReferenceAbstractState createJvmAbstractState(JvmCfaNode programLocation,
                                                        JvmFrameAbstractState<SetAbstractState<Reference>> frame,
                                                        JvmHeapAbstractState<SetAbstractState<Reference>> heap,
                                                        MapAbstractState<java.lang.String,SetAbstractState<Reference>> staticFields)

Description copied from interface: JvmAbstractStateFactory

Returns an instance of JvmAbstractState.