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

类 JvmTaintTransferRelation

java.lang.Object

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

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

所有已实现的接口:

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

public class JvmTaintTransferRelation
extends JvmTransferRelation<SetAbstractState<TaintSource>>

The JvmTaintTransferRelation is parametrized by a set of TaintSource methods.

嵌套类概要

嵌套类

修饰符和类型	类	说明
protected class	JvmTaintTransferRelation.InstructionAbstractInterpreter

构造器概要

构造器

构造器	说明
JvmTaintTransferRelation(Map<Signature,Set<TaintSource>> taintSources)	Create a taint transfer relation.
JvmTaintTransferRelation(Map<Signature,Set<TaintSource>> taintSources, Map<MethodSignature,JvmTaintTransformer> taintTransformers, Map<Call,Set<JvmMemoryLocation>> extraTaintPropagationLocations)

方法概要

修饰符和类型	方法	说明
SetAbstractState<TaintSource>	getAbstractDefault()	Returns a default abstract state.
protected JvmAbstractState<SetAbstractState<TaintSource>>	getAbstractSuccessorForInstruction(JvmAbstractState<SetAbstractState<TaintSource>> abstractState, Instruction instruction, Clazz clazz, Precision precision)	Returns the result of applying instruction to the abstractState.
void	invokeMethod(JvmAbstractState<SetAbstractState<TaintSource>> state, Call call, List<SetAbstractState<TaintSource>> operands)	The default implementation computes join over its arguments.

从类继承的方法 proguard.analysis.cpa.jvm.transfer.JvmTransferRelation

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

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

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

从接口继承的方法 proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation

getEdges

从接口继承的方法 proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation

generateAbstractSuccessors, wrapAbstractSuccessorInCollection

构造器详细资料

JvmTaintTransferRelation

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

Create a taint transfer relation.

参数:

taintSources - a mapping from fully qualified names to taint sources

JvmTaintTransferRelation

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

方法详细资料

invokeMethod

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

从类复制的说明: JvmTransferRelation

The default implementation computes join over its arguments.

覆盖:

invokeMethod 在类中 JvmTransferRelation<SetAbstractState<TaintSource>>

getAbstractDefault

public SetAbstractState<TaintSource> getAbstractDefault()

从类复制的说明: JvmTransferRelation

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

指定者:

getAbstractDefault 在类中 JvmTransferRelation<SetAbstractState<TaintSource>>

getAbstractSuccessorForInstruction

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

从类复制的说明: JvmTransferRelation

Returns the result of applying instruction to the abstractState.

覆盖:

getAbstractSuccessorForInstruction 在类中 JvmTransferRelation<SetAbstractState<TaintSource>>