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 and Description
JvmReferenceExpandOperator(JvmCfa cfa) Create the default expand operator for the JVM.

Method Summary

Modifier and Type	Method and 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

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 default expand operator for the JVM.

Parameters:

cfa - The control flow automaton of the analyzed program.

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.