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 and 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 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.
protected void	reduceHeap(JvmHeapAbstractState<SetAbstractState<Reference>> heap, JvmFrameAbstractState<SetAbstractState<Reference>> reducedFrame, MapAbstractState<java.lang.String,SetAbstractState<Reference>> reducedStaticFields) Performs reduction of the JvmTreeHeapPrincipalAbstractState keeping just the portion of the tree rooted at references in static fields and parameters.

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

reduce, reduceStaticFields

Methods inherited from class java.lang.Object

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

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

reduceHeap

protected void reduceHeap(JvmHeapAbstractState<SetAbstractState<Reference>> heap,
                          JvmFrameAbstractState<SetAbstractState<Reference>> reducedFrame,
                          MapAbstractState<java.lang.String,SetAbstractState<Reference>> reducedStaticFields)

Performs reduction of the JvmTreeHeapPrincipalAbstractState keeping just the portion of the tree rooted at references in static fields and parameters.

Overrides:

reduceHeap in class JvmDefaultReduceOperator<SetAbstractState<Reference>>

Parameters:

heap - the heap that is modified by this method by performing reduction

reducedFrame - the frame after reduction has been performed on it

reducedStaticFields - the static fields after reduction has been performed on them

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.