proguard.analysis.cpa.jvm.domain.taint

Class TaintExpandOperator

java.lang.Object

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

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

All Implemented Interfaces:

ExpandOperator<SetAbstractState<JvmTaintSource>>

public class TaintExpandOperator
extends DefaultExpandOperator<SetAbstractState<JvmTaintSource>>

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

Constructor Summary

Constructors

Constructor and Description
TaintExpandOperator(JvmCfa cfa, java.util.Map<Signature,java.util.Set<JvmTaintSource>> signaturesToSources) Create the operator specifying the taint sources.
TaintExpandOperator(JvmCfa cfa, java.util.Map<Signature,java.util.Set<JvmTaintSource>> signaturesToSources, boolean expandHeap) Create the operator specifying the taint sources.

Method Summary

Modifier and Type	Method and Description
protected java.util.List<SetAbstractState<JvmTaintSource>>	calculateReturnValues(JvmAbstractState<SetAbstractState<JvmTaintSource>> 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<JvmTaintSource>>	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<SetAbstractState<JvmTaintSource>> frame, JvmHeapAbstractState<SetAbstractState<JvmTaintSource>> heap, MapAbstractState<java.lang.String,SetAbstractState<JvmTaintSource>> staticFields)
JvmAbstractState<SetAbstractState<JvmTaintSource>>	expand(JvmAbstractState<SetAbstractState<JvmTaintSource>> expandedInitialState, JvmAbstractState<SetAbstractState<JvmTaintSource>> 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.
java.util.Map<Signature,java.util.Set<JvmTaintSource>>	getSignaturesToSources() Returns the mapping from fqns to taint sources.

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

expandHeap

Methods inherited from class java.lang.Object

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

Constructor Detail

TaintExpandOperator

public TaintExpandOperator(JvmCfa cfa,
                           java.util.Map<Signature,java.util.Set<JvmTaintSource>> signaturesToSources,
                           boolean expandHeap)

Create the operator specifying the taint sources.

Parameters:

cfa - the control flow automaton of the analyzed program.

signaturesToSources - a mapping from method signatures to their JvmTaintSource

expandHeap - whether expansion of the heap is performed

TaintExpandOperator

public TaintExpandOperator(JvmCfa cfa,
                           java.util.Map<Signature,java.util.Set<JvmTaintSource>> signaturesToSources)

Create the operator specifying the taint sources.

Parameters:

cfa - the control flow automaton of the analyzed program.

signaturesToSources - a mapping from method signatures to their JvmTaintSource

Method Detail

expand

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

Description copied from interface: 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.

Specified by:

expand in interface ExpandOperator<SetAbstractState<JvmTaintSource>>

Overrides:

expand in class DefaultExpandOperator<SetAbstractState<JvmTaintSource>>

Parameters:

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

Returns:

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

calculateReturnValues

protected java.util.List<SetAbstractState<JvmTaintSource>> calculateReturnValues(JvmAbstractState<SetAbstractState<JvmTaintSource>> reducedExitState,
                                                                                 Instruction returnInstruction,
                                                                                 Call call)

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

Overrides:

calculateReturnValues in class DefaultExpandOperator<SetAbstractState<JvmTaintSource>>

createJvmAbstractState

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

Overrides:

createJvmAbstractState in class DefaultExpandOperator<SetAbstractState<JvmTaintSource>>

getSignaturesToSources

public java.util.Map<Signature,java.util.Set<JvmTaintSource>> getSignaturesToSources()

Returns the mapping from fqns to taint sources.