Package proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintTransferRelation

java.lang.Object

proguard.analysis.cpa.jvm.transfer.JvmTransferRelation<SetAbstractState<JvmTaintSource>>

proguard.analysis.cpa.jvm.domain.taint.JvmTaintTransferRelation

All Implemented Interfaces:

ProgramLocationDependentForwardTransferRelation<SetAbstractState<JvmTaintSource>>, ProgramLocationDependentTransferRelation<SetAbstractState<JvmTaintSource>>, TransferRelation<JvmAbstractState<SetAbstractState<JvmTaintSource>>>

public class JvmTaintTransferRelation
extends JvmTransferRelation<SetAbstractState<JvmTaintSource>>

The JvmTaintTransferRelation is parametrized by a set of TaintSource methods.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	JvmTaintTransferRelation.InstructionAbstractInterpreter

Constructor Summary

Constructors

Constructor	Description
JvmTaintTransferRelation(Map<Signature,Set<JvmTaintSource>> taintSources)	Create a taint transfer relation.
JvmTaintTransferRelation(Map<Signature,Set<JvmTaintSource>> taintSources, Map<MethodSignature,JvmTaintTransformer> taintTransformers, Map<Call,Set<JvmMemoryLocation>> extraTaintPropagationLocations)

Method Summary

Modifier and Type	Method	Description
SetAbstractState<JvmTaintSource>	getAbstractDefault()	Returns a default abstract state.
protected JvmAbstractState<SetAbstractState<JvmTaintSource>>	getAbstractSuccessorForInstruction(JvmAbstractState<SetAbstractState<JvmTaintSource>> abstractState, Instruction instruction, Clazz clazz, Precision precision)	Returns the result of applying instruction to the abstractState.
void	invokeMethod(JvmAbstractState<SetAbstractState<JvmTaintSource>> state, Call call, List<SetAbstractState<JvmTaintSource>> operands)	The default implementation computes join over its arguments.

Methods inherited from class proguard.analysis.cpa.jvm.transfer.JvmTransferRelation

calculateArithmeticInstruction, computeIncrement, generateEdgeAbstractSuccessor, generateEdgeAbstractSuccessors, getAbstractByteConstant, getAbstractDoubleConstant, getAbstractFloatConstant, getAbstractIntegerConstant, getAbstractLongConstant, getAbstractNull, getAbstractReferenceValue, getAbstractShortConstant, handleCheckCast, isInstanceOf, processCall

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation

getEdges

Methods inherited from interface proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation

generateAbstractSuccessors, wrapAbstractSuccessorInCollection

Constructor Details

JvmTaintTransferRelation

public JvmTaintTransferRelation(Map<Signature,Set<JvmTaintSource>> taintSources)

Create a taint transfer relation.

Parameters:

taintSources - a mapping from fully qualified names to taint sources

JvmTaintTransferRelation

public JvmTaintTransferRelation(Map<Signature,Set<JvmTaintSource>> taintSources,
 Map<MethodSignature,JvmTaintTransformer> taintTransformers,
 Map<Call,Set<JvmMemoryLocation>> extraTaintPropagationLocations)

Method Details

invokeMethod

public void invokeMethod(JvmAbstractState<SetAbstractState<JvmTaintSource>> state,
 Call call,
 List<SetAbstractState<JvmTaintSource>> operands)

Description copied from class: JvmTransferRelation

The default implementation computes join over its arguments.

Overrides:

invokeMethod in class JvmTransferRelation<SetAbstractState<JvmTaintSource>>

getAbstractDefault

public SetAbstractState<JvmTaintSource> getAbstractDefault()

Description copied from class: JvmTransferRelation

Returns a default abstract state. In case of lattice abstract domains, it should be the bottom element.

Specified by:

getAbstractDefault in class JvmTransferRelation<SetAbstractState<JvmTaintSource>>

getAbstractSuccessorForInstruction

protected JvmAbstractState<SetAbstractState<JvmTaintSource>> getAbstractSuccessorForInstruction(JvmAbstractState<SetAbstractState<JvmTaintSource>> abstractState,
 Instruction instruction,
 Clazz clazz,
 Precision precision)

Description copied from class: JvmTransferRelation

Returns the result of applying instruction to the abstractState.

Overrides:

getAbstractSuccessorForInstruction in class JvmTransferRelation<SetAbstractState<JvmTaintSource>>