proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintTransferRelation

java.lang.Object

proguard.analysis.cpa.jvm.transfer.JvmTransferRelation<TaintAbstractState>

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

All Implemented Interfaces:

ProgramLocationDependentTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>, TransferRelation

public class JvmTaintTransferRelation
extends JvmTransferRelation<TaintAbstractState>

The JvmTaintTransferRelation is parametrized by a set of TaintSource methods.

Constructor Summary

Constructors

Constructor and Description
JvmTaintTransferRelation(java.util.Map<java.lang.String,TaintSource> taintSources) Create a taint transfer relation.

Method Summary

Modifier and Type	Method and Description
TaintAbstractState	getAbstractDefault() Returns a default abstract state.
void	invokeMethod(JvmAbstractState<TaintAbstractState> state, Call call, java.util.List<TaintAbstractState> operands) The default implementation computes join over its arguments.

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

applyInstruction, getAbstractByteConstant, getAbstractDoubleConstant, getAbstractFloatConstant, getAbstractIntegerConstant, getAbstractLongConstant, getAbstractNull, getAbstractShortConstant, getAbstractSuccessorForInstruction, getEdgeAbstractSuccessor, 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.ProgramLocationDependentTransferRelation

getAbstractSuccessors

Constructor Detail

JvmTaintTransferRelation

public JvmTaintTransferRelation(java.util.Map<java.lang.String,TaintSource> taintSources)

Create a taint transfer relation.

Parameters:

taintSources - a mapping from fully qualified names to taint sources

Method Detail

invokeMethod

public void invokeMethod(JvmAbstractState<TaintAbstractState> state,
                         Call call,
                         java.util.List<TaintAbstractState> operands)

Description copied from class: JvmTransferRelation

The default implementation computes join over its arguments.

Overrides:

invokeMethod in class JvmTransferRelation<TaintAbstractState>

getAbstractDefault

public TaintAbstractState 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<TaintAbstractState>