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

类 TaintExpandOperator

java.lang.Object

proguard.analysis.cpa.jvm.operators.DefaultExpandOperator<SetAbstractState<TaintSource>>

proguard.analysis.cpa.jvm.domain.taint.TaintExpandOperator

所有已实现的接口:

ExpandOperator<SetAbstractState<TaintSource>>

public class TaintExpandOperator
extends DefaultExpandOperator<SetAbstractState<TaintSource>>

This ExpandOperator inherits all the functionalities of a DefaultExpandOperator and in addition taints the return values if the called function is a source.

构造器概要

构造器

构造器	说明
TaintExpandOperator(JvmCfa cfa, Map<Signature,Set<TaintSource>> signaturesToSources)	Create the operator specifying the taint sources.
TaintExpandOperator(JvmCfa cfa, Map<Signature,Set<TaintSource>> signaturesToSources, boolean expandHeap)	Create the operator specifying the taint sources.

方法概要

修饰符和类型	方法	说明
protected List<SetAbstractState<TaintSource>>	calculateReturnValues(JvmAbstractState<SetAbstractState<TaintSource>> reducedExitState, Instruction returnInstruction, Call call)	The calculation of return values supports tainting it in case the analyzed method is a taint source.
protected JvmAbstractState<SetAbstractState<TaintSource>>	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<SetAbstractState<TaintSource>> frame, JvmHeapAbstractState<SetAbstractState<TaintSource>> heap, MapAbstractState<String,SetAbstractState<TaintSource>> staticFields)
JvmAbstractState<SetAbstractState<TaintSource>>	expand(JvmAbstractState<SetAbstractState<TaintSource>> expandedInitialState, JvmAbstractState<SetAbstractState<TaintSource>> reducedExitState, JvmCfaNode blockEntryNode, Call call)	Reconstructs the state of the caller of a procedure using the information of the expanded initial state, the reduced exit state, the block entry node (that can be used to retrieve the CFA subgraph of the function), and the call to the procedure.
Map<Signature,Set<TaintSource>>	getSignaturesToSources()	Returns the mapping from fqns to taint sources.

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

expandHeap

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

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

构造器详细资料

TaintExpandOperator

public TaintExpandOperator(JvmCfa cfa,
 Map<Signature,Set<TaintSource>> signaturesToSources,
 boolean expandHeap)

Create the operator specifying the taint sources.

参数:

cfa - the control flow automaton of the analyzed program.

signaturesToSources - a mapping from method signatures to their TaintSource

expandHeap - whether expansion of the heap is performed

TaintExpandOperator

public TaintExpandOperator(JvmCfa cfa,
 Map<Signature,Set<TaintSource>> signaturesToSources)

Create the operator specifying the taint sources.

参数:

cfa - the control flow automaton of the analyzed program.

signaturesToSources - a mapping from method signatures to their TaintSource

方法详细资料

expand

public JvmAbstractState<SetAbstractState<TaintSource>> expand(JvmAbstractState<SetAbstractState<TaintSource>> expandedInitialState,
 JvmAbstractState<SetAbstractState<TaintSource>> reducedExitState,
 JvmCfaNode blockEntryNode,
 Call call)

从接口复制的说明: ExpandOperator

Reconstructs the state of the caller of a procedure using the information of the expanded initial state, the reduced exit state, the block entry node (that can be used to retrieve the CFA subgraph of the function), and the call to the procedure.

指定者:

expand 在接口中 ExpandOperator<SetAbstractState<TaintSource>>

覆盖:

expand 在类中 DefaultExpandOperator<SetAbstractState<TaintSource>>

参数:

expandedInitialState - the entry state of the called procedure before any reduction

reducedExitState - the state of the called procedure in its exit node

blockEntryNode - the entry node of the called procedure

call - the information of the call to the procedure

返回:

The state of the caller after the procedure call, eventually with some collisions of identifiers that need the RebuildOperator to be solved

calculateReturnValues

protected List<SetAbstractState<TaintSource>> calculateReturnValues(JvmAbstractState<SetAbstractState<TaintSource>> reducedExitState,
 Instruction returnInstruction,
 Call call)

The calculation of return values supports tainting it in case the analyzed method is a taint source.

覆盖:

calculateReturnValues 在类中 DefaultExpandOperator<SetAbstractState<TaintSource>>

createJvmAbstractState

protected JvmAbstractState<SetAbstractState<TaintSource>> createJvmAbstractState(JvmCfaNode programLocation,
 JvmFrameAbstractState<SetAbstractState<TaintSource>> frame,
 JvmHeapAbstractState<SetAbstractState<TaintSource>> heap,
 MapAbstractState<String,SetAbstractState<TaintSource>> staticFields)

覆盖:

createJvmAbstractState 在类中 DefaultExpandOperator<SetAbstractState<TaintSource>>

getSignaturesToSources

public Map<Signature,Set<TaintSource>> getSignaturesToSources()

Returns the mapping from fqns to taint sources.