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

Class JvmReferenceReduceOperator

java.lang.Object

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

proguard.analysis.cpa.jvm.domain.reference.JvmReferenceReduceOperator

All Implemented Interfaces:

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

public class JvmReferenceReduceOperator
extends JvmDefaultReduceOperator<SetAbstractState<Reference>>

This reduce operator behaves the same as the JvmDefaultReduceOperator but operates on JvmReferenceAbstractStates.

Constructor Summary

Constructors

Constructor	Description
JvmReferenceReduceOperator()	Create the reduce operator for the JVM reference analysis.
JvmReferenceReduceOperator(boolean reduceHeap)	Create the reduce 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.JvmDefaultReduceOperator

reduceHeap, reduceImpl, reduceStaticFields

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.bam.ReduceOperator

onMethodEntry, reduce

Constructor Detail

JvmReferenceReduceOperator

public JvmReferenceReduceOperator()

Create the reduce operator for the JVM reference analysis.

JvmReferenceReduceOperator

public JvmReferenceReduceOperator(boolean reduceHeap)

Create the reduce operator for the JVM reference analysis.

Parameters:

reduceHeap - whether reduction 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.