程序包 proguard.analysis.cpa.jvm.domain.taint

类 TaintReduceOperator

java.lang.Object

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

proguard.analysis.cpa.jvm.domain.taint.TaintReduceOperator

所有已实现的接口:

ReduceOperator<SetAbstractState<JvmTaintSource>>

public class TaintReduceOperator
extends DefaultReduceOperator<SetAbstractState<JvmTaintSource>>

This ReduceOperator inherits all the functionalities of a DefaultReduceOperator while adding taint-analysis specific functionalities.

构造器概要

构造器

构造器	说明
TaintReduceOperator(boolean reduceHeap)	Create the taint reduce operator for the JVM.
TaintReduceOperator(boolean reduceHeap, java.util.Map<Signature,java.util.Set<JvmTaintSource>> taintSources)	Create the taint reduce operator for the JVM.

方法概要

修饰符和类型	方法	说明
protected JvmAbstractState<SetAbstractState<JvmTaintSource>>	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<SetAbstractState<JvmTaintSource>> frame, JvmHeapAbstractState<SetAbstractState<JvmTaintSource>> heap, MapAbstractState<java.lang.String,SetAbstractState<JvmTaintSource>> staticFields)
JvmAbstractState<SetAbstractState<JvmTaintSource>>	onMethodEntry(JvmAbstractState<SetAbstractState<JvmTaintSource>> reducedState, boolean isCallStatic)	Performs additional operations on the reduced state (i.e. on the method entry state).

从类继承的方法 proguard.analysis.cpa.jvm.operators.DefaultReduceOperator

reduceHeap, reduceImpl, reduceStaticFields

从类继承的方法 java.lang.Object

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

从接口继承的方法 proguard.analysis.cpa.bam.ReduceOperator

reduce

构造器详细资料

TaintReduceOperator

public TaintReduceOperator(boolean reduceHeap)

Create the taint reduce operator for the JVM.

参数:

reduceHeap - whether reduction of the heap is performed

TaintReduceOperator

public TaintReduceOperator(boolean reduceHeap,
                           java.util.Map<Signature,java.util.Set<JvmTaintSource>> taintSources)

Create the taint reduce operator for the JVM.

参数:

reduceHeap - whether reduction of the heap is performed

taintSources - collection of taint sources

方法详细资料

createJvmAbstractState

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

覆盖:

createJvmAbstractState 在类中 DefaultReduceOperator<SetAbstractState<JvmTaintSource>>

onMethodEntry

public JvmAbstractState<SetAbstractState<JvmTaintSource>> onMethodEntry(JvmAbstractState<SetAbstractState<JvmTaintSource>> reducedState,
                                                                        boolean isCallStatic)

从接口复制的说明: ReduceOperator

Performs additional operations on the reduced state (i.e. on the method entry state). Does nothing by default. NB: since this is still part of the reduction operation the result of this method is the state used by the analysis and part of the cache key for the called method.

参数:

reducedState - reduced state (i.e., the entry state of the called method)

isCallStatic - is the called method static

返回:

the state after performing additional operations or untouched state by default