proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintReduceOperator

java.lang.Object

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

proguard.analysis.cpa.jvm.domain.taint.JvmTaintReduceOperator

All Implemented Interfaces:

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

public class JvmTaintReduceOperator
extends JvmDefaultReduceOperator<SetAbstractState<JvmTaintSource>>

This ReduceOperator inherits all the functionalities of a JvmDefaultReduceOperator and adjusts the return type to be the JvmTaintAbstractState.

Constructor Summary

Constructors

Constructor and Description
JvmTaintReduceOperator(boolean reduceHeap) Create the taint reduce operator for the JVM.

Method Summary

Modifier and Type	Method and Description
JvmTaintAbstractState	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<SetAbstractState<JvmTaintSource>> frame, JvmHeapAbstractState<SetAbstractState<JvmTaintSource>> heap, MapAbstractState<java.lang.String,SetAbstractState<JvmTaintSource>> staticFields) Returns an instance of JvmAbstractState.

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

reduce, reduceHeap, reduceStaticFields

Methods inherited from class java.lang.Object

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

Constructor Detail

JvmTaintReduceOperator

public JvmTaintReduceOperator(boolean reduceHeap)

Create the taint reduce operator for the JVM.

Parameters:

reduceHeap - whether reduction of the heap is performed

Method Detail

createJvmAbstractState

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

Description copied from interface: JvmAbstractStateFactory

Returns an instance of JvmAbstractState.