soot.jimple.infoflow.handlers

接口 TaintPropagationHandler

所有已知实现类:

SequentialTaintPropagationHandler

public interface TaintPropagationHandler

Handler interface for callbacks during taint propagation

作者:

Steven Arzt, Malte Viering

嵌套类概要

嵌套类

限定符和类型	接口和说明
static class	TaintPropagationHandler.FlowFunctionType Enumeration containing the supported types of data flow edges

方法概要

限定符和类型	方法和说明
void	notifyFlowIn(soot.Unit stmt, Abstraction taint, InfoflowManager manager, TaintPropagationHandler.FlowFunctionType type) Handler function that is invoked when a taint is proagated in the data flow engine
Set<Abstraction>	notifyFlowOut(soot.Unit stmt, Abstraction d1, Abstraction incoming, Set<Abstraction> outgoing, InfoflowManager manager, TaintPropagationHandler.FlowFunctionType type) Handler function that is invoked when a new taint is generated in the data flow engine

方法详细资料

notifyFlowIn

void notifyFlowIn(soot.Unit stmt,
                  Abstraction taint,
                  InfoflowManager manager,
                  TaintPropagationHandler.FlowFunctionType type)

Handler function that is invoked when a taint is proagated in the data flow engine

参数:

stmt - The statement over which the taint is propagated

taint - The taint being propagated

manager - The manager object that gives access to the data flow engine

type - The type of data flow edge being processed

notifyFlowOut

Set<Abstraction> notifyFlowOut(soot.Unit stmt,
                               Abstraction d1,
                               Abstraction incoming,
                               Set<Abstraction> outgoing,
                               InfoflowManager manager,
                               TaintPropagationHandler.FlowFunctionType type)

Handler function that is invoked when a new taint is generated in the data flow engine

参数:

stmt - The statement over which the taint is propagated

d1 - The abstraction at the beginning of the current method

incoming - The original abstraction from which the outgoing ones were computed

outgoing - The set of taints being propagated

manager - The manager object that gives access to the data flow engine

type - The type of data flow edge being processed

返回:

The new abstractions to be propagated on. If you do not want to change the normal propagation behavior, just return the value of the "taints" parameter as-is.